Zobrazuji výsledky
1 - 14
z
14
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
encyklopedie
Signatura:
NOT
Q - Věda
PSH:
počítače
AND
umělá inteligence
Doporučená témata:
operační systémy
Zrušit filtry
Zobrazit filtry (5)
Žánr:
NOT
encyklopedie
Signatura:
NOT
Q - Věda
PSH:
počítače
AND
umělá inteligence
Doporučená témata:
operační systémy
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í:
informatika
14
operační systémy
počítače
14
umělá inteligence
14
softwarové inženýrství
12
robotika
11
programovací jazyky
9
více ...
programování
9
algoritmizace
7
formální jazyky
4
matematická logika
4
numerická analýza
2
rozpoznávání obrazců
2
agenti
1
biometrie
1
diskrétní matematika
1
informační systémy
1
interakce člověk-počítač
1
internet
1
multiagentní systémy
1
podnikové informační systémy
1
počítačová grafika
1
počítačová simulace
1
programovací jazyk Java
1
rfid
1
uživatelská rozhraní
1
vizualizace
1
vyhledávání v datech
1
méně ...
Zobrazuji výsledky
1 - 14
z
14
pro vyhledávání '
'
, doba hledání: 0,08 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Compiler construction : 15th international conference, CC 2006, held as part of the Joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, Marc...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Algorithmic aspects in information and management : 6th international conference, AAIM 2010, Weihai, China, July 19-21, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Genetic programming : 10th European conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Declarative agent languages and technologies II : second international workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software engineering for self-adaptive systems
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Genetic programming : 9th European conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming multi-agent systems : 9th international workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent advances in constraints : 13th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2008, Rome, Italy, June 18-20, 2008 : revise...
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Types for proofs and programs : international conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 : revised selected papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theory and applications of satisfiability testing - SAT 2008 : 11th international conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 1...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, Octob...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Ubiquitous intelligence and computing : third international conference, UIC 2006, Wuhan, China, September 3-6, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
14
NTK
Médium
14
E-kniha
Autor
14
SpringerLink (online služba)
2
Ebner, Marc, 1969-
2
Ekárt, Anikó
2
Margaria, Tiziana
2
Steffen, Bernhard
1
Boissier, Olivier, 1963-
více ...
1
Bordini, Rafael H.
1
Chen, Bo
1
Cheng, Betty H. C.
1
Collet, Pierre
1
Dennis, Louise
1
Esparcia-Alcázar, Anna Isabel
1
Fages, François
1
Gabbrielli, Maurizio
1
Giese, Holger, 1970-
1
Gupta, Gopal, 1963-
1
Gustafson, Steven
1
Honsell, Furio
1
Inverardi, Paola
1
Jin, Hai
1
Kleine Büning, Hans
1
Leite, João, 1970-
1
Lemos, Rogério de, 1961-
1
Ma, Jianhua, 1962-
1
Magee, Jeff
1
Miculan, Marino
1
Mycroft, Alan
1
Oddi, Angelo
1
Omicini, Andrea, 1965-
1
O’Neill, Michael
Zobrazit vše ...
méně ...
Jazyk
14
angličtina
Žánr
14
elektronicke knihy
11
sborníky konferencí
Rok vydání
Od:
do:
PSH
14
informatika
14
operační systémy
počítače
umělá inteligence
12
softwarové inženýrství
11
robotika
více ...
9
programovací jazyky
9
programování
7
algoritmizace
4
formální jazyky
4
matematická logika
2
numerická analýza
2
rozpoznávání obrazců
1
agenti
1
biometrie
1
informační systémy
1
interakce člověk-počítač
1
internet
1
podnikové informační systémy
1
počítačová grafika
1
počítačová simulace
1
programovací jazyk Java
1
rfid
1
vizualizace
1
vyhledávání v datech
Zobrazit vše ...
méně ...
×
Načítá se...