Zobrazuji výsledky
1 - 20
z
31
pro vyhledávání '
'
Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
Zrušit filtry
Autor:
NOT
Hlavsa, Václav, 1905-1986
Žánr:
NOT
monografie
NOT
monografie
NOT
elektronicke knihy
Jazyk:
NOT
finština
PSH:
NOT
počítačová grafika
AND
algoritmizace
Doporučená témata:
softwarové inženýrství
Médium:
NOT
Seriál
Zrušit filtry
Zobrazit filtry (9)
Autor:
NOT
Hlavsa, Václav, 1905-1986
Žánr:
NOT
monografie
NOT
monografie
NOT
elektronicke knihy
Jazyk:
NOT
finština
PSH:
NOT
počítačová grafika
AND
algoritmizace
Doporučená témata:
softwarové inženýrství
Médium:
NOT
Seriál
Hlavní strana
Vyhledávání:
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
algoritmizace
31
softwarové inženýrství
programovací jazyky
7
genetické algoritmy
6
software
6
algebra
5
evoluční algoritmy
5
více ...
simulace a modelování
5
aplikovaná matematika
4
výpočty
4
architektura výpočetních systémů
3
paralelní zpracování
3
programování
3
robotika
3
umělá inteligence
3
verifikace programu
3
agenti
2
informatika
2
objektově orientované programování
2
paralelní algoritmy
2
počítačové sítě
2
zpracování dat
2
DNA
1
Petriho sítě
1
algoritmy
1
algoritmy (programování)
1
aplikovaná biologie
1
big data
1
genetické programování
1
informační systémy
1
méně ...
Zobrazuji výsledky
1 - 20
z
31
pro vyhledávání '
'
, doba hledání: 0,16 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
Vydáno:
2003
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Foundations of software science and computation structures : 7th international conferences, FOSSACS 2004 held as part of the Joint European Conferences on Theory and Practice of So...
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Genetic and evolutionary computation : GECCO 2004 : Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004 : proceedings.
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Genetic and evolutionary computation : GECCO 2004 : Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004 : proceedings.
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Integrated formal methods : third international conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
How to think about algorithms
Autor
Edmonds, Jeff, 1963-
Vydáno:
2008
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 :...
Vydáno:
2006
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Foundations of software science and computation structures : 5th international conference, FOSSACS 2002, held as part of the joint European Conferences on Theory and Practice of So...
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Engineering and deployment of cooperative information system : first international conference, EDCIS 2002, Beijing, China 17-20, 2002 : proceedings
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Algorithm engineering and experiments : 4th international workshop, ALENEX 2002, San Francisco, CA, USA, January 4-5, 2002 : revised papers
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
DNA computing : 12th International Meeting on DNA Computing, DNA 12, Seoul, Korea, June 5-9, 2006 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Genetic and evolutionary computation : GECCO 2003 : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003 : proceedings.
Vydáno:
2003
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of So...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Foundations of software science and computation structures : 6th international conferenceg, FOSSACS 2003 held as part of the Joint European Conferences on Ttheory and Practice of S...
Vydáno:
2003
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Foundations of genetic algorithms : 9th international workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007 : revised selected papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Engineering self-organising systems : 4th international workshop, ESOA 2006, Hakodate, Japan, May 9, 2006 : revised and invited papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
1
2
Další »
[2]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
31
NTK
Médium
31
Kniha
Signatura
31
Q - Věda
Autor
2
Brueckner, Sven A.
2
Cantú-Paz, Erick
2
Deb, Kalyanmoy, 1963-
2
Leue, Stefan, 1962-
2
Smith, Graeme, 1966-
2
Xu, Ming
více ...
1
Aceto, Luca, 1961-
1
Anna Ingólfsdóttir, 1952-
1
Araki, Keijiro, 1954-
1
Boiten, Eerke, 1966-
1
Bošnački, Dragan
1
Butler, Michael
1
Cao, Jiannong
1
Davies, Jim, 1964-
1
Derrick, John, 1963-
1
Edmonds, Jeff, 1963-
1
Engberg, Uffe, 1959-
1
Ferragina, Paolo, 1969-
1
Gibbons, Jeremy, 1966-
1
Gnesi, Stefania, 1954-
1
Gordon, Andrew D., 1964-
1
Han, Yanbo
1
Hnich, Brahim
1
Kreowski, Hans-Jörg, 1949-
1
Krogdahl, Stein
1
Lyche, Tom, 1943-
1
Mandrioli, Dino, 1949-
1
Mao, Chengde
1
McDowell, Gayle Laakmann, 1982-
1
Mount, David M.
Zobrazit vše ...
méně ...
Jazyk
31
angličtina
Žánr
19
sborníky konferencí
3
sborníky
2
učebnice vysokých škol
1
příručky
Rok vydání
Od:
do:
PSH
algoritmizace
31
softwarové inženýrství
7
programovací jazyky
6
genetické algoritmy
6
software
5
algebra
více ...
5
evoluční algoritmy
5
simulace a modelování
4
aplikovaná matematika
4
výpočty
3
architektura výpočetních systémů
3
paralelní zpracování
3
programování
3
robotika
3
umělá inteligence
3
verifikace programu
2
agenti
2
informatika
2
objektově orientované programování
2
paralelní algoritmy
2
počítačové sítě
2
zpracování dat
1
DNA
1
Petriho sítě
1
aplikovaná biologie
1
big data
1
genetické programování
1
informační systémy
1
internet
1
komunikační hardware
Zobrazit vše ...
méně ...
×
Načítá se...