語系
Muller, Peter.
概要
| 作品: | 2 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-語言資料,印刷品)
Nonparametric Bayesian inference in biostatistics
by:
Mitra, Riten.; SpringerLink (Online service); Muller, Peter.
(書目-語言資料,印刷品)
Principled software development = essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday /
by:
Muller, Peter.; Schaefer, Ina.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Bayesian statistical decision theory.
Statistics for Life Sciences, Medicine, Health Sciences.
Computer Science.
Programming Techniques.
Nonparametric statistics.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Biometry.
Biostatistics.
Statistics.
Programming Languages, Compilers, Interpreters.
Computer software
Statistical Theory and Methods.