Zobrazuji výsledky
1 - 20
z
115
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
Autor:
NOT
Horyna, Mojmír, 1945-2011
Doporučená témata:
Filtry: 5
NOT
zpracování obrazů
NOT
internet
AND
umělá inteligence
AND
algoritmizace
AND
matematická logika
PSH:
NOT
historie
Žánr:
NOT
učebnice vysokých škol
Signatura:
NOT
H - Sociální vědy
Zrušit filtry
Zobrazit filtry (9)
Autor:
NOT
Horyna, Mojmír, 1945-2011
Doporučená témata:
Filtry: 5
NOT
zpracování obrazů
NOT
internet
AND
umělá inteligence
AND
algoritmizace
AND
matematická logika
PSH:
NOT
historie
Žánr:
NOT
učebnice vysokých škol
Signatura:
NOT
H - Sociální vědy
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
umělá inteligence
informatika
109
počítače
51
robotika
40
formální jazyky
36
více ...
programování
24
softwarové inženýrství
22
programovací jazyky
15
vyhledávání v datech
13
systémy řízení báze dat
12
strojová lingvistika
10
operační systémy
9
zpracování textů
9
numerická analýza
8
diskrétní matematika
6
rozpoznávání obrazců
6
bioinformatika
5
matematická statistika
5
vyhledávání informací
4
aplikační programy
3
počítačová bezpečnost
3
počítačová lingvistika
3
sémantický web
3
agenti
2
algebra
2
matematika
2
multiagentní systémy
2
počítačová simulace
2
méně ...
Zobrazuji výsledky
1 - 20
z
115
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
Attibute significance, consistency measure and attribute reduction in formal concept analysis
Autor
Huang, Chenchen
Umístění:
Načítá se...
Článek
Načítá se...
Uloženo v:
Interactive theorem proving : 4th international conference, ITP 2013, Rennes, France, July 22-26, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
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:
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:
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:
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:
1
2
3
4
5
6
Další »
[6]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
115
NTK
Médium
114
E-kniha
1
Článek
Signatura
1
Q - Věda
Autor
113
SpringerLink (online služba)
5
Dediu, Adrian-Horia
5
Martín-Vide, Carlos
4
Queiroz, Ruy J. G. B. de
4
Zeugmann, Thomas
3
Gunopulos, Dimitrios
více ...
3
Hofmann, Thomas
3
Malerba, Donato
3
Rudolph, Sebastian
3
Stephan, Frank
3
Truthe, Bianca
3
Vazirgiannis, Michalis
2
Calude, Cristian, 1952-
2
Dau, Frithjof
2
Fages, François
2
Goertzel, Ben
2
Goethals, Bart
2
Goranko, Valentin
2
Iida, Hiroyuki
2
Karhumäki, Juhani, 1949-
2
Kwong, Oi Yee
2
Lukasiewicz, Thomas
2
Mauri, Giancarlo, 1949-
2
Muggleton, Stephen
2
O’Sullivan, Barry
2
Paulin-Mohring, Christine, 1962-
2
Pfahringer, Bernhard
2
Plaat, Aske
2
Rossi, Francesca
2
Rozenberg, Grzegorz, 1942-
Zobrazit vše ...
méně ...
Jazyk
115
angličtina
Žánr
114
elektronicke knihy
43
sborníky konferencí
1
eseje
1
monografie
1
sborníky
1
články
Rok vydání
Od:
do:
PSH
115
algoritmizace
115
matematická logika
115
umělá inteligence
109
informatika
51
počítače
40
robotika
více ...
36
formální jazyky
24
programování
22
softwarové inženýrství
15
programovací jazyky
13
vyhledávání v datech
12
systémy řízení báze dat
10
strojová lingvistika
9
operační systémy
9
zpracování textů
8
numerická analýza
6
rozpoznávání obrazců
5
bioinformatika
5
matematická statistika
4
vyhledávání informací
3
aplikační programy
3
počítačová bezpečnost
3
sémantický web
2
agenti
2
algebra
2
matematika
2
počítačová simulace
2
teorie informace
1
algebraická topologie
1
databázové systémy
Zobrazit vše ...
méně ...
×
Načítá se...