Zobrazuji výsledky
21 - 40
z
278
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
encyklopedie
Oblast:
NOT
Rakousko-Uhersko
NOT
Rusko
Médium:
NOT
Rukopis
Doporučená témata:
algoritmizace
AND
matematická logika
Zrušit filtry
Zobrazit filtry (6)
Žánr:
NOT
encyklopedie
Oblast:
NOT
Rakousko-Uhersko
NOT
Rusko
Médium:
NOT
Rukopis
Doporučená témata:
algoritmizace
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í:
algoritmizace
matematická logika
informatika
266
počítače
154
umělá inteligence
133
formální jazyky
106
softwarové inženýrství
75
více ...
programovací jazyky
65
programování
64
robotika
53
diskrétní matematika
30
systémy řízení báze dat
22
numerická analýza
19
bioinformatika
17
vyhledávání v datech
17
operační systémy
15
informační systémy
11
rozpoznávání obrazců
11
strojová lingvistika
11
vyhledávání informací
11
internet
10
zpracování obrazů
10
zpracování textů
10
kryptografie
7
algebra
6
kombinatorika
6
matematická statistika
6
ontologie (informatika)
6
počítačová bezpečnost
6
počítačová simulace
6
méně ...
Zobrazuji výsledky
21 - 40
z
278
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 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computational linguistics and intelligent text processing : 6th international conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Probabilistic inductive logic programming : theory and applications
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Graph theory, computational intelligence and thought : essays dedicated to Martin Charles Golumbic on the occasion of His 60th Birthday
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Deterministic and statistical methods in machine learning : first international workshop, Sheffield, UK, September 7-10, 2004 : revised lectures
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Automata, languages and programming : 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Advanced functional programming : 6th international school, AFP 2008, Heijen, The Netherlands, May 2008 : revised lectures
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Runtime verification : 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Unconventional computation and natural computation : 12th international conference, UCNC 2013, Milan, Italy, July 1-5, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
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:
Unconventional computation and natural computation : 11th international conference, UCNC 2012, Orléan, France, September 3-7, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Advances in artificial intelligence - IBERAMIA-SBIA 2006 : 2nd international joint conference, 10th Ibero-American conference on AI, 18th Brazilian AI symposium, Ribeirão Preto, Br...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Machine learning and knowledge discovery in databases : European conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008 : proceedings.
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Machines, computations, and universality : 4th international conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
STACS 2007 : 24th Annual symposium on theoretical aspects of computer science, Aachen, Germany, February 22-24, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
The nature of computation : logic, algorithms, applications : 9th Conference on computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Combinatorial algorithms : 25th international workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014 : revised selected papers
Vydáno:
2015
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:
Language, games, and evolution : trends in current research on language and game theory
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Learning theory : 20th annual Conference on learning theory, COLT 2007, San Diego, CA, USA; June 13-15, 2007 : proceedings
Vydáno:
2007
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ší »
[14]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
278
NTK
Médium
270
E-kniha
7
Kniha
1
Článek
Signatura
8
Q - Věda
Autor
269
SpringerLink (online služba)
8
Queiroz, Ruy J. G. B. de
5
Dediu, Adrian-Horia
5
Karhumäki, Juhani, 1949-
5
Martín-Vide, Carlos
4
Cooper, S. B. (S. Barry), 1943-2015
více ...
4
Löwe, Benedikt
4
Potapov, Igor
4
Rozenberg, Grzegorz, 1942-
4
Stephan, Frank
4
Zeugmann, Thomas
3
Calude, Cristian, 1952-
3
Gunopulos, Dimitrios
3
Hofmann, Thomas
3
Lepistö, Arto
3
Malerba, Donato
3
Okhotin, Alexander
3
Priami, Corrado
3
Rudolph, Sebastian
3
Sakallah, Karem A.
3
Truthe, Bianca
3
Vazirgiannis, Michalis
3
Wang, Lipo
2
Bacchus, Fahiem
2
Beckmann, Arnold
2
Beklemishev, Lev D.
2
Biere, Armin, 1967-
2
Boer, Frank S. de
2
Brattka, Vasco
2
Csuhaj-Varjú, Erzsébet
Zobrazit vše ...
méně ...
Jazyk
278
angličtina
Žánr
270
elektronicke knihy
129
sborníky konferencí
4
monografie
3
eseje
1
kolektivní monografie
1
sborníky
více ...
1
učebnice
1
články
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
278
algoritmizace
278
matematická logika
266
informatika
154
počítače
133
umělá inteligence
106
formální jazyky
více ...
75
softwarové inženýrství
65
programovací jazyky
64
programování
53
robotika
22
systémy řízení báze dat
19
numerická analýza
17
bioinformatika
17
vyhledávání v datech
15
operační systémy
11
informační systémy
11
rozpoznávání obrazců
11
strojová lingvistika
11
vyhledávání informací
10
internet
10
zpracování obrazů
10
zpracování textů
7
kryptografie
6
algebra
6
kombinatorika
6
matematická statistika
6
počítačová bezpečnost
6
počítačová simulace
5
sémantický web
4
agenti
Zobrazit vše ...
méně ...
×
Načítá se...