|
|
6441.
|
Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana | Steffen, Bernhard | 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
|
|
|
6442.
|
Technology Guide [electronic resource] : Principles – Applications – Trends / edited by Hans-Jörg Bullinger.
by Bullinger, Hans-Jörg | 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
|
|
|
6443.
|
Biosilica in Evolution, Morphogenesis, and Nanobiotechnology [electronic resource] : Case Study Lake Baikal / edited by Werner E. G. Müller, Mikhael A. Grachev.
by Müller, Werner E. G | Grachev, Mikhael A | 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
|
|
|
6444.
|
Computational Methods in Systems Biology [electronic resource] : 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings / edited by Monika Heiner, Adelinde M. Uhrmacher.
by Heiner, Monika | Uhrmacher, Adelinde M | 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
|
|
|
6445.
|
Wireless Algorithms, Systems, and Applications [electronic resource] : Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings / edited by Yingshu Li, Dung T. Huynh, Sajal K. Das, Ding-Zhu Du.
by Li, Yingshu | Huynh, Dung T | Das, Sajal K | Du, Ding-Zhu | 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
|
|
|
6446.
|
Topology-Based Methods in Visualization II [electronic resource] / edited by Hans-Christian Hege, Konrad Polthier, Gerik Scheuermann.
by Hege, Hans-Christian | Polthier, Konrad | Scheuermann, Gerik | 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
|
|
|
6447.
|
Challenges for Next Generation Network Operations and Service Management [electronic resource] : 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, China, October 22-24, 2008. Proceedings / edited by Yan Ma, Deokjai Choi, Shingo Ata.
by Ma, Yan | Choi, Deokjai | Ata, Shingo | 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
|
|
|
6448.
|
Generative and Transformational Techniques in Software Engineering II [electronic resource] : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers / edited by Ralf Lämmel, Joost Visser, João Saraiva.
by Lämmel, Ralf | Visser, Joost | Saraiva, João | 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
|
|
|
6449.
|
Software and Data Technologies [electronic resource] : Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers / edited by Joaquim Filipe, Boris Shishkov, Markus Helfert, Leszek A. Maciaszek.
by Filipe, Joaquim | Shishkov, Boris | Helfert, Markus | Maciaszek, Leszek A | 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
|
|
|
6450.
|
Post-Quantum Cryptography [electronic resource] / edited by Daniel J. Bernstein, Johannes Buchmann, Erik Dahmen.
by Bernstein, Daniel J | Buchmann, Johannes | Dahmen, Erik | 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
|
|
|
6451.
|
Systems and Virtualization Management. Standards and New Technologies [electronic resource] : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings / edited by Latifa Boursas, Mark Carlson, Wolfgang Hommel, Michelle Sibilla, Kes Wold.
by Boursas, Latifa | Carlson, Mark | Hommel, Wolfgang | Sibilla, Michelle | Wold, Kes | 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
|
|
|
6452.
|
Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis [electronic resource] : AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers / edited by John Collins, Peyman Faratin, Simon Parsons, Juan A. Rodriguez-Aguilar, Norman M. Sadeh, Onn Shehory, Elizabeth Sklar.
by Collins, John | Faratin, Peyman | Parsons, Simon | Rodriguez-Aguilar, Juan A | Sadeh, Norman M | Shehory, Onn | Sklar, Elizabeth | 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
|
|
|
6453.
|
Web Reasoning and Rule Systems [electronic resource] : Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings / edited by Diego Calvanese, Georg Lausen.
by Calvanese, Diego | Lausen, Georg | 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
|
|
|
6454.
|
Manufacturing Systems Modeling and Analysis [electronic resource] / by Guy L. Curry, Richard M. Feldman.
by Curry, Guy L | Feldman, Richard M | 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
|
|
|
6455.
|
Fluid Dynamics of Packed Columns [electronic resource] : Principles of the Fluid Dynamic Design of Columns for Gas/Liquid and Liquid/Liquid Systems / by Jerzy Mackowiak.
by Mackowiak, Jerzy | 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
|
|
|
6456.
|
Fundamentals of Cryobiology [electronic resource] : Physical Phenomena and Mathematical Models / edited by Alexander I. Zhmakin.
by Zhmakin, Alexander I | 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
|
|
|
6457.
|
Materials Science with Ion Beams [electronic resource] / edited by Harry Bernas.
by Bernas, Harry | 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
|
|
|
6458.
|
Rule Representation, Interchange and Reasoning on the Web [electronic resource] : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke.
by Bassiliades, Nick | Governatori, Guido | Paschke, Adrian | 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
|
|
|
6459.
|
Future Spacecraft Propulsion Systems [electronic resource] : Enabling Technologies for Space Exploration / by Paul A. Czysz, Claudio Bruno.
by Czysz, Paul A | Bruno, Claudio | 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
|
|
|
6460.
|
Building Automation [electronic resource] : Communication systems with EIB/KNX, LON und BACnet / by Hermann Merz, Thomas Hansemann, Christof Hübner.
by Merz, Hermann | Hansemann, Thomas | Hübner, Christof | 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
|
