Zobrazuji výsledky
1 - 9
z
9
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
učebnice středních škol
Oblast:
NOT
Československo
Doporučená témata:
NOT
konstrukce
AND
softwarové inženýrství
PSH:
NOT
algoritmizace
AND
matematická statistika
Signatura:
NOT
Z - Bibliografie, Knihovnictví, Informační zdroje
Jazyk:
NOT
španělština
Autor:
SpringerLink (online služba)
Zrušit filtry
Zobrazit filtry (9)
Žánr:
NOT
učebnice středních škol
Oblast:
NOT
Československo
Doporučená témata:
NOT
konstrukce
AND
softwarové inženýrství
PSH:
NOT
algoritmizace
AND
matematická statistika
Signatura:
NOT
Z - Bibliografie, Knihovnictví, Informační zdroje
Jazyk:
NOT
španělština
Autor:
SpringerLink (online služba)
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
9
matematická statistika
9
softwarové inženýrství
matematická logika
4
programovací jazyky
4
počítače
3
formální jazyky
2
více ...
počítačová simulace
1
programování
1
robotika
1
umělá inteligence
1
méně ...
Zobrazuji výsledky
1 - 9
z
9
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
Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems : international autumn school, ROCKS 2012, Vahrn, Italy, October...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Scalable uncertainty management : third international conference, SUM 2009, Washington, DC, USA, September 28-30, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer Performance Engineering : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Application and Theory of Petri Nets : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy,...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Analytical and Stochastic Modeling Techniques and Applications : 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Application and Theory of Petri Nets and Concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
CONCUR 2013 - concurrency theory : 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
CONCUR 2014 - concurrency theory : 25th international conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 : proceedings
Vydáno:
2014
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
9
NTK
Médium
9
E-kniha
Autor
SpringerLink (online služba)
1
Al-Begain, Khalid
1
Baldan, Paolo
1
Bernardo, Marco
1
Colom, José-Manuel
1
Desel, Jörg
více ...
1
D’Argenio, Pedro R.
1
Godo, Lluís
1
Gorla, Daniele
1
Haddad, Serge
1
Heindl, Armin
1
Horváth, András
1
Johnsen, Einar Broch
1
Melgratti, Hernán
1
Pomello, Lucia
1
Pugliese, Andrea
1
Remke, Anne
1
Stoelinga, Mariëlle
1
Telek, Miklós
1
Wolter, Katinka
Zobrazit vše ...
méně ...
Jazyk
9
angličtina
Žánr
9
elektronicke knihy
4
sborníky konferencí
Rok vydání
Od:
do:
PSH
9
informatika
matematická statistika
9
softwarové inženýrství
4
matematická logika
4
programovací jazyky
3
počítače
více ...
2
formální jazyky
1
počítačová simulace
1
programování
1
robotika
1
umělá inteligence
Zobrazit vše ...
méně ...
×
Načítá se...