Zobrazuji výsledky
1 - 6
z
6
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
čeština
PSH:
NOT
programování
NOT
aplikační programy
Doporučená témata:
softwarové inženýrství
Autor:
Bernardo, Marco, 1970-
Zrušit filtry
Zobrazit filtry (5)
Jazyk:
NOT
čeština
PSH:
NOT
programování
NOT
aplikační programy
Doporučená témata:
softwarové inženýrství
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í
informatika
5
počítače
3
programovací jazyky
3
stochastické procesy
2
bioinformatika
1
databázové systémy
1
více ...
méně ...
Zobrazuji výsledky
1 - 6
z
6
pro vyhledávání '
"software"
'
, doba hledání: 0,06 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Formal methods for executable
software
models : 14th International school on formal methods...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-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...
Plný text
E-kniha
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:
Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and
Software
Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 : advanced...
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and
software
systems, SFM 2010, Bertinoro, Italy...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer performance engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010 : proceedings
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
6
NTK
Médium
5
E-kniha
1
Kniha
Signatura
1
Q - Věda
Autor
Bernardo, Marco, 1970-
5
SpringerLink (online služba)
2
Aldini, Alessandro
2
Pierro, Alessandra Di
2
Wiklicky, Herbert, 1963-
1
Bononi, Luciano
více ...
1
Cimatti, Alessandro
1
Cortellessa, Vittorio
1
Damiani, Ferruccio
1
Hillston, J. (Jane), 1963-
1
Hähnle, Reiner, 1962-
1
Johnsen, Einar Broch
1
Schaefer, Ina
1
Vink, Erik de
Zobrazit vše ...
méně ...
Jazyk
6
angličtina
Žánr
6
sborníky konferencí
5
elektronicke knihy
Rok vydání
Od:
do:
PSH
6
softwarové inženýrství
5
informatika
3
počítače
3
programovací jazyky
2
stochastické procesy
1
bioinformatika
více ...
1
databázové systémy
Zobrazit vše ...
méně ...
×
Načítá se...