Zobrazuji výsledky
1 - 20
z
297
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
Jazyk:
angličtina
Doporučená témata:
Filtry: 4
NOT
architektura
NOT
šifrování dat
AND
programování
AND
matematická logika
Oblast:
NOT
Čína
Žánr:
NOT
biografie
Signatura:
NOT
R - Lékařství
Zrušit filtry
Zobrazit filtry (8)
Jazyk:
angličtina
Doporučená témata:
Filtry: 4
NOT
architektura
NOT
šifrování dat
AND
programování
AND
matematická logika
Oblast:
NOT
Čína
Žánr:
NOT
biografie
Signatura:
NOT
R - Lékařství
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í
200
programovací jazyky
189
umělá inteligence
135
počítače
101
více ...
formální jazyky
82
algoritmizace
63
robotika
40
operační systémy
29
počítačová simulace
10
software
10
vyhledávání v datech
10
diskrétní matematika
8
agenti
6
multiagentní systémy
6
podnikové informační systémy
6
aplikační programy
5
počítačová architektura
5
počítačová bezpečnost
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
méně ...
Zobrazuji výsledky
1 - 20
z
297
pro vyhledávání '
'
, doba hledání: 0,05 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:
Mathematical logic through Python
Autor
Gonczarowski, Yannai A., 1981-
Vydáno:
2022
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:
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
297
NTK
Médium
272
E-kniha
23
Kniha
2
Rukopis
Signatura
24
Q - Věda
1
T - Technologie
Autor
272
SpringerLink (online služba)
11
Voronkov, Andrei, 1959-
6
Voronkov, Andrei
4
Plasmeijer, Rinus
3
Horváth, Zoltán
3
Kobayashi, Naoki, 1968-
více ...
3
Konev, Boris
3
Meseguer, José
3
Paulin-Mohring, Christine, 1962-
3
Veith, Helmut
3
Vidal, Germán
3
Zsók, Viktória
2
Armando, Alessandro
2
Baral, Chitta
2
Beckert, Bernhard
2
Berardi, Stefano
2
Butler, Michael
2
Calude, Cristian, 1952-
2
Cavalcanti, Ana
2
Damiani, Ferruccio
2
Dershowitz, Nachum
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
Zobrazit vše ...
méně ...
Jazyk
angličtina
Žánr
272
elektronicke knihy
119
sborníky konferencí
4
sborníky
3
eseje
2
učebnice
1
monografie
Rok vydání
Od:
do:
PSH
297
matematická logika
297
programování
267
informatika
200
softwarové inženýrství
189
programovací jazyky
135
umělá inteligence
více ...
101
počítače
82
formální jazyky
63
algoritmizace
40
robotika
29
operační systémy
10
počítačová simulace
10
software
10
vyhledávání v datech
6
agenti
6
podnikové informační systémy
5
aplikační programy
5
počítačová bezpečnost
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
matematika
2
počítačová grafika
2
programovací jazyk Java
Zobrazit vše ...
méně ...
×
Načítá se...