wyszukanych pozycji: 2
![]() |
Logic in Computer Science: Modelling and Reasoning about Systems
ISBN: 9780521543101 / Angielski / Miękka / 2004 / 440 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer ...
|
cena:
374,14 |
![]() |
Essentials of Statistical Inference
ISBN: 9780521839716 / Angielski / Twarda / 2005 / 236 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This textbook presents the concepts and results underlying the Bayesian, frequentist, and Fisherian approaches to statistical inference, with particular emphasis on the contrasts between them. Aimed at advanced undergraduates and graduate students in mathematics and related disciplines, it covers basic mathematical theory as well as more advanced material, including such contemporary topics as Bayesian computation, higher-order likelihood theory, predictive inference, bootstrap methods, and conditional inference.
This textbook presents the concepts and results underlying the Bayesian, frequentist, and Fisherian approaches to statistical inference, with particul...
|
cena:
386,78 |