Zobrazuji výsledky
1 - 20
z
167
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
učebnice vysokých škol
NOT
autoreferáty
PSH:
NOT
elektronické obvody
AND
softwarové inženýrství
Médium:
NOT
Kniha
Jazyk:
NOT
srbština (zastaralý kód)
Doporučená témata:
umělá inteligence
AND
matematická logika
Zrušit filtry
Zobrazit filtry (9)
Žánr:
NOT
encyklopedie
NOT
učebnice vysokých škol
NOT
autoreferáty
PSH:
NOT
elektronické obvody
AND
softwarové inženýrství
Médium:
NOT
Kniha
Jazyk:
NOT
srbština (zastaralý kód)
Doporučená témata:
umělá inteligence
AND
matematická logika
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í:
matematická logika
softwarové inženýrství
167
umělá inteligence
informatika
165
programování
69
programovací jazyky
64
robotika
54
více ...
formální jazyky
52
počítače
43
algoritmizace
25
vyhledávání v datech
15
algebra
8
diskrétní matematika
7
operační systémy
6
počítačová bezpečnost
6
počítačová simulace
6
informační systémy
5
internet
5
sémantický web
5
rozpoznávání obrazců
4
podnikové informační systémy
3
počítačová grafika
3
UML
2
agenti
2
databázové systémy
2
hardware
2
logické programování
2
multiagentní systémy
2
numerická analýza
2
ontologie (informatika)
2
méně ...
Zobrazuji výsledky
1 - 20
z
167
pro vyhledávání '
'
, doba hledání: 0,15 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Formal concept analysis : foundations and applications
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Rukopis
Uloženo v:
Interactive theorem proving : 4th international conference, ITP 2013, Rennes, France, July 22-26, 2013 : proceedings
Vydáno:
2013
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:
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:
Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 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:
Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Data engineering and management : second international conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal concept analysis : 11th international conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Frontiers of combining systems : 8th international symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011 : proceedings
Vydáno:
2011
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:
Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings
Vydáno:
2010
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:
Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler construction : 17th international conference, CC 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, Ma...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Unifying theories of programming : third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010 : proceedings
Vydáno:
2010
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
167
NTK
Médium
166
E-kniha
1
Rukopis
Signatura
1
Q - Věda
Autor
166
SpringerLink (online služba)
5
Voronkov, Andrei
5
Voronkov, Andrei, 1959-
3
Kahl, Wolfram
2
Baral, Chitta
2
Beckert, Bernhard
více ...
2
Bjørner, Nikolaj
2
Delcambre, Lois, 1950-
2
Dix, Jürgen
2
Fisher, Michael
2
Ganter, Bernhard
2
Ganter, Bernhard, 1949-
2
Goertzel, Ben
2
Governatori, Guido
2
Gupta, Gopal, 1963-
2
Jamroga, Wojtek
2
Leite, João
2
McMillan, Kenneth L.
2
Meseguer, José
2
Miller, Dale (Dale A.), 1956-
2
Rudolph, Sebastian
2
Schmidt, Renate A
2
Sofronie-Stokkermans, Viorica
2
Son, Tran Cao
2
Torre, Leon van der
2
Torroni, Paolo
2
Veith, Helmut
2
Vidal, Germán
2
Wiedijk, Freek
2
Wille, Rudolf
Zobrazit vše ...
méně ...
Jazyk
167
angličtina
Žánr
166
elektronicke knihy
61
sborníky konferencí
2
eseje
1
sborníky
Rok vydání
Od:
do:
PSH
167
matematická logika
softwarové inženýrství
167
umělá inteligence
165
informatika
69
programování
64
programovací jazyky
více ...
54
robotika
52
formální jazyky
43
počítače
25
algoritmizace
15
vyhledávání v datech
8
algebra
6
operační systémy
6
počítačová bezpečnost
6
počítačová simulace
5
informační systémy
5
internet
5
sémantický web
4
rozpoznávání obrazců
3
podnikové informační systémy
3
počítačová grafika
2
UML
2
agenti
2
databázové systémy
2
hardware
2
logické programování
2
numerická analýza
2
programovací jazyk Java
2
software
2
systémy řízení báze dat
Zobrazit vše ...
méně ...
×
Načítá se...