Zobrazuji výsledky
1 - 20
z
149
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
PSH:
NOT
baroko
NOT
strojní součásti a spoje
Oblast:
NOT
Ostrava (Česko)
NOT
Brno (Česko)
Doporučená témata:
umělá inteligence
AND
robotika
AND
formální jazyky
Žánr:
NOT
doktorské disertace
Zrušit filtry
Zobrazit filtry (8)
PSH:
NOT
baroko
NOT
strojní součásti a spoje
Oblast:
NOT
Ostrava (Česko)
NOT
Brno (Česko)
Doporučená témata:
umělá inteligence
AND
robotika
AND
formální jazyky
Žánr:
NOT
doktorské disertace
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
robotika
umělá inteligence
informatika
148
matematická logika
148
počítače
79
softwarové inženýrství
53
více ...
algoritmizace
49
programování
39
programovací jazyky
36
vyhledávání v datech
33
vyhledávání informací
29
informační systémy
23
internet
22
systémy řízení báze dat
21
diskrétní matematika
14
rozpoznávání obrazců
13
strojová lingvistika
13
sémantický web
13
ontologie (informatika)
11
počítačová lingvistika
11
agenti
10
multiagentní systémy
10
zpracování obrazů
9
operační systémy
8
zpracování textů
8
informační paměť
7
počítačová simulace
7
aplikační programy
6
počítačové vidění
6
méně ...
Zobrazuji výsledky
1 - 20
z
149
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:
Interactive theorem proving : 4th international conference, ITP 2013, Rennes, France, July 22-26, 2013 : proceedings
Vydáno:
2013
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:
Principles and practice of constraint programming : 21st international conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015 : proceedings
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:
Anaphora: analysis, algorithms and applications : 6th Discourse anaphora and anaphor resolution colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007 : selected papers
Vydáno:
2007
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:
Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings
Vydáno:
2008
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:
Graph structures for knowledge representation and reasoning : third international workshop, GKR 2013, Beijing, China, August 3, 2013 : revised selected papers
Vydáno:
2014
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:
Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Vydáno:
2006
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:
Intelligent computer mathematics : 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, M...
Vydáno:
2012
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:
1
2
3
4
5
6
7
8
Další »
[8]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
149
NTK
Médium
148
E-kniha
1
Kniha
Signatura
1
Q - Věda
Autor
148
SpringerLink (online služba)
3
Peters, James F., 1936-
3
Skowron, Andrzej, 1943-
3
Wang, Lipo
2
Bekki, Daisuke
2
Biere, Armin, 1967-
více ...
2
Calude, Cristian, 1952-
2
Carette, Jacques
2
Embley, David W.
2
Gelbukh, Alexander, 1962-
2
Gupta, Gopal, 1963-
2
Hagiya, Masami, 1957-
2
Jin, Yaochu, 1966-
2
Lutz, Carsten, 1971-
2
Löbner, Sebastian, 1949-
2
Miller, Dale (Dale A.), 1956-
2
Olivé, Antoni, 1946-
2
Pedrycz, Witold, 1953-
2
Petrosino, Alfredo
2
Ram, Sudha, 1959-
2
Richter, Frank
2
Rozenberg, Grzegorz, 1942-
2
Satoh, Ken, 1959-
2
Schrijvers, Tom
2
Sorge, Volker
2
Torroni, Paolo
2
Vidal, Germán
2
Voronkov, Andrei, 1959-
2
Železný, Filip, 1974-
1
Akhgar, Babak
Zobrazit vše ...
méně ...
Jazyk
149
angličtina
Žánr
148
elektronicke knihy
136
sborníky konferencí
3
eseje
2
monografie
1
sborníky
Rok vydání
Od:
do:
PSH
149
formální jazyky
149
robotika
149
umělá inteligence
148
informatika
148
matematická logika
79
počítače
více ...
53
softwarové inženýrství
49
algoritmizace
39
programování
36
programovací jazyky
33
vyhledávání v datech
29
vyhledávání informací
23
informační systémy
22
internet
21
systémy řízení báze dat
13
rozpoznávání obrazců
13
strojová lingvistika
13
sémantický web
10
agenti
9
zpracování obrazů
8
operační systémy
8
zpracování textů
7
počítačová simulace
6
aplikační programy
6
počítačové vidění
6
učící se systémy
5
bioinformatika
5
počítačová grafika
4
UML
4
XML
Zobrazit vše ...
méně ...
×
Načítá se...