|
|
4301.
|
Random Curves [electronic resource] : Journeys of a Mathematician / by Neal Koblitz.
by Koblitz, Neal | 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
|
|
|
4302.
|
Applied Scanning Probe Methods VIII [electronic resource] : Scanning Probe Microscopy Techniques / edited by Bharat Bhushan, Harald Fuchs, Masahiko Tomitori.
by Bhushan, Bharat | Fuchs, Harald | Tomitori, Masahiko | 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
|
|
|
4303.
|
Applied Scanning Probe Methods IX [electronic resource] : Characterization / edited by Masahiko Tomitori, Bharat Bhushan, Harald Fuchs.
by Tomitori, Masahiko | Bhushan, Bharat | Fuchs, Harald | 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
|
|
|
4304.
|
Applied Scanning Probe Methods X [electronic resource] : Biomimetics and Industrial Applications / edited by Bharat Bhushan, Masahiko Tomitori, Harald Fuchs.
by Bhushan, Bharat | Tomitori, Masahiko | Fuchs, Harald | 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
|
|
|
4305.
|
Swarm Intelligence [electronic resource] : Introduction and Applications / edited by Christian Blum, Daniel Merkle.
by Blum, Christian | Merkle, Daniel | 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
|
|
|
4306.
|
Decision Procedures [electronic resource] : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman.
by Kroening, Daniel | Strichman, Ofer | 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
|
|
|
4307.
|
Logics of Specification Languages [electronic resource] / edited by Dines Bjørner, Martin C. Henson.
by Bjørner, Dines | Henson, Martin C | 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
|
|
|
4308.
|
Design by Evolution [electronic resource] : Advances in Evolutionary Design / edited by Philip F. Hingston, Luigi C. Barone, Zbigniew Michalewicz.
by Hingston, Philip F | Barone, Luigi C | Michalewicz, Zbigniew | 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
|
|
|
4309.
|
The Calculus of Computation [electronic resource] : Decision Procedures with Applications to Verification / by Aaron R. Bradley, Zohar Manna.
by Bradley, Aaron R | Manna, Zohar | 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
|
|
|
4310.
|
The 1-2-3 of Modular Forms [electronic resource] : Lectures at a Summer School in Nordfjordeid, Norway / by Jan Hendrik Bruinier, Gerard Geer, Günter Harder, Don Zagier ; edited by Kristian Ranestad.
by Bruinier, Jan Hendrik | Geer, Gerard | Harder, Günter | Zagier, Don | Ranestad, Kristian | 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
|
|
|
4311.
|
Speaker Classification II [electronic resource] : Selected Projects / edited by Christian Müller.
by Müller, Christian | 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
|
|
|
4312.
|
Information Hiding [electronic resource] : 8th International Workshop, IH 2006, Alexandria, VA, USA, July 10-12, 2006. Revised Selcted Papers / edited by Jan L. Camenisch, Christian S. Collberg, Neil F. Johnson, Phil Sallee.
by Camenisch, Jan L | Collberg, Christian S | Johnson, Neil F | Sallee, Phil | 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
|
|
|
4313.
|
Algorithms in Bioinformatics [electronic resource] : 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007. Proceedings / edited by Raffaele Giancarlo, Sridhar Hannenhalli.
by Giancarlo, Raffaele | Hannenhalli, Sridhar | 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
|
|
|
4314.
|
Model Checking and Artificial Intelligence [electronic resource] : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / edited by Stefan Edelkamp, Alessio Lomuscio.
by Edelkamp, Stefan | Lomuscio, Alessio | 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
|
|
|
4315.
|
Implementation and Application of Functional Languages [electronic resource] : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers / edited by Zoltán Horváth, Viktória Zsók, Andrew Butterfield.
by Horváth, Zoltán | Zsók, Viktória | Butterfield, Andrew | 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
|
|
|
4316.
|
Case-Based Reasoning Research and Development [electronic resource] : 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings / edited by Rosina O. Weber, Michael M. Richter.
by Weber, Rosina O | Richter, Michael M | 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
|
|
|
4317.
|
Advances in Cryptology - CRYPTO 2007 [electronic resource] : 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007. Proceedings / edited by Alfred Menezes.
by Menezes, Alfred | 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
|
|
|
4318.
|
Handbook on Information Technologies for Education and Training [electronic resource] / edited by Heimo H. Adelsberger, Kinshuk, Jan M. Pawlowski, Demetrios G. Sampson.
by Adelsberger, Heimo H | Kinshuk | Pawlowski, Jan M | Sampson, Demetrios G | SpringerLink (Online service). Edition: 2.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
|
|
|
4319.
|
First Light in the Universe [electronic resource] : Saas-Fee Advanced Course 36. Swiss Society for Astrophysics and Astronomy / by A. Loeb, A. Ferrara, R.S. Ellis.
by Loeb, A | Ferrara, A | Ellis, R.S | 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
|
|
|
4320.
|
Spatial Data Modelling for 3D GIS [electronic resource] / by Alias Abdul-Rahman, Morakot Pilouk.
by Abdul-Rahman, Alias | Pilouk, Morakot | 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
|
