Languages
Muller, Peter.
Overview
| Works: | 1 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Modular specification and verification of object-oriented programs
by:
SpringerLink (Online service); Muller, Peter.
(Language materials, printed)
Nonparametric Bayesian inference in biostatistics
by:
Mitra, Riten.; Muller, Peter.; SpringerLink (Online service)
(Electronic resources)
Bayesian nonparametric data analysis
by:
SpringerLink (Online service); Muller, Peter.
(Language materials, printed)
Programming languages and systems = 29th 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:
Muller, Peter.; SpringerLink (Online service); ETAPS (Conference) (2020 :); European Symposium on Programming (2020 :)
(Electronic resources)
Handbook of dynamics and probability
by:
Muller, Peter.; SpringerLink (Online service)
(Electronic resources)
Verified software = theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings /
by:
Joshi, Rajeev.; Muller, Peter.; Podelski, Andreas.; SpringerLink (Online service)
(Electronic resources)
Advanced lectures on software engineering = LASER summer school 2007/2008 /
by:
Muller, Peter.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Modular programming.
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.
Software engineering- Congresses.
Management of Computing and Information Systems.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Statistical Theory and Methods.
Control Structures and Microprogramming.
Computer simulation.
Mathematics of Planet Earth.
Computer software- Development.
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.
Computer software- Verification
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.