Zobrazuji výsledky
1 - 20
z
280
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
NOT
Koopman, Pieter
Zrušit filtry
Zobrazit filtry (7)
Žá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
NOT
Koopman, Pieter
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
251
softwarové inženýrství
183
programovací jazyky
179
umělá inteligence
129
počítače
97
více ...
formální jazyky
78
algoritmizace
62
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
1 - 20
z
280
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
Types for proofs and programs : international workshop, TYPES 2002 Berg en Dal, The Netherlands, April 24-28, 2002 : selected papers
Vydáno:
2003
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
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:
Field-programmable logic : smart applications, new paradigms and compilers. 6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, Se...
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, proceedings
Vydáno:
2005
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2004 : selected papers
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000
Vydáno:
2000
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Types for proofs and programs : International workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers
Vydáno:
2000
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Temporal logic : 1. International Conference, ICTL '94 Bonn, Germany, July 11-14, 1994. Proceedings
Vydáno:
1994
Umístění:
Načítá se...
Kniha
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:
Logic and computer science
Vydáno:
1990
Umístění:
Načítá se...
Kniha
Načítá se...
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...
Kniha
Načítá se...
Uloženo v:
Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994. Proceedings
Vydáno:
1994
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Constraints in computational logics : theory and applications. International summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999. Revised lectures
Vydáno:
2001
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
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
Kniha
Uloženo v:
Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 2003 : proceedings
Vydáno:
2003
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Logic for Programming, Artificial Intelligence, and Reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
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
280
NTK
Médium
256
E-kniha
22
Kniha
2
Rukopis
Signatura
23
Q - Věda
1
T - Technologie
Autor
256
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
Lämmel, Ralf
2
Löwe, Benedikt
2
Martí-Oliet, Narciso
Zobrazit vše ...
méně ...
Jazyk
280
angličtina
Žánr
256
elektronicke knihy
115
sborníky konferencí
3
sborníky
2
eseje
1
monografie
Rok vydání
Od:
do:
PSH
280
matematická logika
280
programování
251
informatika
183
softwarové inženýrství
179
programovací jazyky
129
umělá inteligence
více ...
97
počítače
78
formální jazyky
62
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...