Results
|
81.
|
|
|
82.
|
|
|
83.
|
|
|
84.
|
|
|
85.
|
|
|
86.
|
Runtime Verification [electronic resource] : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers / edited by Shaz Qadeer, Serdar Tasiran. by
- Qadeer, Shaz [editor.]
- Tasiran, Serdar [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7687
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
87.
|
|
|
88.
|
Statistical hypothesis testing with SAS and R / Dirk Taeger, Institute for Prevention and Occupational Medicine of the German Social Accident Insurance, Institute of the Ruhr-Universität Bochum (IPA), Bochum, Germany, Sonja Kuhnt, Department of Computer Science, Dortmund Univeristy of Applied Sciences and Arts, Dortmund, Germany. by
- Taeger, Dirk [author.]
- Kuhnt, Sonja [author.]
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Chichester, West Sussex : Wiley, 2014
Availability: No items available.
|
|
89.
|
|
|
90.
|
|
|
91.
|
|
|
92.
|
|
|
93.
|
|
|
94.
|
|
|
95.
|
|
|
96.
|
|
|
97.
|
|
|
98.
|
Topics in Mathematical Fluid Mechanics [electronic resource] : Cetraro, Italy 2010, Editors: Hugo Beirão da Veiga, Franco Flandoli / by Peter Constantin, Arnaud Debussche, Giovanni P. Galdi, Michael Růžička, Gregory Seregin. by
- Constantin, Peter [author.]
- Debussche, Arnaud [author.]
- Galdi, Giovanni P [author.]
- Růžička, Michael [author.]
- Seregin, Gregory [author.]
- SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 2073
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
99.
|
|
|
100.
|
|