Zobrazuji výsledky
1 - 20
z
79
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
simulace a modelování
AND
počítače
Oblast:
NOT
Slovensko
NOT
Československo
PSH:
umělá inteligence
AND
formální jazyky
Autor:
NOT
Liu, Honghai
Zrušit filtry
Zobrazit filtry (8)
Žánr:
NOT
biografie
Doporučená témata:
NOT
simulace a modelování
AND
počítače
Oblast:
NOT
Slovensko
NOT
Československo
PSH:
umělá inteligence
AND
formální jazyky
Autor:
NOT
Liu, Honghai
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í:
formální jazyky
79
informatika
79
počítače
umělá inteligence
79
matematická logika
78
robotika
77
programovací jazyky
34
více ...
algoritmizace
29
softwarové inženýrství
28
programování
23
systémy řízení báze dat
14
vyhledávání v datech
11
vyhledávání informací
10
informační systémy
8
internet
8
bioinformatika
7
zpracování obrazů
7
agenti
5
diskrétní matematika
5
multiagentní systémy
5
ontologie (informatika)
5
XML
4
operační systémy
4
počítačová simulace
4
počítačové vidění
4
rozpoznávání obrazců
4
sémantický web
4
informační paměť
3
počítačová architektura
3
počítačová lingvistika
3
méně ...
Zobrazuji výsledky
1 - 20
z
79
pro vyhledávání '
'
, doba hledání: 0,11 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Advances in natural language processing : 6th international conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Functional and logic programming : 11th international symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings
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 : 6th international symposium, ISoLA 2014, Imperial, Corfu, Greece, Octob...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software, services, and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
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:
Certified programs and proofs : third international conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software language engineering : 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer science logic : 21st international workshop, CSL 2007, 16th Annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Inductive logic programming : 22nd international conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Current topics in artificial intelligence : 12th Conference of the Spanish association for artificial intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007 : selected p...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal grammar : 14th international conference, FG 2009, Bordeaux, France, July 25-26, 2009 : revised selected papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
AI*IA 2007: artificial intelligence and human-oriented computing : 10th Congress of the Italian association for artificial intelligence, Rome, Italy, September 10-13, 2007 : procee...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Transactions on rough sets III
Vydáno:
2005
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:
Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Scalable uncertainty management : third international conference, SUM 2009, Washington, DC, USA, September 28-30, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Language, games, and evolution : trends in current research on language and game theory
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Abstraction, reformulation and approximation : 6th international symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
Další »
[4]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
79
NTK
Médium
79
E-kniha
Autor
79
SpringerLink (online služba)
3
Wang, Lipo
2
Calude, Cristian, 1952-
2
Hagiya, Masami, 1957-
2
Jin, Yaochu, 1966-
2
Peters, James F., 1936-
více ...
2
Rozenberg, Grzegorz, 1942-
2
Skowron, Andrzej, 1943-
1
Aloni, Maria
1
An, Aijun, 1964-
1
Apolloni, Bruno, 1946-
1
Asociación Española de Inteligencia Artificial. Conferencia
1
Auer, Peter, 1964-
1
Basili, Roberto
1
Benz, Anton
1
Berardi, Stefano
1
Biere, Armin, 1967-
1
Birkedal, Lars
1
Blume, Matthias
1
Boella, Guido
1
Borrajo, Daniel
1
Bosch, Peter
1
Bramer, M. A. (Max A.), 1948-
1
Bshouty, Nader H.
1
Butz, Cory J.
1
Castillo, Luis, 1969-
1
Chen, Peter P. S., 1947-
1
Cohen, Ernie
1
Corchado, Juan M., 1971-
1
Czarnecki, Krzysztof, 1970-
Zobrazit vše ...
méně ...
Jazyk
79
angličtina
Žánr
79
elektronicke knihy
72
sborníky konferencí
1
eseje
1
monografie
Rok vydání
Od:
do:
PSH
formální jazyky
79
informatika
79
počítače
umělá inteligence
78
matematická logika
77
robotika
více ...
34
programovací jazyky
29
algoritmizace
28
softwarové inženýrství
23
programování
14
systémy řízení báze dat
11
vyhledávání v datech
10
vyhledávání informací
8
informační systémy
8
internet
7
bioinformatika
7
zpracování obrazů
5
agenti
4
XML
4
operační systémy
4
počítačová simulace
4
počítačové vidění
4
rozpoznávání obrazců
4
sémantický web
3
strojová lingvistika
2
fuzzy logika
2
hardware
2
kryptografie
2
programovací jazyk Java
2
software
Zobrazit vše ...
méně ...
×
Načítá se...