|
|
19221.
|
Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers / edited by Bernhard Beckert, Claude Marché.
by Beckert, Bernhard | Marché, Claude | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19222.
|
Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers / edited by Wim Dam, Vivien M. Kendon, Simone Severini.
by Dam, Wim | Kendon, Vivien M | Severini, Simone | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19223.
|
Mindful Universe [electronic resource] : Quantum Mechanics and the Participating Observer / by Henry P. Stapp.
by Stapp, Henry P | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19224.
|
Mining and Control of Network Traffic by Computational Intelligence [electronic resource] / by Federico Montesino Pouzols, Diego R. Lopez, Angel Barriga Barros.
by Pouzols, Federico Montesino | Lopez, Diego R | Barros, Angel Barriga | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19225.
|
Evolving Fuzzy Systems – Methodologies, Advanced Concepts and Applications [electronic resource] / by Edwin Lughofer.
by Lughofer, Edwin | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19226.
|
Biomechanics and Mechanobiology of Aneurysms [electronic resource] / edited by Tim McGloughlin.
by McGloughlin, Tim | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19227.
|
Implementation and Application of Automata [electronic resource] : 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers / edited by Michael Domaratzki, Kai Salomaa.
by Domaratzki, Michael | Salomaa, Kai | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19228.
|
Fractional-Order Nonlinear Systems [electronic resource] : Modeling, Analysis and Simulation / by Ivo Petráš.
by Petráš, Ivo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19229.
|
Electronic and Magnetic Properties of Chiral Molecules and Supramolecular Architectures [electronic resource] / edited by Ron Naaman, David N Beratan, David Waldeck.
by Naaman, Ron | Beratan, David N | Waldeck, David | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19230.
|
Chemistry of Opioids [electronic resource] / edited by Hiroshi Nagase.
by Nagase, Hiroshi | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19231.
|
Smart Membrane Materials and Systems [electronic resource] : From Flat Membranes to Microcapsule Membranes / by Liang-Yin Chu.
by Chu, Liang-Yin | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19232.
|
Flexibility Measurement in Production Systems [electronic resource] : Handling Uncertainties in Industrial Production / by Sven Rogalski.
by Rogalski, Sven | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19233.
|
Physical Rehabilitation of Paralysed Facial Muscles: Functional and Morphological Correlates [electronic resource] / by Doychin N. Angelov.
by Angelov, Doychin N | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19234.
|
Membrane Computing [electronic resource] : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers / edited by Marian Gheorghe, Thomas Hinze, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa.
by Gheorghe, Marian | Hinze, Thomas | Păun, Gheorghe | Rozenberg, Grzegorz | Salomaa, Arto | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19235.
|
Sectors Matter! [electronic resource] : Exploring Mesoeconomics / edited by Stefan Mann.
by Mann, Stefan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19236.
|
Intelligent Computing and Information Science [electronic resource] : International Conference, ICICIS 2011, Chongqing, China, January 8-9, 2011. Proceedings, Part I / edited by Ran Chen.
by Chen, Ran | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19237.
|
Intelligent Computing and Information Science [electronic resource] : International Conference, ICICIS 2011, Chongqing, China, January 8-9, 2011. Proceedings, Part II / edited by Ran Chen.
by Chen, Ran | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19238.
|
Principles of Evolution [electronic resource] : From the Planck Epoch to Complex Multicellular Life / edited by Hildegard Meyer-Ortmanns, Stefan Thurner.
by Meyer-Ortmanns, Hildegard | Thurner, Stefan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19239.
|
Ambient Assisted Living [electronic resource] : 4. AAL-Kongress 2011, Berlin, Germany, January 25–26, 2011 / edited by Reiner Wichert, Birgid Eberhardt.
by Wichert, Reiner | Eberhardt, Birgid | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
19240.
|
Large-Scale Perturbations of Magnetohydrodynamic Regimes [electronic resource] : Linear and Weakly Nonlinear Stability Theory / by Vladislav Zheligovsky.
by Zheligovsky, Vladislav | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
