Zobrazuji výsledky
141 - 160
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
Žánr:
NOT
články
NOT
firemní katalogy
Digitalizace:
NOT
Obohaceno
Doporučená témata:
programování
AND
matematická logika
Zrušit filtry
Zobrazit filtry (6)
Signatura:
NOT
A - Obecná díla
Žánr:
NOT
články
NOT
firemní katalogy
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
141 - 160
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
Practical Aspects of Declarative Languages : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model checking software : 17th International SPIN workshop, Enschede, The Netherlands, September 27-29, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Implementation and Application of Functional Languages : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Inductive Logic Programming : 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Quantum Interaction : Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Correct Reasoning : Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Inductive Logic Programming : 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Principles and Practice of Constraint Programming - CP 2009 : 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Deontic Logic in Computer Science : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Objects, Models, Components, Patterns : 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Implementation and Application of Functional Languages : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic Programming : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Implementation and Application of Functional Languages : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic Programming and Nonmonotonic Reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Advances in Artificial Intelligence - SBIA 2008 : 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Runtime Verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
[1]
« Předchozí
3
4
5
6
7
8
9
10
11
12
13
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...