語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

語系

英文 (5)

跳至 : 概要 | 書目資訊 | 主題

Muller, Peter.

概要

作品:	1 作品在 5 項出版品 1 種語言

書目資訊

Modular specification and verification of object-oriented programs by: SpringerLink (Online service); Muller, Peter. (書目-語言資料,印刷品)

Nonparametric Bayesian inference in biostatistics by: Muller, Peter.; SpringerLink (Online service); Mitra, Riten. (書目-電子資源)

Bayesian nonparametric data analysis by: SpringerLink (Online service); Muller, Peter. (書目-語言資料,印刷品)

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 :) (書目-電子資源)

Handbook of dynamics and probability by: Muller, Peter.; SpringerLink (Online service) (書目-電子資源)

The Equations of Oceanic Motions. by: Muller, Peter.; Ebooks Corporation. (書目-電子資源)

Verified software = theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings / by: Joshi, Rajeev.; Muller, Peter.; SpringerLink (Online service); Podelski, Andreas. (書目-電子資源)

Advanced lectures on software engineering = LASER summer school 2007/2008 / by: Muller, Peter.; SpringerLink (Online service) (書目-語言資料,印刷品)

主題

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.

變更密碼

登入