Zobrazuji výsledky
1 - 18
z
18
pro vyhledávání '
"software"
'
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:
umělá inteligence
Doporučená témata:
operační systémy
Zrušit filtry
Zobrazit filtry (2)
PSH:
umělá inteligence
Doporučená témata:
operační systémy
Hlavní strana
Vyhledávání: "software"
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
informatika
18
operační systémy
softwarové inženýrství
18
umělá inteligence
18
programování
11
robotika
9
programovací jazyky
6
více ...
počítače
5
formální jazyky
4
algoritmizace
3
interakce člověk-počítač
3
matematická logika
3
informační systémy
2
internet
2
multiagentní systémy
2
uživatelská rozhraní
2
UML
1
agenti
1
aplikační programy
1
architektura výpočetních systémů
1
diskrétní matematika
1
počítačová architektura
1
počítačová simulace
1
programovací jazyk Java
1
software
1
vizualizace
1
vyhledávání informací
1
méně ...
Zobrazuji výsledky
1 - 18
z
18
pro vyhledávání '
"software"
'
, doba hledání: 0,08 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Software
engineering for self-adaptive systems
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Agent-oriented
software
engineering V : 5th international workshop, AOSE 2004, New York, NY, USA, July 19, 2004 : rrevised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Verified
Software
: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Agent-oriented
software
engineering VI : 6th international workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005 : revised and invited papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
engineering for multi-agent systems IV : research issues and practical applications
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
engineering for multi-agent systems V : research issues and practical applications
Vydáno:
2007
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, March 30-31, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Multiagent system technologies : 6th German conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008 : proceedings
Vydáno:
2008
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 : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, Octob...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 1...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Engineering Self-Organising Systems : 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Organized Adaption in Multi-Agent Systems : First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Engineering Self-Organising Systems : Methodologies and Applications
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Engineering Self-Organising Systems : Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic-based program synthesis and transformation : 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers
Vydáno:
2015
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:
Future generation information technology : second international conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Agent-oriented information systems IV : 8th international bi-conference workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006 : revised selecte...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
18
NTK
Médium
18
E-kniha
Autor
18
SpringerLink (online služba)
3
Garcia, Alessandro, 1976-
2
Brueckner, Sven A
2
Choren, Ricardo
2
Giorgini, Paolo
2
Lucena, Carlos J. P. de, 1943-
více ...
2
Margaria, Tiziana
2
Müller, Jörg P., 1965-
2
Romanovsky, Alexander, 1954-
2
Steffen, Bernhard
2
Zambonelli, Franco, 1966-
1
Artikis, Alexander
1
Bergmann, Ralph, 1965-
1
Bresciani, Paolo
1
Brueckner, Sven A.
1
Cheng, Betty H. C.
1
Di Marzo Serugendo, Giovanna
1
Falaschi, Moreno
1
Ghose, Aditya K.
1
Giese, Holger
1
Giese, Holger, 1970-
1
Hales, David
1
Hassas, Salima
1
Henderson-Sellers, Brian, 1951-
1
Holvoet, Tom
1
Honsell, Furio
1
Inverardi, Paola
1
Jelasity, Márk
1
Kang, Byeong-Ho
1
Karageorgos, Anthony
Zobrazit vše ...
méně ...
Jazyk
18
angličtina
Žánr
18
elektronicke knihy
9
sborníky konferencí
1
monografie
Rok vydání
Od:
do:
PSH
18
informatika
18
operační systémy
18
softwarové inženýrství
umělá inteligence
11
programování
9
robotika
více ...
6
programovací jazyky
5
počítače
4
formální jazyky
3
algoritmizace
3
interakce člověk-počítač
3
matematická logika
2
informační systémy
2
internet
1
UML
1
agenti
1
aplikační programy
1
architektura výpočetních systémů
1
počítačová simulace
1
programovací jazyk Java
1
software
1
vizualizace
1
vyhledávání informací
Zobrazit vše ...
méně ...
×
Načítá se...