Zobrazuji výsledky
1 - 20
z
24
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
NOT
abstrakta
Oblast:
NOT
Rakousko-Uhersko
Autor:
NOT
Vacek, Zdeněk, 1976-
Doporučená témata:
programovací jazyky
PSH:
algoritmizace
AND
umělá inteligence
Zrušit filtry
Zobrazit filtry (7)
Žánr:
NOT
encyklopedie
NOT
abstrakta
Oblast:
NOT
Rakousko-Uhersko
Autor:
NOT
Vacek, Zdeněk, 1976-
Doporučená témata:
programovací jazyky
PSH:
algoritmizace
AND
umělá inteligence
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
24
programovací jazyky
umělá inteligence
24
informatika
22
matematická logika
16
počítače
16
programování
15
více ...
robotika
12
formální jazyky
8
softwarové inženýrství
6
numerická analýza
4
operační systémy
3
agenti
2
diskrétní matematika
2
logické programování
2
multiagentní systémy
2
vyhledávání v datech
2
Petriho sítě
1
bioinformatika
1
ontologie (informatika)
1
programovací jazyk Java
1
rozpoznávání obrazců
1
systémy řízení báze dat
1
sémantický web
1
vizualizace
1
zpracování obrazů
1
méně ...
Zobrazuji výsledky
1 - 20
z
24
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
Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 :...
Vydáno:
2006
Umístění:
Načítá se...
Kniha
Načítá se...
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:
Mathematical foundations of computer science 2010 : 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 : proceedings
Vydáno:
2010
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:
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:
Language and automata theory and applications : 4th international conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent advances in constraints : 12th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 :...
Vydáno:
2008
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:
Recent advances in constraints : 13th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2008, Rome, Italy, June 18-20, 2008 : revise...
Vydáno:
2009
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:
MICAI 2008: advances in artificial intelligence : 7th Mexican international conference on artificial intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent Advances in Constraints : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Re...
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 :...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Scalable uncertainty management : second international conference, SUM 2008, Naples, Italy, October 1-3, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Artificial intelligence an international perspective : an international perspective
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent Advances in Constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, R...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent Advances in Constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25,...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Infinity in Logic and Computation : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Conceptual Structures: Leveraging Semantic Technologies : 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
Další »
[2]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
24
NTK
Médium
23
E-kniha
1
Kniha
Signatura
1
Q - Věda
Autor
23
SpringerLink (online služba)
5
Fages, François
3
Rossi, Francesca
2
Hnich, Brahim
2
Löwe, Benedikt
2
Rossi, Francesca, 1962-
více ...
1
Abdulla, Parosh Aziz
1
Archibald, Margaret
1
Azevedo, Francisco de Moura e Castro Ascensão de, 1969-
1
Barahona, Pedro, 1954-
1
Bramer, M. A. (Max A.), 1948-
1
Brattka, Vasco
1
Carlsson, Mats
1
Dau, Frithjof
1
Dediu, Adrian Horia, 1961-
1
Eklund, Peter W., 1962-
1
Faltings, Boi V
1
Fernau, Henning
1
Ferreira, Fernando
1
Filliâtre, Jean-Christophe
1
Frühwirth, Thom, 1962-
1
Gelbukh, Alexander, 1962-
1
Goranko, Valentin
1
Greco, Sergio, 1955-
1
Haemmerlé, Ollivier
1
Hliněný, Petr, 1971-
1
Honsell, Furio
1
Kuznetsov, Sergei O
1
Kučera, Antonín, 1971-
1
Larrosa, Javier
Zobrazit vše ...
méně ...
Jazyk
24
angličtina
Žánr
23
elektronicke knihy
14
sborníky konferencí
1
monografie
Rok vydání
Od:
do:
PSH
algoritmizace
24
programovací jazyky
umělá inteligence
22
informatika
16
matematická logika
16
počítače
více ...
15
programování
12
robotika
8
formální jazyky
6
softwarové inženýrství
4
numerická analýza
3
operační systémy
2
agenti
2
logické programování
2
vyhledávání v datech
1
Petriho sítě
1
bioinformatika
1
programovací jazyk Java
1
rozpoznávání obrazců
1
systémy řízení báze dat
1
sémantický web
1
vizualizace
1
zpracování obrazů
Zobrazit vše ...
méně ...
×
Načítá se...