Zobrazuji výsledky
1 - 20
z
113
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
učebnice
NOT
habilitační práce
Autor:
NOT
České vysoké učení technické v Praze. Elektrotechnická fakulta
NOT
Vysoká škola chemicko-technologická v Praze. Fakulta chemické technologie
NOT
Wilhelm Engelmann (Leipzig) ((nakladatel, knihkupec))
PSH:
programovací jazyky
Doporučená témata:
formální jazyky
Zrušit filtry
Zobrazit filtry (7)
Žánr:
NOT
učebnice
NOT
habilitační práce
Autor:
NOT
České vysoké učení technické v Praze. Elektrotechnická fakulta
NOT
Vysoká škola chemicko-technologická v Praze. Fakulta chemické technologie
NOT
Wilhelm Engelmann (Leipzig) ((nakladatel, knihkupec))
PSH:
programovací jazyky
Doporučená témata:
formální jazyky
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
programovací jazyky
113
informatika
94
matematická logika
91
počítače
88
programování
69
softwarové inženýrství
68
více ...
robotika
36
umělá inteligence
36
algoritmizace
26
operační systémy
16
algoritmy (programování)
14
automaty
14
teorie automatů
14
diskrétní matematika
6
počítačová bezpečnost
6
matematická lingvistika
5
multiagentní systémy
5
agenti
4
podnikové informační systémy
4
počítačová architektura
4
počítačová simulace
4
systémy řízení báze dat
4
algebra
3
bezkontextové gramatiky
3
programovací jazyk Java
3
software
3
sémantika programovacích jazyků
3
vestavěné systémy
3
vyhledávání v datech
3
méně ...
Zobrazuji výsledky
1 - 20
z
113
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
New trends in formal languages : Control, cooperation, and combinatorics
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Gramatiky a jazyky : cvičení
Autor
Češka, Milan, 1946-
Vydáno:
1988
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Gramatiky a jazyky : príklady a úlohy
Vydáno:
1987
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automata, languages and programming : 11. colloquium
Vydáno:
1984
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automata, languages and programming : 12. colloquium
Vydáno:
1985
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automata, languages and programming : 14. colloquium
Vydáno:
1987
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automata, languages and programming : 15. colloquium
Vydáno:
1988
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automata, languages and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings
Vydáno:
1989
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automata, languages and programming : 18. colloquium
Vydáno:
1991
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automata, languages and programming : 19. colloquium
Vydáno:
1992
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automata, languages and programming : proceedings.
Vydáno:
1994
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automata, languages and programming : 8. colloquium
Vydáno:
1981
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automata, languages and programming : 9. colloquium
Vydáno:
1982
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Automata, languages and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983
Vydáno:
1983
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
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:
Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European conferences on theory and practice of...
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:
1
2
3
4
5
6
Další »
[6]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
113
NTK
Médium
94
E-kniha
19
Kniha
Signatura
19
Q - Věda
Autor
94
SpringerLink (online služba)
2
Baier, Christel
2
Henzinger, T. A., 1962-
2
Hruška, Tomáš, 1954-
2
Liu, Zhiming, 1972-
2
Potapov, Igor
více ...
2
Ronchi Della Rocca, Simona, 1946-
2
Schrijvers, Tom
2
Vardanega, Tullio
2
Voronkov, Andrei, 1959-
2
Ölveczky, Peter Csaba
2
Češka, Milan, 1946-
1
Abdulla, Parosh Aziz
1
Abiteboul, Serge, 1953-
1
Albert, J. Leach
1
Amadio, Roberto M.
1
Arbab, F. (Farhad)
1
Artalejo, Rodríguez M.
1
Audebaud, Philippe
1
Ausiello, Giorgio, 1941-
1
Baldan, Paolo
1
Barbosa, Luís Soares
1
Bensalem, Saddek
1
Berardi, Stefano
1
Berghammer, Rudolf, 1952-
1
Bernardo, Marco, 1970-
1
Biere, Armin, 1967-
1
Birkedal, Lars
1
Blume, Matthias
1
Boca, Paul
Zobrazit vše ...
méně ...
Jazyk
110
angličtina
2
čeština
1
slovenština
Žánr
100
sborníky konferencí
94
elektronicke knihy
4
monografie
3
eseje
3
vysokoškolská skripta
1
praktická cvičení
více ...
1
sborníky
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
113
formální jazyky
programovací jazyky
94
informatika
91
matematická logika
88
počítače
69
programování
více ...
68
softwarové inženýrství
36
robotika
36
umělá inteligence
26
algoritmizace
16
operační systémy
14
automaty
6
počítačová bezpečnost
5
matematická lingvistika
4
agenti
4
podnikové informační systémy
4
počítačová simulace
4
systémy řízení báze dat
3
algebra
3
programovací jazyk Java
3
software
3
sémantika programovacích jazyků
3
vestavěné systémy
3
vyhledávání v datech
2
Petriho sítě
2
XML
2
informační systémy
2
programovací jazyk JavaScript
2
sémantický web
2
vyhledávání informací
Zobrazit vše ...
méně ...
×
Načítá se...