Your search returned 13 results.

Not what you expected? Check for suggestions
Sort
Results
1.
2.
Bayesian Nonparametric Data Analysis [electronic resource] / by Peter Müller, Fernando Andres Quintana, Alejandro Jara, Tim Hanson. by Series: Springer Series in Statistics
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
3.
Nonparametric Bayesian Inference in Biostatistics [electronic resource] / edited by Riten Mitra, Peter Müller. by Series: Frontiers in Probability and the Statistical Sciences
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
4.
5.
The rational function analogue of a question of Schur and exceptionality of permutation representations / [electronic resource] Robert M. Guralnick, Peter Müller, Jan Saxl. by Series: Memoirs of the American Mathematical Society ; v. 773
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Providence, R.I. : American Mathematical Society, 2003
Online resources:
Availability: Items available for loan: e-Library (1).
6.
Computational Bayesian statistics : an introduction / M. Antónia Amaral Turkman, Carlos Daniel Paulino, Peter Müller. by Series: Institute of Mathematical Statistics textbooks ; 11
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2019Copyright date: ©2019
Availability: Items available for loan: Library (1)Call number: 519-2019.
7.
Advanced lectures on software engineering : LASER summer school 2007/2008 / Peter Müller (ed.). by Series: Lecture notes in computer science ; 6029. | Lecture notes in computer science. Tutorial. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
8.
Modular Specification and Verification of Object-Oriented Programs / edited by Peter Müller. by Series: Lecture notes in computer science ; 2262,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2002
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
9.
Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings / Rajeev Joshi, Peter Müller, Andreas Podelski (eds.). by Series: Lecture notes in computer science ; 7152. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2012
Other title:
  • VSTTE 2012
Online resources:
Availability: Items available for loan: e-Library (1).
10.
11.
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 / Peter Müller (ed.). by Series: Lecture notes in computer science ; 12075. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2020
Other title:
  • ESOP 2020
Online resources:
Availability: Items available for loan: e-Library (1).
12.
Engineering secure and dependable software systems / edited by Alexander Pretschner, Peter Müller, Patrick Stöckle. by Series: NATO science for peace and security series. Sub-series D, Information and communication security ; ; v. 53.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Amsterdam, Netherlands : IOS Press, 2019
Online resources:
Availability: Items available for loan: e-Library (1).
13.
The equations of oceanic motions / Peter Müller. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge, UK ; New York : Cambridge University Press, 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha