Muller, Peter.
Overview
| Works: | 1 works in 6 publications in 1 languages | |
|---|---|---|
Titles
Modular specification and verification of object-oriented programs
by:
Muller, Peter.; SpringerLink (Online service)
(Electronic resources)
Advanced lectures on software engineeringLASER summer school 2007/2008 /
by:
Muller, Peter.; SpringerLink (Online service)
(Electronic resources)
Verified softwaretheories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings /
by:
(1998 :); Joshi, Rajeev.; Muller, Peter.; Podelski, Andreas.; SpringerLink (Online service)
(Electronic resources)
Handbook of dynamics and probability
by:
Muller, Peter.; SpringerLink (Online service)
(Electronic resources)
Programming languages and systems29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings /
by:
(1998 :); Muller, Peter.; SpringerLink (Online service)
(Electronic resources)
Nonparametric Bayesian inference in biostatistics
by:
Mitra, Riten.; Muller, Peter.; SpringerLink (Online service)
(Electronic resources)
Principled software developmentessays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday /
by:
Muller, Peter.; Schaefer, Ina.; SpringerLink (Online service)
(Electronic resources)
Bayesian nonparametric data analysis
by:
Muller, Peter.; SpringerLink (Online service)
(Electronic resources)
Subjects
Modular programming.
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Natural Language Processing (NLP)
Theory of Computation.
Science, multidisciplinary.
Logics and Meanings of Programs.
Information Systems and Communication Service.
Climate, general.
Statistics, general.
Computer software
Programming Techniques.
Management of Computing and Information Systems.
Artificial Intelligence (incl. Robotics)
Statistical Theory and Methods.
Control Structures and Microprogramming.
Computer simulation.
Mathematics of Planet Earth.
Programming Languages, Compilers, Interpreters.
Statistics for Life Sciences, Medicine, Health Sciences.
Computer programming
Programming languages (Electronic computers)
Dynamics
Oceanography.
Probabilities
Mathematics, general.
Computer Science.
Computer Communication Networks.
Bayesian statistical decision theory.
Statistics.
Statistics and Computing/Statistics Programs.
Biometry.
Nonparametric statistics.
Computer Systems Organization and Communication Networks.
Object-oriented programming (Computer science)
Biostatistics.
Earth Sciences, general.