Zobrazuji výsledky
1 - 20
z
111
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
softwarové inženýrství
Oblast:
NOT
Ostrava (Česko)
NOT
Brno (Česko)
Doporučená témata:
umělá inteligence
Zrušit filtry
Zobrazit filtry (7)
PSH:
Filtry: 4
NOT
baroko
NOT
strojní součásti a spoje
AND
programovací jazyky
AND
softwarové inženýrství
Oblast:
NOT
Ostrava (Česko)
NOT
Brno (Česko)
Doporučená témata:
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í:
programovací jazyky
111
softwarové inženýrství
111
umělá inteligence
informatika
105
matematická logika
64
programování
51
počítače
38
více ...
robotika
32
formální jazyky
21
operační systémy
13
počítačová simulace
8
algoritmizace
6
podnikové informační systémy
5
agenti
4
software
3
hardware
2
logické programování
2
multiagentní systémy
2
počítačová architektura
2
programovací jazyk Java
2
vyhledávání informací
2
Petriho sítě
1
UML
1
architektura výpočetních systémů
1
computer science
1
databázové systémy
1
distribuované informační systémy
1
informační systémy
1
internet
1
jazykověda
1
méně ...
Zobrazuji výsledky
1 - 20
z
111
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:
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:
Computer science : an overview
Autor
Brookshear, J. Glenn
Vydáno:
2020
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:
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:
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:
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:
Declarative agent languages and technologies VII : 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 : revised selected and invited papers
Vydáno:
2010
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:
Data engineering and management : second international conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010 : revised selected papers
Vydáno:
2012
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:
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:
Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler construction : 17th international conference, CC 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, Ma...
Vydáno:
2008
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
111
NTK
Médium
107
E-kniha
4
Kniha
Signatura
4
Q - Věda
Autor
107
SpringerLink (online služba)
5
Dastani, Mehdi
5
Voronkov, Andrei, 1959-
4
Baldoni, Matteo
4
Torroni, Paolo
4
Winikoff, Michael
více ...
3
Bordini, Rafael H
3
Dix, Jürgen
3
Margaria, Tiziana
3
Riemsdijk, M. Birna van
3
Sardina, Sebastian
3
Son, Tran Cao
3
Steffen, Bernhard
3
Vasconcelos, Wamberto
2
Barthe, Gilles, 1967-
2
Endriss, Ulle
2
Fages, François
2
Fallah Seghrouchni, Amal El
2
Gleizes, Marie-Pierre
2
Hnich, Brahim
2
Kudenko, Daniel
2
König, Barbara
2
Leite, João, 1970-
2
Omicini, Andrea
2
Torre, Leon van der
1
Aalst, Wil van der, 1966-
1
Abdulla, Parosh Aziz
1
Abelló, Alberto
1
Ajmone Marsan, Marco, 1951-
1
Alonso, Eduardo
Zobrazit vše ...
méně ...
Jazyk
111
angličtina
Žánr
107
elektronicke knihy
41
sborníky konferencí
1
eseje
1
textbooks
1
učebnice
Rok vydání
Od:
do:
PSH
programovací jazyky
softwarové inženýrství
111
umělá inteligence
105
informatika
64
matematická logika
51
programování
více ...
38
počítače
32
robotika
21
formální jazyky
13
operační systémy
8
počítačová simulace
6
algoritmizace
5
podnikové informační systémy
4
agenti
3
software
2
hardware
2
logické programování
2
programovací jazyk Java
2
vyhledávání informací
1
Petriho sítě
1
UML
1
architektura výpočetních systémů
1
databázové systémy
1
informační systémy
1
internet
1
jazykověda
1
numerická analýza
1
objektově orientované programování
1
počítačová bezpečnost
1
počítačová grafika
Zobrazit vše ...
méně ...
×
Načítá se...