Zobrazuji výsledky
1 - 20
z
52
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
NOT
disertace
Doporučená témata:
NOT
osobní automobily
AND
algoritmizace
AND
robotika
Autor:
NOT
Soušek, Tomáš, 1977-
Signatura:
NOT
B - Filozofie, Psychologie, Náboženství
NOT
H - Sociální vědy
PSH:
NOT
počítačová bezpečnost
AND
matematická logika
Zrušit filtry
Zobrazit filtry (10)
Žánr:
NOT
učebnice
NOT
disertace
Doporučená témata:
NOT
osobní automobily
AND
algoritmizace
AND
robotika
Autor:
NOT
Soušek, Tomáš, 1977-
Signatura:
NOT
B - Filozofie, Psychologie, Náboženství
NOT
H - Sociální vědy
PSH:
NOT
počítačová bezpečnost
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
52
robotika
umělá inteligence
52
informatika
51
formální jazyky
48
počítače
28
více ...
programování
11
softwarové inženýrství
11
vyhledávání v datech
11
systémy řízení báze dat
10
programovací jazyky
9
informační systémy
8
internet
8
diskrétní matematika
6
operační systémy
6
vyhledávání informací
6
ontologie (informatika)
5
zpracování obrazů
5
bioinformatika
4
strojová lingvistika
4
sémantický web
4
zpracování textů
4
agenti
3
multiagentní systémy
3
numerická analýza
3
počítačová lingvistika
3
rozpoznávání obrazců
3
XML
2
algebra
2
méně ...
Zobrazuji výsledky
1 - 20
z
52
pro vyhledávání '
'
, doba hledání: 1,89 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Principles and practice of constraint programming : 21st international conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Anaphora: analysis, algorithms and applications : 6th Discourse anaphora and anaphor resolution colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007 : selected papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler construction : 15th international conference, CC 2006, held as part of the Joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, Marc...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-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
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:
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:
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:
Algorithmic learning theory : 16th international conference, ALT 2005, Singapore, October 8-11, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal concept analysis : 10th international conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Machine learning: ECML 2006 : 17th European conference on machine learning, Berlin, Germany, September 18-22, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Artificial general intelligence : 5th international conference, AGI 2012, Oxford, UK, December 8-11, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Conceptual structures: knowledge visualization and reasoning : 16th International conference on conceptual structures, ICCS 2008, Toulouse, France, July 7-11, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Constraint handling rules : current research topics
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Types for proofs and programs : international conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 : revised selected papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Transactions on rough sets VIII
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
Další »
[3]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
52
NTK
Médium
52
E-kniha
Autor
52
SpringerLink (online služba)
3
Wang, Lipo
2
Calude, Cristian, 1952-
2
Gelbukh, Alexander, 1962-
2
Jin, Yaochu, 1966-
2
Rozenberg, Grzegorz, 1942-
více ...
1
An, Aijun, 1964-
1
Auer, Peter, 1964-
1
Bacchus, Fahiem
1
Bach, Joscha
1
Benz, Anton
1
Biere, Armin, 1967-
1
Bramer, M. A. (Max A.), 1948-
1
Branco, António
1
Bshouty, Nader H.
1
Butz, Cory J.
1
Chng, Eng-Siong
1
Coelho, Helder, 1944-
1
Colinet, Margot
1
Daelemans, Walter, 1960-
1
Delcambre, Lois, 1950-
1
Domaratzki, Michael
1
Domenach, Florent
1
Ebert, Christian
1
Eiter, Thomas, 1966-
1
Eklund, Peter W., 1962-
1
Etessami, Kousha
1
Filliâtre, Jean-Christophe
1
Frühwirth, Thom, 1962-
1
Fürnkranz, Johannes
Zobrazit vše ...
méně ...
Jazyk
52
angličtina
Žánr
52
elektronicke knihy
47
sborníky konferencí
1
monografie
Rok vydání
Od:
do:
PSH
52
algoritmizace
matematická logika
52
robotika
52
umělá inteligence
51
informatika
48
formální jazyky
více ...
28
počítače
11
programování
11
softwarové inženýrství
11
vyhledávání v datech
10
systémy řízení báze dat
9
programovací jazyky
8
informační systémy
8
internet
6
operační systémy
6
vyhledávání informací
5
zpracování obrazů
4
bioinformatika
4
strojová lingvistika
4
sémantický web
4
zpracování textů
3
agenti
3
numerická analýza
3
rozpoznávání obrazců
2
XML
2
algebra
2
kryptografie
2
počítačové vidění
2
vizualizace
1
algebraická topologie
Zobrazit vše ...
méně ...
×
Načítá se...