Zobrazuji výsledky
61 - 80
z
281
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
Doporučená témata:
programování
AND
matematická logika
PSH:
NOT
podnikové informační systémy
Autor:
NOT
Horváth, Zoltán
NOT
Voronkov, Andrei
Zrušit filtry
Zobrazit filtry (6)
Žánr:
NOT
učebnice
Doporučená témata:
programování
AND
matematická logika
PSH:
NOT
podnikové informační systémy
Autor:
NOT
Horváth, Zoltán
NOT
Voronkov, Andrei
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
252
softwarové inženýrství
185
programovací jazyky
180
umělá inteligence
129
počítače
98
více ...
formální jazyky
80
algoritmizace
63
robotika
40
operační systémy
29
software
10
vyhledávání v datech
10
počítačová simulace
9
diskrétní matematika
8
agenti
6
multiagentní 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
automatizované řešení problémů
2
bioinformatika
2
kombinatorika
2
logické programování
2
ontologie (informatika)
2
méně ...
Zobrazuji výsledky
61 - 80
z
281
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
Conceptual structures: knowledge visualization and reasoning : 16th International conference on conceptual structures, ICCS 2008, Toulouse, France, July 7-11, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Constraint handling rules : current research topics
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic programming : 22nd international conference, ICLP 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:
B 2007: formal specification and development in B : 7th International conference of B users, Besançon, France, January 17-19, 2007 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Static analysis : 15th international symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
FM 2006: formal methods : 14th International symposium on formal methods, Hamilton, Canada, August 21-27, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Modeling decisions for artificial intelligence : 5th international conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer processing of oriental languages : language technology for the knowledge-based economy : 22nd international conference, ICCPOL 2009, Hong Kong, March 26-27, 2009 : proceed...
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software engineering and formal methods : 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Verified software: theories, tools and experiments : 6th international conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : revised selected papers
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
AI 2008: advances in artificial intelligence : 21st Australasian joint conference on artificial intelligence Auckland, New Zealand, December 1-5, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Types for proofs and programs : international conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 : revised selected papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Static analysis : 20th international symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
MICAI 2008: advances in artificial intelligence : 7th Mexican international conference on artificial intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 15th European symposium on programming, ESOP 2006, held as part of the Joint European conferences on theory and practice of software, ETAPS 2006...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods and software engineering : 13th International conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic for programming, artificial intelligence, and reasoning : 20th international conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Algebraic Methodology and Software Technology : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
[1]
« Předchozí
1
2
3
4
5
6
7
8
9
10
11
Další »
[15]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
281
NTK
Médium
257
E-kniha
22
Kniha
2
Rukopis
Signatura
23
Q - Věda
1
T - Technologie
Autor
257
SpringerLink (online služba)
11
Voronkov, Andrei, 1959-
3
Kobayashi, Naoki, 1968-
3
Konev, Boris
3
Meseguer, José
3
Paulin-Mohring, Christine, 1962-
více ...
3
Vidal, Germán
2
Armando, Alessandro
2
Baral, Chitta
2
Berardi, Stefano
2
Calude, Cristian, 1952-
2
Cavalcanti, Ana
2
Damiani, Ferruccio
2
Erdem, Esra
2
Etalle, Sandro
2
Fiadeiro, José Luiz, 1961-
2
Filliâtre, Jean-Christophe
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
Kroening, Daniel
2
Liu, Zhiming, 1972-
2
Lämmel, Ralf
2
Löwe, Benedikt
Zobrazit vše ...
méně ...
Jazyk
281
angličtina
Žánr
257
elektronicke knihy
117
sborníky konferencí
4
sborníky
3
eseje
1
monografie
Rok vydání
Od:
do:
PSH
281
matematická logika
281
programování
252
informatika
185
softwarové inženýrství
180
programovací jazyky
129
umělá inteligence
více ...
98
počítače
80
formální jazyky
63
algoritmizace
40
robotika
29
operační systémy
10
software
10
vyhledávání v datech
9
počítačová simulace
6
agenti
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
automatizované řešení problémů
2
bioinformatika
2
kombinatorika
2
logické programování
2
programovací jazyk Java
2
programovací jazyk JavaScript
2
symbolické výpočty
2
sémantický web
Zobrazit vše ...
méně ...
×
Načítá se...