Results
|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
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; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2012
Availability: Items available for loan: e-Library (1).
|
|
|
10.
|
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 Series: Lecture notes in computer science ; 10048.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
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; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2020
Availability: Items available for loan: e-Library (1).
|
|
|
12.
|
|
|
|
13.
|
The equations of oceanic motions / Peter Müller. by
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Cambridge, UK ; New York : Cambridge University Press, 2006
Availability: Items available for loan: e-Library (1).
|