Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 64 Kč
Zásilkovna 44 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 64 Kč
Zásilkovna 44 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 299 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Formalized Probability Theory and Applications Using Theorem Proving
Jazyk
Angličtina
Angličtina
Kniha
Pevná
Discusses some of the limitations inherent in computer systems when applied to problems of probabili...
Celý popis
Libristo kód: 03180012
?
569 b
569 b
5 688
Kč
Skladem u dodavatele
Odesíláme za 15-20 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
/
Brožovaná
1 400
Kč
Discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving. It combines practical application with theoretical discussion.
Informace o knize
Plný název
Formalized Probability Theory and Applications Using Theorem Proving
Autor
SofiYne Tahar
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Pevná
Datum vydání
2015
Počet stran
300
EAN
9781466683150
ISBN
9781466683150
Libristo kód
03180012
Nakladatelství
Idea Group,U.S.
Váha
787
Rozměry
152 x 229 x 21
