Zobrazuji výsledky
1 - 20
z
157
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 středních škol
Jazyk:
NOT
slovenština
NOT
arabština
Oblast:
NOT
Československo
Médium:
NOT
Program
AND
E-kniha
PSH:
NOT
algoritmizace
Doporučená témata:
informatika
AND
formální jazyky
Zrušit filtry
Zobrazit filtry (9)
Žánr:
NOT
učebnice středních škol
Jazyk:
NOT
slovenština
NOT
arabština
Oblast:
NOT
Československo
Médium:
NOT
Program
AND
E-kniha
PSH:
NOT
algoritmizace
Doporučená témata:
informatika
AND
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
informatika
matematická logika
154
umělá inteligence
100
robotika
99
počítače
96
softwarové inženýrství
87
více ...
programovací jazyky
68
programování
59
vyhledávání informací
26
vyhledávání v datech
23
informační systémy
17
operační systémy
17
internet
15
diskrétní matematika
12
systémy řízení báze dat
12
rozpoznávání obrazců
10
strojová lingvistika
10
agenti
9
multiagentní systémy
9
počítačová lingvistika
9
počítačová simulace
9
sémantický web
9
informační paměť
8
ontologie (informatika)
8
počítačová bezpečnost
7
software
7
algebra
6
aplikační programy
6
podnikové informační systémy
5
méně ...
Zobrazuji výsledky
1 - 20
z
157
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
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:
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:
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:
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:
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:
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:
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:
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:
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:
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
157
NTK
Médium
E-kniha
Autor
157
SpringerLink (online služba)
2
Bekki, Daisuke
2
Carette, Jacques
2
Fiadeiro, José Luiz, 1961-
2
Gupta, Gopal, 1963-
2
Henzinger, T. A., 1962-
více ...
2
Kaminski, Michael
2
Liu, Zhiming, 1972-
2
Lutz, Carsten, 1971-
2
Löbner, Sebastian, 1949-
2
Miller, Dale (Dale A.), 1956-
2
Montanari, Ugo, 1943-
2
Peters, James F., 1936-
2
Petrosino, Alfredo
2
Peña, Ricardo, 1950-
2
Richter, Frank
2
Schmidt, Renate A.
2
Skowron, Andrzej, 1943-
2
Sorge, Volker
2
Torroni, Paolo
2
Vidal, Germán
2
Voronkov, Andrei, 1959-
2
Ölveczky, Peter Csaba
1
Akhgar, Babak
1
Aloni, Maria
1
Amadio, Roberto M.
1
Andrews, Simon
1
Anthony, Patricia
1
Apolloni, Bruno, 1946-
1
Arbab, F. (Farhad)
Zobrazit vše ...
méně ...
Jazyk
157
angličtina
Žánr
157
elektronicke knihy
142
sborníky konferencí
7
eseje
3
sborníky
1
monografie
1
učebnice
Rok vydání
Od:
do:
PSH
157
formální jazyky
157
informatika
154
matematická logika
100
umělá inteligence
99
robotika
96
počítače
více ...
87
softwarové inženýrství
68
programovací jazyky
59
programování
26
vyhledávání informací
23
vyhledávání v datech
17
informační systémy
17
operační systémy
15
internet
12
systémy řízení báze dat
10
rozpoznávání obrazců
10
strojová lingvistika
9
agenti
9
počítačová simulace
9
sémantický web
7
počítačová bezpečnost
7
software
6
algebra
6
aplikační programy
5
podnikové informační systémy
5
počítačová grafika
5
učící se systémy
4
UML
4
matematická statistika
4
matematika
Zobrazit vše ...
méně ...
×
Načítá se...