|
|
5001.
|
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
|
|
|
5002.
|
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
|
|
|
5003.
|
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
|
|
|
5004.
|
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
|
|
|
5005.
|
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
|
|
|
5006.
|
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
|
|
|
5007.
|
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
|
|
|
5008.
|
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
|
|
|
5009.
|
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
|
|
|
5010.
|
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
|
|
|
5011.
|
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
|
|
|
5012.
|
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
|
|
|
5013.
|
Computational Science – ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV / 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
|
|
|
5014.
|
Mathematics for Life Science and Medicine [electronic resource] / edited by Yasuhiro Takeuchi, Yoh Iwasa, Kazunori Sato.
by Takeuchi, Yasuhiro | Iwasa, Yoh | Sato, Kazunori | 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
|
|
|
5015.
|
Mathematics for Ecology and Environmental Sciences [electronic resource] / edited by Yasuhiro Takeuchi, Yoh Iwasa, Kazunori Sato.
by Takeuchi, Yasuhiro | Iwasa, Yoh | Sato, Kazunori | 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
|
|
|
5016.
|
Next Generation Teletraffic and Wired/Wireless Advanced Networking [electronic resource] : 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29 - June 2, 2006. Proceedings / edited by Yevgeni Koucheryavy, Jarmo Harju, Villy B. Iversen.
by Koucheryavy, Yevgeni | Harju, Jarmo | Iversen, Villy B | 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
|
|
|
5017.
|
Engineering Societies in the Agents World VI [electronic resource] : 6th International Workshop, ESAW 2005, Kuşadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers / edited by Oğuz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci.
by Dikenelli, Oğuz | Gleizes, Marie-Pierre | Ricci, 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
|
|
|
5018.
|
Formal Approaches to Software Testing [electronic resource] : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers / edited by Wolfgang Grieskamp, Carsten Weise.
by Grieskamp, Wolfgang | Weise, Carsten | 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
|
|
|
5019.
|
Robust Numerical Methods for Singularly Perturbed Differential Equations [electronic resource] : Convection-Diffusion-Reaction and Flow Problems / by Hans-Görg Roos, Martin Stynes, Lutz Tobiska.
by Roos, Hans-Görg | Stynes, Martin | Tobiska, Lutz | 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
|
|
|
5020.
|
Domain Decomposition Methods in Science and Engineering XVI [electronic resource] / edited by Olof B. Widlund, David E. Keyes.
by Widlund, Olof B | Keyes, David E | 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
|
