Přeskočit na obsah
Váš účet
Odhlásit
Přihlášení
English
Informace o aktuálním provozu knihoven sledujte na jejich
stránkách
.
Vše
Název
Autor
Téma
ISBN/ISSN
Signatura
Čárový kód
Systémové číslo
Hledat
Pokročilé vyhledávání
Pokročilé vyhledávání
Filtr e-prezenčka
Code and design safety of prob...
Popis
Citace.com
×
Citace.com
Poslat emailem
Exportovat záznam
Exportovat do RefWorks
Exportovat do EndNoteWeb
Exportovat do EndNote
Exportovat do MARC
Exportovat do MARCXML
Exportovat do RDF
Exportovat do BibTeX
Exportovat do RIS
Do oblíbených
Code and design safety of probabilistic systems /
Uloženo v:
Podrobná bibliografie
Hlavní autor:
Novotný, Petr, 1986-
(Autor práce)
Typ dokumentu:
VŠ práce nebo rukopis
Jazyk:
Angličtina
Vydáno:
2022
Témata:
výpočetní technika
pravděpodobnostní metody
probabilistic methods
information technology
habilitační práce
habilitation theses
Jednotky
Popis
MARC21
Popis
Fyzický popis:
viii, 257 stran, 19 stran : ilustrace
Podobné jednotky
Modern probabilistic verification /
Autor: Křetínský, Jan, 1984-
Vydáno: (2018)
Abstraction, refinement and proof for probabilistic systems /
Autor: McIver, Annabelle, 1964-, a další
Vydáno: (2005)
Practical probabilistic programming /
Autor: Pfeffer, Avi
Vydáno: (2016)
Stochastic real-time systems : parameter synthesis and games /
Autor: Řehák, Vojtěch, 1979-
Vydáno: (2018)
The probabilistic method /
Autor: Alon, Noga, 1956-, a další
Vydáno: (2008)
×
Načítá se...