Zobrazuji výsledky
1 - 13
z
13
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
encyklopedie
NOT
abstrakta
Oblast:
NOT
Rakousko-Uhersko
Autor:
NOT
Vacek, Zdeněk, 1976-
Doporučená témata:
programovací jazyky
PSH:
umělá inteligence
AND
operační systémy
Zrušit filtry
Zobrazit filtry (7)
Žánr:
NOT
encyklopedie
NOT
abstrakta
Oblast:
NOT
Rakousko-Uhersko
Autor:
NOT
Vacek, Zdeněk, 1976-
Doporučená témata:
programovací jazyky
PSH:
umělá inteligence
AND
operační systémy
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í:
operační systémy
13
programovací jazyky
softwarové inženýrství
13
umělá inteligence
13
informatika
12
počítače
10
programování
7
více ...
robotika
7
matematická logika
4
algoritmizace
3
formální jazyky
3
agenti
1
computer science
1
databázové systémy
1
informační systémy
1
internet
1
multiagentní systémy
1
numerická analýza
1
paměťová média
1
počítačová grafika
1
počítačová simulace
1
počítačová věda
1
programovací jazyk Java
1
vizualizace
1
vyhledávání informací
1
výpočetní technika
1
méně ...
Zobrazuji výsledky
1 - 13
z
13
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
Computer science : an overview
Autor
Brookshear, J. Glenn
Vydáno:
2020
Umístění:
Načítá se...
Kniha
Načítá se...
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:
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:
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:
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:
Recent advances in constraints : 13th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2008, Rome, Italy, June 18-20, 2008 : revise...
Vydáno:
2009
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:
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Advances in conceptual modeling - applications and challenges : ER 2010 workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010 : proce...
Vydáno:
2010
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:
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:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
13
NTK
Médium
12
E-kniha
1
Kniha
Signatura
1
Q - Věda
Autor
12
SpringerLink (online služba)
2
Margaria, Tiziana
2
Steffen, Bernhard
1
Boissier, Olivier, 1963-
1
Bordini, Rafael H.
1
Brookshear, J. Glenn
více ...
1
Brylow, Dennis
1
Cheng, Betty H. C.
1
Dennis, Louise
1
Dobbie, Gillian
1
Etalle, Sandro
1
Fages, François
1
Frasincar, Flavius
1
Gabbrielli, Maurizio
1
Giese, Holger, 1970-
1
Gupta, Gopal, 1963-
1
Hartmann, Sven
1
Honsell, Furio
1
Inverardi, Paola
1
Kangassalo, Hannu
1
Kirchberg, Markus
1
Leite, João, 1970-
1
Lemos, Rogério de, 1961-
1
Magee, Jeff
1
Meyer, Bertrand
1
Miculan, Marino
1
Mycroft, Alan
1
Oddi, Angelo
1
Omicini, Andrea, 1965-
1
Reinhartz-Berger, Iris
Zobrazit vše ...
méně ...
Jazyk
13
angličtina
Žánr
12
elektronicke knihy
8
sborníky konferencí
1
textbooks
1
učebnice
Rok vydání
Od:
do:
PSH
operační systémy
13
programovací jazyky
13
softwarové inženýrství
umělá inteligence
12
informatika
10
počítače
více ...
7
programování
7
robotika
4
matematická logika
3
algoritmizace
3
formální jazyky
1
agenti
1
databázové systémy
1
informační systémy
1
internet
1
numerická analýza
1
počítačová grafika
1
počítačová simulace
1
programovací jazyk Java
1
vizualizace
1
vyhledávání informací
1
výpočetní technika
Zobrazit vše ...
méně ...
×
Načítá se...