Muller, Peter.
概要
| 作品: | 1 作品在 6 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Modular specification and verification of object-oriented programs
by:
Muller, Peter.; SpringerLink (Online service)
(書目-電子資源)
Advanced lectures on software engineeringLASER summer school 2007/2008 /
by:
Muller, Peter.; SpringerLink (Online service)
(書目-電子資源)
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)
(書目-電子資源)
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)
(書目-電子資源)
Nonparametric Bayesian inference in biostatistics
by:
Mitra, Riten.; Muller, Peter.; SpringerLink (Online service)
(書目-電子資源)
Principled software developmentessays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday /
by:
Muller, Peter.; Schaefer, Ina.; SpringerLink (Online service)
(書目-電子資源)
主題
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.