|
|
161.
|
Design and Construction of Tunnels [electronic resource] : Analysis of controlled deformation in rocks and soils (ADECO-RS) / by Pietro Lunardi.
by Lunardi, Pietro | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
162.
|
Computer Science Logic [electronic resource] : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings / edited by Jacques Duparc, Thomas A. Henzinger.
by Duparc, Jacques | Henzinger, Thomas A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
163.
|
Field Arithmetic [electronic resource] / by Michael D. Fried, Moshe Jarden.
by Fried, Michael D | Jarden, Moshe | SpringerLink (Online service). Edition: Third Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
164.
|
Systems Analysis for Water Technology [electronic resource] / by Willi Gujer.
by Gujer, Willi | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
165.
|
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics [electronic resource] / by Ulrich Kohlenbach.
by Kohlenbach, Ulrich | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
166.
|
New Developments in Formal Languages and Applications [electronic resource] / edited by Gemma Bel-Enguix, M. Dolores Jiménez-López, Carlos Martín-Vide.
by Bel-Enguix, Gemma | Jiménez-López, M. Dolores | Martín-Vide, Carlos | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
167.
|
Ernst Zermelo - Collected Works/Gesammelte Werke [electronic resource] : Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia / by Ernst Zermelo ; edited by Heinz-Dieter Ebbinghaus, Craig G. Fraser, Akihiro Kanamori.
by Zermelo, Ernst | Ebbinghaus, Heinz-Dieter | Fraser, Craig G | Kanamori, Akihiro | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
168.
|
Theory and Applications of Satisfiability Testing – SAT 2008 [electronic resource] : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings / edited by Hans Kleine Büning, Xishun Zhao.
by Kleine Büning, Hans | Zhao, Xishun | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
169.
|
Practical Hydroinformatics [electronic resource] : Computational Intelligence and Technological Developments in Water Applications / edited by Robert J. Abrahart, Linda M. See, Dimitri P. Solomatine.
by Abrahart, Robert J | See, Linda M | Solomatine, Dimitri P | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
170.
|
Recasting Reality [electronic resource] : Wolfgang Pauli’s Philosophical Ideas and Contemporary Science / edited by Harald Atmanspacher, Hans Primas.
by Atmanspacher, Harald | Primas, Hans | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
171.
|
Computer Science Logic [electronic resource] : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings / edited by Michael Kaminski, Simone Martini.
by Kaminski, Michael | Martini, Simone | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
172.
|
Groundwater Geophysics [electronic resource] : A Tool for Hydrogeology / edited by Reinhard Kirsch.
by Kirsch, Reinhard | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
173.
|
Advances in Water Resources and Hydraulic Engineering [electronic resource] : Proceedings of 16th IAHR-APD Congress and 3rd Symposium of IAHR-ISHS / by Changkuan Zhang, Hongwu Tang.
by Zhang, Changkuan | Tang, Hongwu | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
174.
|
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings / edited by Sergei Artemov, Anil Nerode.
by Artemov, Sergei | Nerode, Anil | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
175.
|
Formal Theories of Information [electronic resource] : From Shannon to Semantic Information Theory and General Concepts of Information / edited by Giovanni Sommaruga.
by Sommaruga, Giovanni | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
176.
|
Seawater Desalination [electronic resource] : Conventional and Renewable Energy Processes / edited by Giorgio Micale, Lucio Rizzuti, Andrea Cipollina.
by Micale, Giorgio | Rizzuti, Lucio | Cipollina, Andrea | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
177.
|
Handbook of Weighted Automata [electronic resource] / edited by Manfred Droste, Werner Kuich, Heiko Vogler.
by Droste, Manfred | Kuich, Werner | Vogler, Heiko | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
178.
|
Languages: From Formal to Natural [electronic resource] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / edited by Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner.
by Grumberg, Orna | Kaminski, Michael | Katz, Shmuel | Wintner, Shuly | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
179.
|
The Life of Stars [electronic resource] : The Controversial Inception and Emergence of the Theory of Stellar Structure / by Giora Shaviv.
by Shaviv, Giora | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
180.
|
Ultimate Explanations of the Universe [electronic resource] / by Michael Heller.
by Heller, Michael | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
