Zobrazuji výsledky
1 - 20
z
88
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
Jazyk:
angličtina
Doporučená témata:
NOT
architektura
AND
programování
AND
umělá inteligence
Oblast:
NOT
Čína
Autor:
NOT
Huang, De-Shuang
PSH:
programovací jazyky
Zrušit filtry
Zobrazit filtry (7)
Jazyk:
angličtina
Doporučená témata:
NOT
architektura
AND
programování
AND
umělá inteligence
Oblast:
NOT
Čína
Autor:
NOT
Huang, De-Shuang
PSH:
programovací jazyky
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
88
programování
umělá inteligence
informatika
83
matematická logika
57
softwarové inženýrství
51
počítače
37
více ...
robotika
32
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
diskrétní matematika
2
numerická analýza
2
počítačová architektura
2
strojová lingvistika
2
systémy řízení báze dat
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
distribuované informační systémy
1
jazykověda
1
mobilní roboty
1
objektově orientované programování
1
méně ...
Zobrazuji výsledky
1 - 20
z
88
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
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:
Software engineering : international summer schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures
Vydáno:
2015
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:
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
88
NTK
Médium
84
E-kniha
4
Kniha
Signatura
3
Q - Věda
1
T - Technologie
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
Bräunl, Thomas, 1962-
1
Butz, Martin V
1
Chemello, Gaetano
Zobrazit vše ...
méně ...
Jazyk
angličtina
Žánr
84
elektronicke knihy
36
sborníky konferencí
1
eseje
1
monografie
1
učebnice
Rok vydání
Od:
do:
PSH
programovací jazyky
88
programování
88
umělá inteligence
83
informatika
57
matematická logika
51
softwarové inženýrství
více ...
37
počítače
32
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
2
numerická analýza
2
strojová lingvistika
2
systémy řízení báze dat
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
podnikové informační systémy
1
počítačová bezpečnost
1
počítačová grafika
1
rozhraní
1
rozpoznávání obrazců
Zobrazit vše ...
méně ...
×
Načítá se...