Zobrazuji výsledky
1 - 20
z
32
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
NOT
monografie
Autor:
NOT
Institute of Physics Publishing
Médium:
NOT
Mapa
PSH:
algoritmizace
Doporučená témata:
softwarové inženýrství
NOT
informatika
Zrušit filtry
Zobrazit filtry (7)
Žánr:
NOT
biografie
NOT
monografie
Autor:
NOT
Institute of Physics Publishing
Médium:
NOT
Mapa
PSH:
algoritmizace
Doporučená témata:
softwarové inženýrství
NOT
informatika
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
32
softwarové inženýrství
programovací jazyky
8
genetické algoritmy
6
software
6
algebra
5
evoluční algoritmy
5
více ...
simulace a modelování
5
umělá inteligence
4
výpočty
4
aplikovaná matematika
3
architektura výpočetních systémů
3
paralelní zpracování
3
programování
3
robotika
3
verifikace programu
3
agenti
2
logické programování
2
paralelní algoritmy
2
počítačové sítě
2
teorie vyčíslitelnosti
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
32
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
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:
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Vydáno:
2005
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
32
NTK
Médium
30
Kniha
2
E-kniha
Signatura
29
Q - Věda
Autor
2
Brueckner, Sven A.
2
Cantú-Paz, Erick
2
Deb, Kalyanmoy, 1963-
2
Edmonds, Jeff, 1963-
2
Hnich, Brahim
2
Smith, Graeme, 1966-
více ...
2
Xu, Ming
1
Aceto, Luca, 1961-
1
Anna Ingólfsdóttir, 1952-
1
Boiten, Eerke, 1966-
1
Bošnački, Dragan
1
Butler, Michael
1
Cao, Jiannong
1
Carlsson, Mats
1
Davies, Jim, 1964-
1
Derrick, John, 1963-
1
Engberg, Uffe, 1959-
1
Fages, François
1
Ferragina, Paolo, 1969-
1
Gibbons, Jeremy, 1966-
1
Gordon, Andrew D., 1964-
1
Han, Yanbo
1
Honda, Katsuhiro
1
Ichihashi, Hidetomo
1
Kreowski, Hans-Jörg, 1949-
1
Krogdahl, Stein
1
Leue, Stefan, 1962-
1
Lyche, Tom, 1943-
1
Mao, Chengde
1
McDowell, Gayle Laakmann, 1982-
Zobrazit vše ...
méně ...
Jazyk
32
angličtina
Žánr
19
sborníky konferencí
3
elektronicke knihy
3
sborníky
3
učebnice vysokých škol
1
příručky
Rok vydání
Od:
do:
PSH
algoritmizace
32
softwarové inženýrství
8
programovací jazyky
6
genetické algoritmy
6
software
5
algebra
více ...
5
evoluční algoritmy
5
simulace a modelování
4
umělá inteligence
4
výpočty
3
aplikovaná matematika
3
architektura výpočetních systémů
3
paralelní zpracování
3
programování
3
robotika
3
verifikace programu
2
agenti
2
logické programování
2
paralelní algoritmy
2
počítačové sítě
2
teorie vyčíslitelnosti
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
informační systémy
1
internet
Zobrazit vše ...
méně ...
×
Načítá se...