Zobrazuji výsledky
1 - 20
z
275
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
Signatura:
NOT
A - Obecná díla
NOT
H - Sociální vědy
Žánr:
NOT
články
NOT
firemní katalogy
NOT
firemní drobný tisk
Digitalizace:
NOT
Obohaceno
Doporučená témata:
programování
AND
matematická logika
Médium:
NOT
Kniha
Zrušit filtry
Zobrazit filtry (9)
Signatura:
NOT
A - Obecná díla
NOT
H - Sociální vědy
Žánr:
NOT
články
NOT
firemní katalogy
NOT
firemní drobný tisk
Digitalizace:
NOT
Obohaceno
Doporučená témata:
programování
AND
matematická logika
Médium:
NOT
Kniha
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
programování
informatika
267
softwarové inženýrství
198
programovací jazyky
187
umělá inteligence
127
počítače
100
více ...
formální jazyky
83
algoritmizace
63
robotika
40
operační systémy
28
počítačová simulace
10
vyhledávání v datech
10
diskrétní matematika
7
agenti
6
multiagentní systémy
6
podnikové informační systémy
6
počítačová bezpečnost
6
aplikační programy
5
počítačová architektura
5
algebra
3
strojová lingvistika
3
systémy řízení báze dat
3
XML
2
architektura výpočetních systémů
2
bioinformatika
2
logické programování
2
ontologie (informatika)
2
počítačová grafika
2
programovací jazyk Java
2
méně ...
Zobrazuji výsledky
1 - 20
z
275
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
Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
Vydáno:
2003
Umístění:
Načítá se...
Rukopis
Načítá se...
Uloženo v:
Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, Oktober 14-18, 2002 : proceedings
Vydáno:
2002
Umístění:
Načítá se...
Rukopis
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:
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:
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:
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:
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:
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 : 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006: proceedings
Vydáno:
2006
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:
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:
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:
Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 21st European symposium on programming, ESOP 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Probabilistic inductive logic programming : theory and applications
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Advanced functional programming : 6th international school, AFP 2008, Heijen, The Netherlands, May 2008 : revised lectures
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Runtime verification : 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
6
7
8
9
10
11
Další »
[14]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
275
NTK
Médium
273
E-kniha
2
Rukopis
Signatura
2
Q - Věda
Autor
273
SpringerLink (online služba)
7
Voronkov, Andrei, 1959-
6
Voronkov, Andrei
4
Plasmeijer, Rinus
3
Horváth, Zoltán
3
Meseguer, José
více ...
3
Veith, Helmut
3
Vidal, Germán
3
Zsók, Viktória
2
Baral, Chitta
2
Beckert, Bernhard
2
Butler, Michael
2
Cavalcanti, Ana
2
Dershowitz, Nachum
2
Erdem, Esra
2
Etalle, Sandro
2
Fiadeiro, José Luiz, 1961-
2
Giannakopoulou, Dimitra
2
Gupta, Gopal, 1963-
2
Hage, Jurriaan
2
Hagiya, Masami, 1957-
2
Hoek, Wiebe van der
2
Jhala, Ranjit
2
Johnson, Michael
2
Joshi, Rajeev
2
Julliand, Jacques
2
Kobayashi, Naoki, 1968-
2
Konev, Boris
2
Kroening, Daniel
2
Liu, Zhiming, 1972-
Zobrazit vše ...
méně ...
Jazyk
275
angličtina
Žánr
273
elektronicke knihy
104
sborníky konferencí
3
eseje
3
sborníky
1
monografie
1
učebnice
Rok vydání
Od:
do:
PSH
275
matematická logika
275
programování
267
informatika
198
softwarové inženýrství
187
programovací jazyky
127
umělá inteligence
více ...
100
počítače
83
formální jazyky
63
algoritmizace
40
robotika
28
operační systémy
10
počítačová simulace
10
vyhledávání v datech
6
agenti
6
podnikové informační systémy
6
počítačová bezpečnost
5
aplikační programy
3
algebra
3
strojová lingvistika
3
systémy řízení báze dat
2
XML
2
architektura výpočetních systémů
2
bioinformatika
2
logické programování
2
počítačová grafika
2
programovací jazyk Java
2
programovací jazyk JavaScript
2
sémantický web
2
testování
2
vestavěné systémy
Zobrazit vše ...
méně ...
×
Načítá se...