|
1.
|
Frontiers of Statistical Decision Making and Bayesian Analysis [electronic resource] : In Honor of James O. Berger / edited by Ming-Hui Chen, Peter Müller, Dongchu Sun, Keying Ye, Dipak K. Dey. by Chen, Ming-Hui [editor.] | Müller, Peter [editor.] | Sun, Dongchu [editor.] | Ye, Keying [editor.] | Dey, Dipak K [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
2.
|
|
|
3.
|
|
|
4.
|
Progress in Differential-Algebraic Equations [electronic resource] : Deskriptor 2013 / edited by Sebastian Schöps, Andreas Bartel, Michael Günther, E. Jan W. ter Maten, Peter C Müller. by Schöps, Sebastian [editor.] | Bartel, Andreas [editor.] | Günther, Michael [editor.] | ter Maten, E. Jan W [editor.] | Müller, Peter C [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
5.
|
|
|
6.
|
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 VSTTE (Conference) (4th : 2012 : Philadelphia, Pa.) | Joshi, Rajeev | Müller, Peter, 1972- | Podelski, Andreas. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2012Other title: VSTTE 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
7.
|
Algorithms and architectures for parallel processing : 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings / edited by Jesus Carretero, Javier Garcia-Blas, Ryan K.L. Ko, Peter Mueller, Koji Nakano. by International Conference on Algorithms and Architectures for Parallel Processing (16th : 2016 : Granada, Spain) | Carretero, Jesus [editor.] | Garcia-Blas, Javier [editor.] | Ko, Ryan [editor.] | Mueller, Peter [editor.] | Nakano, Koji [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2016Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
8.
|
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 European Symposium on Programming (29th : 2020 : Dublin, Ireland) | Müller, Peter [editor.] | ETAPS (Conference) (23rd : 2020 : Dublin, Ireland). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2020Other title: ESOP 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
9.
|
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 Guralnick, Robert M, 1950- | Müller, Peter, 1966- | Saxl, J. (Jan), 1948-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Providence, R.I. : American Mathematical Society, 2003Online access: Contents Availability: Items available for loan: e-Library (1). Location(s): .
|
|
10.
|
Programming Languages and Systems [electronic resource] : 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 / edited by Peter Müller. by Müller, Peter [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
11.
|
|