Zobrazuji výsledky
1 - 20
z
92
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
algoritmizace
NOT
programovací jazyky
AND
formální jazyky
Autor:
NOT
Vysoká škola chemicko-technologická v Praze. Chemicko-inženýrská fakulta
PSH:
informatika
Médium:
NOT
Kniha
Oblast:
NOT
Asie
Zrušit filtry
Zobrazit filtry (8)
Žánr:
NOT
biografie
Doporučená témata:
NOT
algoritmizace
NOT
programovací jazyky
AND
formální jazyky
Autor:
NOT
Vysoká škola chemicko-technologická v Praze. Chemicko-inženýrská fakulta
PSH:
informatika
Médium:
NOT
Kniha
Oblast:
NOT
Asie
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
informatika
92
matematická logika
87
umělá inteligence
72
robotika
71
počítače
32
softwarové inženýrství
31
více ...
vyhledávání informací
24
vyhledávání v datech
23
programování
20
informační systémy
15
internet
14
diskrétní matematika
10
rozpoznávání obrazců
10
strojová lingvistika
10
systémy řízení báze dat
10
sémantický web
9
informační paměť
8
agenti
7
multiagentní systémy
7
ontologie (informatika)
7
počítačová lingvistika
7
aplikační programy
6
operační systémy
6
algebra
5
počítačová grafika
5
počítačová simulace
5
strojové učení
5
učící se systémy
5
matematika
4
méně ...
Zobrazuji výsledky
1 - 20
z
92
pro vyhledávání '
'
, doba hledání: 0,09 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Watson-Crick pushdown automata
Autor
Chatterjee, Kingshuk
Umístění:
Načítá se...
Online verze
Článek
Uloženo v:
Automata with Two-Sided Pushdowns Defined Over Free Groups Generated by Reduced Alphabets
Autor
Blatný, Petr
Umístění:
Načítá se...
Článek
Načítá se...
Uloženo v:
Multigenerative grammar systems and matrix grammars
Autor
Lukáš, Roman
Umístění:
Načítá se...
Článek
Načítá se...
Uloženo v:
Formal methods for components and objects : 11th international symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
Vydáno:
2005
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:
Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings
Vydáno:
2007
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:
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:
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:
SDL 2005: model driven : 12th international SDL gorum, Grimstad, Norway, June 20-23, 2005 : proceedings
Vydáno:
2005
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:
Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Descriptional complexity of formal systems : 14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings
Vydáno:
2012
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:
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:
Machine learning and data mining in pattern recognition : 4th international conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005 : proceedings
Vydáno:
2005
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
5
Další »
[5]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
92
NTK
Médium
89
E-kniha
3
Článek
Autor
89
SpringerLink (online služba)
2
Bekki, Daisuke
2
Carette, Jacques
2
Fiadeiro, José Luiz, 1961-
2
Kaminski, Michael
2
Löbner, Sebastian, 1949-
více ...
2
Meduna, Alexander, 1957-
2
Montanari, Ugo, 1943-
2
Peters, James F., 1936-
2
Petrosino, Alfredo
2
Richter, Frank
2
Skowron, Andrzej, 1943-
2
Sorge, Volker
1
Akhgar, Babak
1
Aloni, Maria
1
Andrews, Simon
1
Anthony, Patricia
1
Apolloni, Bruno, 1946-
1
Asociación Española de Inteligencia Artificial. Conferencia
1
Aziz, Zaheer
1
Basili, Roberto
1
Beckert, Bernhard
1
Beetz, Michael, 1961-
1
Bezhanishvili, Guram
1
Bezhanishvili, Nick
1
Bidlo, Radek
1
Blatný, Petr
1
Boer, Frank S. de
1
Bonsangue, Marcello M. (Marcello Maria)
1
Borrajo, Daniel
Zobrazit vše ...
méně ...
Jazyk
92
angličtina
Žánr
89
elektronicke knihy
78
sborníky konferencí
4
eseje
3
články
2
sborníky
1
monografie
více ...
1
učebnice
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
92
formální jazyky
informatika
87
matematická logika
72
umělá inteligence
71
robotika
32
počítače
více ...
31
softwarové inženýrství
24
vyhledávání informací
23
vyhledávání v datech
20
programování
15
informační systémy
14
internet
10
rozpoznávání obrazců
10
strojová lingvistika
10
systémy řízení báze dat
9
sémantický web
7
agenti
6
aplikační programy
6
operační systémy
5
algebra
5
počítačová grafika
5
počítačová simulace
5
učící se systémy
4
matematika
4
počítačové vidění
4
software
4
zpracování obrazů
4
zpracování textů
3
UML
3
databázové systémy
Zobrazit vše ...
méně ...
×
Načítá se...