Peter Müller
- Auteur
Boeken van Peter Müller
Nils Lid Hjort
Chris Holmes
Peter Müller
Stephen Walker
Bayesian Nonparametrics
The theory provides highly flexible models whose complexity grows appropriately with the amount of data. Computational issues, though challenging, are no longer intractable.
Meer
Peter Müller
Fernando Andres Quintana
Alejandro Jara
Tim Hanson
Bayesian Nonparametric Data Analysis
Peter Müller
Advanced Lectures on Software Engineering
This tuturial offers selected papers from the LASER summer Schools 2007 and 2008, covering verification of fine-grain concurrency and transactions, the SCOOP model, the Spec# programming and verification system, multi-core chip design and much more.
Meer
Peter Müller
Modular Specification and Verification of Object-Oriented Programs
Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustrate how everyday life depends on the good behavior of software.
Meer