Zobrazuji výsledky
1 - 20
z
70
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
PSH:
Filtry: 4
NOT
baroko
NOT
strojní součásti a spoje
AND
programovací jazyky
AND
počítače
Oblast:
NOT
Ostrava (Česko)
NOT
Brno (Česko)
Doporučená témata:
umělá inteligence
Autor:
NOT
Son, Tran Cao
Zrušit filtry
Zobrazit filtry (8)
PSH:
Filtry: 4
NOT
baroko
NOT
strojní součásti a spoje
AND
programovací jazyky
AND
počítače
Oblast:
NOT
Ostrava (Česko)
NOT
Brno (Česko)
Doporučená témata:
umělá inteligence
Autor:
NOT
Son, Tran Cao
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í:
počítače
70
programovací jazyky
70
umělá inteligence
informatika
68
robotika
47
matematická logika
46
programování
38
více ...
softwarové inženýrství
37
formální jazyky
34
algoritmizace
16
operační systémy
10
agenti
5
multiagentní systémy
5
vyhledávání v datech
5
počítačová simulace
3
software
3
systémy řízení báze dat
3
diskrétní matematika
2
hardware
2
numerická analýza
2
podnikové informační systémy
2
počítačová architektura
2
počítačová lingvistika
2
programovací jazyk Java
2
vyhledávání informací
2
Petriho sítě
1
UML
1
XML
1
architektura výpočetních systémů
1
bioinformatika
1
méně ...
Zobrazuji výsledky
1 - 20
z
70
pro vyhledávání '
'
, doba hledání: 0,06 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Modeling and using context : Second international and interdisciplinary conference, CONTEXT '99, Trento, Italy, September 9-11, 1999. Proceedings
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer science : an overview
Autor
Brookshear, J. Glenn
Vydáno:
2020
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Advances in natural language processing : 6th international conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-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:
Leveraging applications of formal methods, verification and validation : technologies for mastering change : 6th international symposium, ISoLA 2014, Imperial, Corfu, Greece, Octob...
Vydáno:
2014
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:
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:
Certified programs and proofs : third international conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 : proceedings
Vydáno:
2013
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 language engineering : 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer science logic : 21st international workshop, CSL 2007, 16th Annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Declarative agent languages and technologies II : second international workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers
Vydáno:
2005
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:
1
2
3
4
Další »
[4]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
70
NTK
Médium
68
E-kniha
2
Kniha
Signatura
2
Q - Věda
Autor
68
SpringerLink (online služba)
3
Margaria, Tiziana
3
Steffen, Bernhard
2
Fages, François
2
Leite, João, 1970-
2
Löwe, Benedikt
více ...
2
Rossi, Francesca, 1962-
2
Sardina, Sebastian
2
Torroni, Paolo
2
Vasconcelos, Wamberto
1
Aalst, Wil van der, 1966-
1
Abdulla, Parosh Aziz
1
Ajmone Marsan, Marco, 1951-
1
Archibald, Margaret
1
Bacardit, Jaume
1
Bartenstein, Oskar
1
Barthe, Gilles, 1967-
1
Berardi, Stefano
1
Bernadó-Mansilla, Ester
1
Biere, Armin, 1967-
1
Birkedal, Lars
1
Blume, Matthias
1
Boella, Guido
1
Boissier, Olivier, 1963-
1
Bordini, Rafael H.
1
Bosch, Peter
1
Bouquet, Paolo
1
Bramer, M. A. (Max A.), 1948-
1
Brattka, Vasco
1
Brookshear, J. Glenn
Zobrazit vše ...
méně ...
Jazyk
70
angličtina
Žánr
68
elektronicke knihy
47
sborníky konferencí
1
eseje
1
monografie
1
textbooks
1
učebnice
Rok vydání
Od:
do:
PSH
počítače
programovací jazyky
70
umělá inteligence
68
informatika
47
robotika
46
matematická logika
více ...
38
programování
37
softwarové inženýrství
34
formální jazyky
16
algoritmizace
10
operační systémy
5
agenti
5
vyhledávání v datech
3
počítačová simulace
3
software
3
systémy řízení báze dat
2
hardware
2
numerická analýza
2
podnikové informační systémy
2
programovací jazyk Java
2
vyhledávání informací
1
Petriho sítě
1
UML
1
XML
1
architektura výpočetních systémů
1
bioinformatika
1
databázové systémy
1
internet
1
matematická lingvistika
1
objektově orientované programování
Zobrazit vše ...
méně ...
×
Načítá se...