Zobrazuji výsledky
1 - 20
z
87
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
Doporučená témata:
programování
AND
programovací jazyky
PSH:
NOT
podnikové informační systémy
AND
umělá inteligence
Autor:
NOT
Horváth, Zoltán
NOT
Voronkov, Andrei
Zrušit filtry
Zobrazit filtry (7)
Žánr:
NOT
učebnice
Doporučená témata:
programování
AND
programovací jazyky
PSH:
NOT
podnikové informační systémy
AND
umělá inteligence
Autor:
NOT
Horváth, Zoltán
NOT
Voronkov, Andrei
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í:
programovací jazyky
programování
umělá inteligence
87
informatika
83
matematická logika
58
softwarové inženýrství
50
počítače
37
více ...
robotika
30
formální jazyky
18
algoritmizace
15
operační systémy
7
vyhledávání v datech
6
agenti
5
počítačová simulace
4
multiagentní systémy
3
systémy řízení báze dat
3
diskrétní matematika
2
numerická analýza
2
počítačová architektura
2
strojová lingvistika
2
Petriho sítě
1
XML
1
aplikační programy
1
architektura výpočetních systémů
1
bioinformatika
1
databázové systémy
1
jazykověda
1
objektově orientované programování
1
ontologie (informatika)
1
počítačová algebra
1
méně ...
Zobrazuji výsledky
1 - 20
z
87
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
Intelligent agents VIII : agents theories, architectures, and languages : 8th international workshop, ATAL 2001, Seattle, WA, USA, August 1-3, 2001 : revised papers
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Programming constraint services : high-level programming of standard and new constraint services
Autor
Schulte, Christian
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Agent-oriented software engineering IV : 4th international workshop, AOSE 2003, Melbourne, Australia, July 15, 2003 : revised papers
Vydáno:
2004
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Functional and logic programming : 11th international symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software, services, and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering
Vydáno:
2015
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:
Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings
Vydáno:
2011
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:
Software engineering for self-adaptive systems
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming multi-agent systems : 9th international workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Unifying theories of programming : third international symposium, UTP 2010, Shanghai, China, November 15-16, 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:
Trends in functional programming : 15th international symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014 : revised selected papers
Vydáno:
2015
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:
Logic programming : 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
Další »
[5]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
87
NTK
Médium
84
E-kniha
3
Kniha
Signatura
3
Q - Věda
Autor
84
SpringerLink (online služba)
5
Voronkov, Andrei, 1959-
3
Seipel, Dietmar
2
Bartenstein, Oskar
2
Barthe, Gilles, 1967-
2
Fages, François
více ...
2
Geske, Ulrich
2
Gleizes, Marie-Pierre
2
Löwe, Benedikt
2
Rossi, Francesca, 1962-
2
Schrijvers, Tom
2
Wolf, Armin
1
Abdulla, Parosh Aziz
1
Archibald, Margaret
1
Bacardit, Jaume
1
Beek, Peter van
1
Benhamou, Frédéric
1
Berardi, Stefano
1
Bernadó-Mansilla, Ester
1
Bessière, Christian
1
Bjørner, Nikolaj
1
Blume, Matthias
1
Boissier, Olivier
1
Boissier, Olivier, 1963-
1
Bordini, Rafael H.
1
Bramer, M. A. (Max A.), 1948-
1
Brattka, Vasco
1
Butz, Martin V
1
Chemello, Gaetano
1
Cheng, Betty H. C.
Zobrazit vše ...
méně ...
Jazyk
87
angličtina
Žánr
84
elektronicke knihy
35
sborníky konferencí
1
eseje
1
monografie
Rok vydání
Od:
do:
PSH
87
programovací jazyky
87
programování
umělá inteligence
83
informatika
58
matematická logika
50
softwarové inženýrství
více ...
37
počítače
30
robotika
18
formální jazyky
15
algoritmizace
7
operační systémy
6
vyhledávání v datech
5
agenti
4
počítačová simulace
3
systémy řízení báze dat
2
numerická analýza
2
strojová lingvistika
1
Petriho sítě
1
XML
1
aplikační programy
1
architektura výpočetních systémů
1
bioinformatika
1
databázové systémy
1
jazykověda
1
objektově orientované programování
1
počítačová bezpečnost
1
počítačová grafika
1
rozhraní
1
rozpoznávání obrazců
1
www
Zobrazit vše ...
méně ...
×
Načítá se...