Zobrazuji výsledky
1 - 20
z
176
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
AND
elektronicke knihy
Doporučená témata:
programovací jazyky
AND
umělá inteligence
Zrušit filtry
Zobrazit filtry (4)
Žánr:
NOT
biografie
AND
elektronicke knihy
Doporučená témata:
programovací jazyky
AND
umělá inteligence
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í:
programovací jazyky
umělá inteligence
informatika
173
matematická logika
119
softwarové inženýrství
107
programování
85
počítače
69
více ...
robotika
53
formální jazyky
36
algoritmizace
23
vyhledávání v datech
16
systémy řízení báze dat
13
operační systémy
12
počítačová simulace
9
agenti
5
multiagentní systémy
5
podnikové informační systémy
5
numerická analýza
4
strojová lingvistika
4
aplikační programy
3
software
3
vyhledávání informací
3
diskrétní matematika
2
hardware
2
jazykověda
2
počítačová architektura
2
počítačová grafika
2
počítačová lingvistika
2
programovací jazyk Java
2
rozpoznávání obrazců
2
méně ...
Zobrazuji výsledky
1 - 20
z
176
pro vyhledávání '
'
, doba hledání: 0,06 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:
Mathematical foundations of computer science 2010 : 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 : proceedings
Vydáno:
2010
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:
Declarative agent languages and technologies VII : 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 : revised selected and invited papers
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Data engineering and management : second international conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Machine learning and data mining in pattern recognition : 6th international conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009 : proceedings
Vydáno:
2009
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:
Language and automata theory and applications : 4th international conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings
Vydáno:
2010
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:
1
2
3
4
5
6
7
8
9
Další »
[9]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
176
NTK
Médium
176
E-kniha
Autor
176
SpringerLink (online služba)
5
Dastani, Mehdi
5
Fages, François
5
Voronkov, Andrei, 1959-
4
Baldoni, Matteo
4
Torroni, Paolo
více ...
4
Winikoff, Michael
3
Bordini, Rafael H
3
Dix, Jürgen
3
Margaria, Tiziana
3
Riemsdijk, M. Birna van
3
Rossi, Francesca
3
Sardina, Sebastian
3
Seipel, Dietmar
3
Son, Tran Cao
3
Steffen, Bernhard
3
Vasconcelos, Wamberto
2
Bartenstein, Oskar
2
Barthe, Gilles, 1967-
2
Endriss, Ulle
2
Fallah Seghrouchni, Amal El
2
Geske, Ulrich
2
Gleizes, Marie-Pierre
2
Governatori, Guido
2
Kudenko, Daniel
2
König, Barbara
2
Leite, João, 1970-
2
Löwe, Benedikt
2
Omicini, Andrea
2
Rossi, Francesca, 1962-
Zobrazit vše ...
méně ...
Jazyk
176
angličtina
Žánr
elektronicke knihy
65
sborníky konferencí
1
eseje
1
monografie
Rok vydání
Od:
do:
PSH
176
programovací jazyky
176
umělá inteligence
173
informatika
119
matematická logika
107
softwarové inženýrství
85
programování
více ...
69
počítače
53
robotika
36
formální jazyky
23
algoritmizace
16
vyhledávání v datech
13
systémy řízení báze dat
12
operační systémy
9
počítačová simulace
5
agenti
5
podnikové informační systémy
4
numerická analýza
4
strojová lingvistika
3
aplikační programy
3
software
3
vyhledávání informací
2
hardware
2
jazykověda
2
počítačová grafika
2
programovací jazyk Java
2
rozpoznávání obrazců
2
zpracování obrazů
1
Petriho sítě
1
UML
1
XML
Zobrazit vše ...
méně ...
×
Načítá se...