Zobrazuji výsledky
1 - 20
z
33
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
Žánr:
NOT
biografie
Doporučená témata:
NOT
internet
AND
softwarové inženýrství
AND
algoritmizace
Jazyk:
NOT
slovenština
Signatura:
NOT
S - Zemědělství
Médium:
NOT
E-kniha
Zrušit filtry
Zobrazit filtry (7)
Žánr:
NOT
biografie
Doporučená témata:
NOT
internet
AND
softwarové inženýrství
AND
algoritmizace
Jazyk:
NOT
slovenština
Signatura:
NOT
S - Zemědělství
Médium:
NOT
E-kniha
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
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
programování
4
výpočty
4
architektura výpočetních systémů
3
informatika
3
paralelní zpracování
3
robotika
3
umělá inteligence
3
verifikace programu
3
agenti
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
fuzzy analýza
1
genetické programování
1
méně ...
Zobrazuji výsledky
1 - 20
z
33
pro vyhledávání '
'
, doba hledání: 0,05 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:
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:
Advanced parallel processing technologies : 5th international workshop, APPT 2003, Xiamen, China, September 17-19, 2003 : proceedings
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:
Advanced parallel processing technologies : 6th international workshop, APPT 2005, Hong Kong, China, October 27-28, 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:
1
2
Další »
[2]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
33
NTK
Médium
33
Kniha
Signatura
30
Q - Věda
2
T - Technologie
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
Hansen, Per Christian, 1957-
1
Hnich, Brahim
1
Honda, Katsuhiro
1
Ichihashi, Hidetomo
1
Kreowski, Hans-Jörg, 1949-
1
Krogdahl, Stein
1
Lyche, Tom, 1943-
1
Mandrioli, Dino, 1949-
1
Mao, Chengde
Zobrazit vše ...
méně ...
Jazyk
33
angličtina
Žánr
18
sborníky konferencí
3
sborníky
2
monografie
2
učebnice vysokých škol
1
elektronicke knihy
1
příručky
Rok vydání
Od:
do:
PSH
33
algoritmizace
33
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
programování
4
výpočty
3
architektura výpočetních systémů
3
informatika
3
paralelní zpracování
3
robotika
3
umělá inteligence
3
verifikace programu
2
agenti
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
fuzzy analýza
1
genetické programování
1
komunikační hardware
1
kvalita programu
Zobrazit vše ...
méně ...
×
Načítá se...