Languages
Muller, Peter.
Overview
| Works: | 2 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Verified software = theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Muller, Peter.; Podelski, Andreas.; Joshi, Rajeev.; SpringerLink (Online service)
(Language materials, printed)
Nonparametric Bayesian inference in biostatistics
by:
Mitra, Riten.; SpringerLink (Online service); Muller, Peter.
(Language materials, printed)
Principled software development = essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday /
by:
Muller, Peter.; Schaefer, Ina.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Artificial Intelligence (incl. Robotics)
Biometry.
Bayesian statistical decision theory.
Statistics for Life Sciences, Medicine, Health Sciences.
Biostatistics.
Statistics.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Nonparametric statistics.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer software
Statistical Theory and Methods.