Refine your search

Your search returned 710 results.

Not what you expected? Check for suggestions
Sort
Results
541.
Hardware and Software: Verification and Testing [electronic resource] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / edited by Armin Biere, Amir Nahir, Tanja Vos. by
  • Biere, Armin [editor.]
  • Nahir, Amir [editor.]
  • Vos, Tanja [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7857
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

542.
Choosing and Using Astronomical Eyepieces [electronic resource] / by William Paolini. by
  • Paolini, William [author.]
  • SpringerLink (Online service)
Series: The Patrick Moore Practical Astronomy Series
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

543.
Bayesian Hierarchical Space-Time Models with Application to Significant Wave Height [electronic resource] / by Erik Vanem. by
  • Vanem, Erik [author.]
  • SpringerLink (Online service)
Series: Ocean Engineering & Oceanography ; 2
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

544.
Understanding Petri Nets [electronic resource] : Modeling Techniques, Analysis Methods, Case Studies / by Wolfgang Reisig. by
  • Reisig, Wolfgang [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

545.
Handbook of the Physics of Thin-Film Solar Cells [electronic resource] / by Karl W. Böer. by
  • Böer, Karl W [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

546.
Introduction to Biosensors [electronic resource] : From Electric Circuits to Immunosensors / by Jeong-Yeol Yoon. by
  • Yoon, Jeong-Yeol [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

547.
Selected Topics in Micro/Nano-robotics for Biomedical Applications [electronic resource] / edited by Yi Guo. by
  • Guo, Yi [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

548.
Cloud Computing [electronic resource] : Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers / edited by Mazin Yousif, Lutz Schubert. by
  • Yousif, Mazin [editor.]
  • Schubert, Lutz [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 112
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

549.
Web Dynpro ABAP for Practitioners [electronic resource] / by Ulrich Gellert, Ana Daniela Cristea. by
  • Gellert, Ulrich [author.]
  • Cristea, Ana Daniela [author.]
  • SpringerLink (Online service)
Edition: 2nd ed. 2013.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

550.
Structural Analysis with the Finite Element Method Linear Statics [electronic resource] : Volume 2. Beams, Plates and Shells / by Eugenio Oñate. by
  • Oñate, Eugenio [author.]
  • SpringerLink (Online service)
Series: Lecture Notes on Numerical Methods in Engineering and Sciences
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Availability: No items available.

551.
Extremes in a Changing Climate [electronic resource] : Detection, Analysis and Uncertainty / edited by Amir AghaKouchak, David Easterling, Kuolin Hsu, Siegfried Schubert, Soroosh Sorooshian. by
  • AghaKouchak, Amir [editor.]
  • Easterling, David [editor.]
  • Hsu, Kuolin [editor.]
  • Schubert, Siegfried [editor.]
  • Sorooshian, Soroosh [editor.]
  • SpringerLink (Online service)
Series: Water Science and Technology Library ; 65
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Availability: No items available.

552.
Cloud Manufacturing [electronic resource] : Distributed Computing Technologies for Global and Sustainable Manufacturing / edited by Weidong Li, Jörn Mehnen. by
  • Li, Weidong [editor.]
  • Mehnen, Jörn [editor.]
  • SpringerLink (Online service)
Series: Springer Series in Advanced Manufacturing
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

553.
Packaging for Food Preservation [electronic resource] / by Matteo Alessandro Del Nobile, Amalia Conte. by
  • Del Nobile, Matteo Alessandro [author.]
  • Conte, Amalia [author.]
  • SpringerLink (Online service)
Series: Food Engineering Series
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

554.
New Results in Dependability and Computer Systems [electronic resource] : Proceedings of the 8th International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, September 9-13, 2013, Brunów, Poland / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk. by
  • Zamojski, Wojciech [editor.]
  • Mazurkiewicz, Jacek [editor.]
  • Sugier, Jarosław [editor.]
  • Walkowiak, Tomasz [editor.]
  • Kacprzyk, Janusz [editor.]
  • SpringerLink (Online service)
Series: Advances in Intelligent Systems and Computing ; 224
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

555.
Machine Learning for Computer Vision [electronic resource] / edited by Roberto Cipolla, Sebastiano Battiato, Giovanni Maria Farinella. by
  • Cipolla, Roberto [editor.]
  • Battiato, Sebastiano [editor.]
  • Farinella, Giovanni Maria [editor.]
  • SpringerLink (Online service)
Series: Studies in Computational Intelligence ; 411
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

556.
Proceedings of the FISITA 2012 World Automotive Congress [electronic resource] : Volume 12: Intelligent Transport System(ITS) & Internet of Vehicles. by
  • SpringerLink (Online service)
Series: Lecture Notes in Electrical Engineering ; 200
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

557.
Algorithmic Foundations of Robotics X [electronic resource] : Proceedings of the Tenth Workshop on the Algorithmic Foundations of Robotics / edited by Emilio Frazzoli, Tomas Lozano-Perez, Nicholas Roy, Daniela Rus. by
  • Frazzoli, Emilio [editor.]
  • Lozano-Perez, Tomas [editor.]
  • Roy, Nicholas [editor.]
  • Rus, Daniela [editor.]
  • SpringerLink (Online service)
Series: Springer Tracts in Advanced Robotics ; 86
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

558.
Statics and Mechanics of Structures [electronic resource] / by Steen Krenk, Jan Høgsberg. by
  • Krenk, Steen [author.]
  • Høgsberg, Jan [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Availability: No items available.

559.
Model-based Health Monitoring of Hybrid Systems [electronic resource] / by Danwei Wang, Ming Yu, Chang Boon Low, Shai Arogeti. by
  • Wang, Danwei [author.]
  • Yu, Ming [author.]
  • Low, Chang Boon [author.]
  • Arogeti, Shai [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

560.
Agent and Multi-Agent Systems in Distributed Systems - Digital Economy and E-Commerce [electronic resource] / edited by Anne Hakansson, Ronald Hartung. by
  • Hakansson, Anne [editor.]
  • Hartung, Ronald [editor.]
  • SpringerLink (Online service)
Series: Studies in Computational Intelligence ; 462
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.

Pages