Zobrazuji výsledky
1 - 20
z
77
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
encyklopedie
NOT
abstrakta
Oblast:
NOT
Rakousko-Uhersko
Autor:
NOT
Vacek, Zdeněk, 1976-
Doporučená témata:
programovací jazyky
AND
formální jazyky
Médium:
NOT
Rukopis
PSH:
NOT
umělá inteligence
Zrušit filtry
Zobrazit filtry (8)
Žánr:
NOT
encyklopedie
NOT
abstrakta
Oblast:
NOT
Rakousko-Uhersko
Autor:
NOT
Vacek, Zdeněk, 1976-
Doporučená témata:
programovací jazyky
AND
formální jazyky
Médium:
NOT
Rukopis
PSH:
NOT
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í:
formální jazyky
programovací jazyky
informatika
58
matematická logika
55
počítače
54
programování
51
softwarové inženýrství
47
více ...
algoritmizace
18
algoritmy (programování)
14
automaty
14
teorie automatů
14
operační systémy
13
diskrétní matematika
5
počítačová bezpečnost
5
matematická lingvistika
4
algebra
3
bezkontextové gramatiky
3
podnikové informační systémy
3
sémantika programovacích jazyků
3
vestavěné systémy
3
Petriho sítě
2
bezkontextové jazyky
2
distribuované informační systémy
2
informační systémy
2
počítačová architektura
2
počítačová simulace
2
programovací jazyk JavaScript
2
systémy řízení báze dat
2
SQL
1
XML
1
méně ...
Zobrazuji výsledky
1 - 20
z
77
pro vyhledávání '
'
, doba hledání: 0,05 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:
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:
NASA formal methods : 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Teaching formal methods : second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal theories of information : from Shannon to semantic information theory and general concepts of information
Vydáno:
2009
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
77
NTK
Médium
58
E-kniha
19
Kniha
Signatura
19
Q - Věda
Autor
58
SpringerLink (online služba)
2
Baier, Christel
2
Hruška, Tomáš, 1954-
2
Liu, Zhiming, 1972-
2
Potapov, Igor
2
Ronchi Della Rocca, Simona, 1946-
více ...
2
Vardanega, Tullio
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
Berghammer, Rudolf, 1952-
1
Bernardo, Marco, 1970-
1
Boca, Paul
1
Borger, Egon
1
Bowen, J. P. (Jonathan Peter), 1956-
1
Brauer, Wilfried
1
Bravetti, Mario, 1971-
1
Butler, Michael, 1967-
1
Chatterjee, Krishnendu
1
Ciobanu, Gabriel
Zobrazit vše ...
méně ...
Jazyk
74
angličtina
2
čeština
1
slovenština
Žánr
67
sborníky konferencí
58
elektronicke knihy
3
monografie
3
vysokoškolská skripta
2
eseje
1
praktická cvičení
více ...
1
sborníky
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
77
formální jazyky
77
programovací jazyky
58
informatika
55
matematická logika
54
počítače
51
programování
více ...
47
softwarové inženýrství
18
algoritmizace
14
automaty
13
operační systémy
5
počítačová bezpečnost
4
matematická lingvistika
3
algebra
3
podnikové informační systémy
3
sémantika programovacích jazyků
3
vestavěné systémy
2
Petriho sítě
2
informační systémy
2
počítačová simulace
2
programovací jazyk JavaScript
2
systémy řízení báze dat
1
SQL
1
XML
1
formální gramatiky
1
internet
1
konečné automaty
1
kryptografie
1
matematická statistika
1
matematika
1
numerická analýza
Zobrazit vše ...
méně ...
×
Načítá se...