|
|
2081.
|
Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures / edited by Marco Bernardo, Alessandro Cimatti.
by Bernardo, Marco | Cimatti, Alessandro | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2082.
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings / edited by J. Christopher Beck, Barbara M. Smith.
by Beck, J. Christopher | Smith, Barbara M | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2083.
|
Performance Analysis of Network Architectures [electronic resource] / by Dietmar Tutsch.
by Tutsch, Dietmar | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2084.
|
Collective Phenomena in Synchrotron Radiation Sources [electronic resource] : Prediction, Diagnostics, Countermeasures / by Shaukat Khan.
by Khan, Shaukat | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2085.
|
Roadmap of Scanning Probe Microscopy [electronic resource] / edited by Seizo Morita.
by Morita, Seizo | 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
|
|
|
2086.
|
Embedded Robotics [electronic resource] : Mobile Robot Design and Applications with Embedded Systems / by Thomas Bräunl.
by Bräunl, Thomas | 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, 2006Online access: Click here to access online Availability: No items available
|
|
|
2087.
|
Micrometeorites and the Mysteries of Our Origins [electronic resource] / by Michel Maurette.
by Maurette, Michel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2088.
|
An Introduction to Language Processing with Perl and Prolog [electronic resource] : An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German / by Pierre M. Nugues.
by Nugues, Pierre M | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2089.
|
Kaposi Sarcoma Herpesvirus: New Perspectives [electronic resource] / edited by Chris Boshoff, Robin A. Weiss.
by Boshoff, Chris | Weiss, Robin 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
|
|
|
2090.
|
Introduction to Data Mining and its Applications [electronic resource] / by S. Sumathi, S. N. Sivanandam.
by Sumathi, S | Sivanandam, S. N | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2091.
|
Chance Discoveries in Real World Decision Making [electronic resource] : Data-based Interaction of Human Intelligence and Artificial Intelligence / edited by Yukio Ohsawa, Shusaku Tsumoto.
by Ohsawa, Yukio | Tsumoto, Shusaku | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2092.
|
Optimal Design of Complex Mechanical Systems [electronic resource] : With Applications to Vehicle Engineering / by Giampiero Mastinu, Massimiliano Gobbi, Carlo Miano.
by Mastinu, Giampiero | Gobbi, Massimiliano | Miano, Carlo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2093.
|
Innovations in Fuzzy Clustering [electronic resource] : Theory and Applications / by Mika Sato-Ilic, Lakhmi C. Jain.
by Sato-Ilic, Mika | Jain, Lakhmi C | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2094.
|
Reduced Order Systems [electronic resource] / by Ali A. Jalali, Craig S. Sims†, Parviz Famouri.
by Jalali, Ali A | Sims†, Craig S | Famouri, Parviz | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2095.
|
Dictionary of Minor Planet Names [electronic resource] : Addendum to Fifth Edition: 2003–2005 / by Lutz D. Schmadel.
by Schmadel, Lutz D | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2096.
|
Lasers, Clocks and Drag-Free Control [electronic resource] : Exploration of Relativistic Gravity in Space / edited by Hansjorg Dittus, Claus Lammerzahl, Slava G. Turyshev.
by Dittus, Hansjorg | Lammerzahl, Claus | Turyshev, Slava G | 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
|
|
|
2097.
|
Algorithms and Complexity [electronic resource] : 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006. Proceedings / edited by Tiziana Calamoneri, Irene Finocchi, Giuseppe F. Italiano.
by Calamoneri, Tiziana | Finocchi, Irene | Italiano, Giuseppe F | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2098.
|
Computational Science – ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I / edited by Vassil N. Alexandrov, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra.
by Alexandrov, Vassil N | Albada, Geert Dick | Sloot, Peter M. A | Dongarra, Jack | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2099.
|
Computational Science – ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II / edited by Vassil N. Alexandrov, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra.
by Alexandrov, Vassil N | Albada, Geert Dick | Sloot, Peter M. A | Dongarra, Jack | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2100.
|
Computational Science – ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part III / edited by Vassil N. Alexandrov, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra.
by Alexandrov, Vassil N | Albada, Geert Dick | Sloot, Peter M. A | Dongarra, Jack | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
