Zobrazuji výsledky
41 - 60
z
298
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
Zrušit filtry
Zobrazit filtry (8)
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
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
268
softwarové inženýrství
200
programovací jazyky
189
umělá inteligence
135
počítače
101
více ...
formální jazyky
83
algoritmizace
64
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
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
méně ...
Zobrazuji výsledky
41 - 60
z
298
pro vyhledávání '
'
, doba hledání: 0,07 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
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:
Programming languages and systems : 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005...
Vydáno:
2005
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:
Reachability problems : 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Rewriting logic and its applications : 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers
Vydáno:
2010
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:
Trends in functional programming : 13th international symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012 : revised selected papers
Vydáno:
2013
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:
Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings
Vydáno:
2008
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:
The mathematics of language : 10th and 11th biennial conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009 : revised select...
Vydáno:
2010
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:
Computational logic in multi-agent systems : 5th international workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Graph structures for knowledge representation and reasoning : second international workshop, GKR 2011, Barcelona, Spain, July 16, 2011 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Rewriting logic and its applications : 9th international workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software engineering and formal methods : 11th international conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic programming and nonmonotonic reasoning : 10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 17th European symposium on programming, ESOP 2008, held as part of the Joint European conferences on theory and practice of software, ETAPS 2008...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings
Vydáno:
2012
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
298
NTK
Médium
273
E-kniha
23
Kniha
2
Rukopis
Signatura
24
Q - Věda
1
T - Technologie
Autor
273
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
298
angličtina
Žánr
273
elektronicke knihy
120
sborníky konferencí
4
sborníky
3
eseje
2
učebnice
1
monografie
Rok vydání
Od:
do:
PSH
298
matematická logika
298
programování
268
informatika
200
softwarové inženýrství
189
programovací jazyky
135
umělá inteligence
více ...
101
počítače
83
formální jazyky
64
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
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
matematika
2
počítačová grafika
2
programovací jazyk Java
Zobrazit vše ...
méně ...
×
Načítá se...