Zobrazuji výsledky
1 - 11
z
11
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
PSH:
programovací jazyky
AND
informační systémy
Autor:
Filtry: 4
NOT
Dastani, Mehdi
NOT
Peña, Ricardo
NOT
Kordon, Fabrice
NOT
Bonsangue, Marcello M
Médium:
E-kniha
Zrušit filtry
Zobrazit filtry (8)
Žánr:
NOT
encyklopedie
PSH:
programovací jazyky
AND
informační systémy
Autor:
Filtry: 4
NOT
Dastani, Mehdi
NOT
Peña, Ricardo
NOT
Kordon, Fabrice
NOT
Bonsangue, Marcello M
Médium:
E-kniha
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í:
informatika
11
informační systémy
11
programovací jazyky
11
softwarové inženýrství
10
internet
8
operační systémy
5
počítače
5
více ...
programování
5
vyhledávání informací
4
systémy řízení báze dat
3
algoritmizace
2
formální jazyky
2
kryptografie
2
matematická logika
2
teorie informace
2
vyhledávání v datech
2
XML
1
architektura výpočetních systémů
1
cloud computing
1
distribuované informační systémy
1
informační paměť
1
počítačová architektura
1
počítačová grafika
1
umělá inteligence
1
vestavěné systémy
1
webové služby
1
méně ...
Zobrazuji výsledky
1 - 11
z
11
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
Leveraging applications of formal methods, verification, and validation : 4th International symposium on leveraging applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-2...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal aspects of component software : 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Database and XML technologies : third International XML database symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods for eternal networked software systems : 11th International school on formal methods for the design of computer, communication and software systems, SFM 2011, Bertin...
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Middleware 2005 : ACM/IFIP/USENIX 6th International middleware conference, Grenoble, France, November 28 - December 2, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
System analysis and modeling: about models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Parallel and distributed processing and applications : 4th international symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Objects and databases : third international conference, ICOODB 2010, Frankfurt/Main, Germany, September 28-30, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Database programming languages : 11th international symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007 : revised selected papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Middleware 2007 : ACM/IFIP/USENIX 8th International middleware conference, Newport Beach, CA, USA, November 26-30, 2007 : proceedings
Vydáno:
2007
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:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
11
NTK
Médium
E-kniha
Autor
11
SpringerLink (online služba)
1
Alonso, Gustavo, 1965-
1
Arbab, F. (Farhad)
1
Arenas, Marcelo
1
Bellahsene, Zohra, 1954-
1
Bernardo, Marco, 1970-
více ...
1
Bressan, Stéphane, 1965-
1
Campbell, Roy Harold
1
Ceri, Stefano, 1955-
1
Cerqueira, Renato
1
Dearle, Alan, 1959-
1
Di Martino, Beniamino
1
Dobbie, Gillian
1
Dongarra, Jack, 1950-
1
Frasincar, Flavius
1
Guo, Minyi
1
Hartmann, Sven
1
Herrmann, Peter
1
Issarny, Valérie
1
Ives, Zachary G., 1974-
1
Kangassalo, Hannu
1
Kirchberg, Markus
1
Kraemer, Frank Alexander, 1977-
1
Margaria-Steffen, Tiziana, 1964-
1
Pustulka-Hunt, Ela
1
Reinhartz-Berger, Iris
1
Rossi, Matti
1
Rys, Michael
1
Schwartzbach, Michael I., 1961-
1
Steffen, Bernhard, 1958-
Zobrazit vše ...
méně ...
Jazyk
11
angličtina
Žánr
11
elektronicke knihy
10
sborníky konferencí
Rok vydání
Od:
do:
PSH
11
informatika
informační systémy
programovací jazyky
10
softwarové inženýrství
8
internet
5
operační systémy
více ...
5
počítače
5
programování
4
vyhledávání informací
3
systémy řízení báze dat
2
algoritmizace
2
formální jazyky
2
kryptografie
2
matematická logika
2
teorie informace
2
vyhledávání v datech
1
XML
1
architektura výpočetních systémů
1
cloud computing
1
počítačová grafika
1
umělá inteligence
1
vestavěné systémy
1
webové služby
Zobrazit vše ...
méně ...
×
Načítá se...