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
NOT
encyklopedie
Médium:
NOT
Neznámo
Signatura:
NOT
T - Technologie
NOT
E - Dějiny Spojených států
Doporučená témata:
NOT
fyzika
AND
počítače
AND
formální jazyky
Autor:
NOT
Vysoká škola chemicko-technologická v Praze. Fakulta technologie ochrany prostředí
Zrušit filtry
Zobrazit filtry (9)
Žánr:
NOT
biografie
NOT
encyklopedie
Médium:
NOT
Neznámo
Signatura:
NOT
T - Technologie
NOT
E - Dějiny Spojených států
Doporučená témata:
NOT
fyzika
AND
počítače
AND
formální jazyky
Autor:
NOT
Vysoká škola chemicko-technologická v Praze. Fakulta technologie ochrany prostředí
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
počítače
informatika
175
matematická logika
170
programovací jazyky
88
umělá inteligence
81
robotika
79
více ...
algoritmizace
78
softwarové inženýrství
78
programování
63
diskrétní matematika
24
operační systémy
20
systémy řízení báze dat
18
vyhledávání v datech
15
vyhledávání informací
12
bioinformatika
11
informační systémy
11
internet
11
kryptografie
8
multiagentní systémy
8
agenti
7
počítačová bezpečnost
7
sémantický web
7
zpracování obrazů
7
algebra
6
ontologie (informatika)
6
počítačová architektura
6
počítačová simulace
6
XML
5
distribuované informační systémy
5
méně ...
Zobrazuji výsledky
1 - 20
z
176
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
Machines, computations, and universality : Third international conference, MCU 2001, Chişinǎu, Moldova, May 23-27, 2001. Proceedings
Vydáno:
2001
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:
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:
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:
Implementation and application of automata : 17th international conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings
Vydáno:
2012
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:
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:
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:
Tools for practical software verification : LASER, international summer school 2011, Elba Island, Italy : revised tutorial lectures
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:
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
174
E-kniha
2
Kniha
Signatura
2
Q - Věda
Autor
174
SpringerLink (online služba)
4
Queiroz, Ruy J. G. B. de
3
Karhumäki, Juhani, 1949-
3
Okhotin, Alexander
3
Reis, Rogério
3
Wang, Lipo
více ...
2
Baier, Christel
2
Beklemishev, Lev D.
2
Calude, Cristian, 1952-
2
Cooper, S. B. (S. Barry), 1943-2015
2
Durand, Bruno
2
Ebert, Christian
2
Embley, David W.
2
Hagiya, Masami, 1957-
2
Henzinger, T. A., 1962-
2
Jin, Yaochu, 1966-
2
Jäger, Gerhard
2
Jürgensen, Helmut, 1942-
2
Kaminski, Michael
2
Kutrib, Martin
2
Lepistö, Arto
2
Liu, Zhiming, 1972-
2
Margenstern, Maurice
2
Montanari, Ugo, 1943-
2
Moreira, Nelma
2
Olivé, Antoni, 1946-
2
Peters, James F., 1936-
2
Potapov, Igor
2
Priami, Corrado
2
Ram, Sudha, 1959-
Zobrazit vše ...
méně ...
Jazyk
176
angličtina
Žánr
174
elektronicke knihy
158
sborníky konferencí
6
eseje
4
monografie
2
sborníky
Rok vydání
Od:
do:
PSH
176
formální jazyky
176
počítače
175
informatika
170
matematická logika
88
programovací jazyky
81
umělá inteligence
více ...
79
robotika
78
algoritmizace
78
softwarové inženýrství
63
programování
20
operační systémy
18
systémy řízení báze dat
15
vyhledávání v datech
12
vyhledávání informací
11
bioinformatika
11
informační systémy
11
internet
8
kryptografie
7
agenti
7
počítačová bezpečnost
7
sémantický web
7
zpracování obrazů
6
algebra
6
počítačová simulace
5
XML
4
numerická analýza
4
podnikové informační systémy
4
počítačová grafika
4
počítačové vidění
4
programovací jazyk Java
Zobrazit vše ...
méně ...
×
Načítá se...