Zobrazuji výsledky
1 - 5
z
5
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
Jazyk:
NOT
italština
Žánr:
NOT
elektronické zdroje
Médium:
Kniha
Autor:
Bernardo, Marco, 1970-
Zrušit filtry
Zobrazit filtry (4)
Jazyk:
NOT
italština
Žánr:
NOT
elektronické zdroje
Médium:
Kniha
Autor:
Bernardo, Marco, 1970-
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í:
softwarové inženýrství
2
automaty
1
databázové systémy
1
hardware
1
informatika
1
numerická analýza
1
počítačové sítě
1
více ...
programování
1
stochastické procesy
1
verifikace programu
1
zpracování dat
1
řízení v reálném čase
1
méně ...
Zobrazuji výsledky
1 - 5
z
5
pro vyhledávání '
"software"
'
, doba hledání: 0,05 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Formal methods for
software
architectures : third International School on Formal Methods...
Vydáno:
2003
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and
Software
Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18...
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and
Software
Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and
Software
Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006...
Vydáno:
2006
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication, and
Software
Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
5
NTK
Médium
Kniha
Signatura
5
Q - Věda
Autor
Bernardo, Marco, 1970-
1
Bogliolo, Alessandro, 1968-
1
Cimatti, Alessandro
1
Corradini, Flavio, 1966-
1
Hillston, J. (Jane), 1963-
1
Inverardi, Paola
Jazyk
5
angličtina
Žánr
4
sborníky konferencí
Rok vydání
Od:
do:
PSH
2
softwarové inženýrství
1
automaty
1
databázové systémy
1
hardware
1
informatika
1
numerická analýza
více ...
1
počítačové sítě
1
programování
1
stochastické procesy
1
verifikace programu
1
zpracování dat
1
řízení v reálném čase
Zobrazit vše ...
méně ...
×
Načítá se...