Refine your search

Your search returned 910 results.

Not what you expected? Check for suggestions
Sort
Results
541.
Software Product Quality Control [electronic resource] / by Stefan Wagner. by
  • Wagner, Stefan [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.

542.
SemProM [electronic resource] : Foundations of Semantic Product Memories for the Internet of Things / edited by Wolfgang Wahlster. by
  • Wahlster, Wolfgang [editor.]
  • SpringerLink (Online service)
Series: Cognitive Technologies
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.

543.
NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / edited by Guillaume Brat, Neha Rungta, Arnaud Venet. by
  • Brat, Guillaume [editor.]
  • Rungta, Neha [editor.]
  • Venet, Arnaud [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7871
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.
Intelligent Information and Database Systems [electronic resource] : 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part I / edited by Ali Selamat, Ngoc Thanh Nguyen, Habibollah Haron. by
  • Selamat, Ali [editor.]
  • Nguyen, Ngoc Thanh [editor.]
  • Haron, Habibollah [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7802
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.
An Introduction to Order Statistics [electronic resource] / by Mohammad Ahsanullah, Valery B Nevzorov, Mohammad Shakil. by
  • Ahsanullah, Mohammad [author.]
  • Nevzorov, Valery B [author.]
  • Shakil, Mohammad [author.]
  • SpringerLink (Online service)
Series: Atlantis Studies in Probability and Statistics ; 3
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2013
Availability: No items available.

546.
Applied Parallel and Scientific Computing [electronic resource] : 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers / edited by Pekka Manninen, Per Öster. by
  • Manninen, Pekka [editor.]
  • Öster, Per [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7782
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.

547.
Ada 2012 Rationale [electronic resource] : The Language, The Standard Libraries / by John Barnes. by
  • Barnes, John [author.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8338
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.

548.
Guide to Programming and Algorithms Using R [electronic resource] / by Özgür Ergül. by
  • Ergül, Özgür [author.]
  • SpringerLink (Online service)
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.

549.
Formal Concept Analysis [electronic resource] : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings / edited by Peggy Cellier, Felix Distel, Bernhard Ganter. by
  • Cellier, Peggy [editor.]
  • Distel, Felix [editor.]
  • Ganter, Bernhard [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7880
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.
Planets, Stars and Stellar Systems [electronic resource] : Volume 2: Astronomical Techniques, Software, and Data / edited by Terry D. Oswalt, Howard E. Bond. by
  • Oswalt, Terry D [editor.]
  • Bond, Howard E [editor.]
  • 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.

551.
Secure IP Mobility Management for VANET [electronic resource] / by Sanaa Taha, Xuemin Shen. by
  • Taha, Sanaa [author.]
  • Shen, Xuemin [author.]
  • SpringerLink (Online service)
Series: SpringerBriefs in Computer Science
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.

552.
Belief-based Stability in Coalition Formation with Uncertainty [electronic resource] : An Intelligent Agents’ Perspective / by Chi-kong Chan, Ho-fung Leung. by
  • Chan, Chi-kong [author.]
  • Leung, Ho-fung [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.

553.
Semantic Mashups [electronic resource] : Intelligent Reuse of Web Resources / edited by Brigitte Endres-Niggemeyer. by
  • Endres-Niggemeyer, Brigitte [editor.]
  • 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.

554.
Ada 2012 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/2012 (E) / edited by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg. by
  • Taft, S. Tucker [editor.]
  • Duff, Robert A [editor.]
  • Brukardt, Randall L [editor.]
  • Ploedereder, Erhard [editor.]
  • Leroy, Pascal [editor.]
  • Schonberg, Edmond [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8339
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.

555.
Automated Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings / edited by Dang Van Hung, Mizuhito Ogawa. by
  • Hung, Dang Van [editor.]
  • Ogawa, Mizuhito [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8172
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.

556.
Formal Methods for Components and Objects [electronic resource] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue. by
  • Beckert, Bernhard [editor.]
  • Damiani, Ferruccio [editor.]
  • Boer, Frank S. de [editor.]
  • Bonsangue, Marcello M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7542
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.
GPU Solutions to Multi-scale Problems in Science and Engineering [electronic resource] / edited by David A. Yuen, Long Wang, Xuebin Chi, Lennart Johnsson, Wei Ge, Yaolin Shi. by
  • Yuen, David A [editor.]
  • Wang, Long [editor.]
  • Chi, Xuebin [editor.]
  • Johnsson, Lennart [editor.]
  • Ge, Wei [editor.]
  • Shi, Yaolin [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Earth System Sciences
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.
Creativity and Rationale [electronic resource] : Enhancing Human Experience by Design / edited by John M. Carroll. by
  • Carroll, John M [editor.]
  • SpringerLink (Online service)
Series: Human–Computer Interaction Series ; 20
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.

559.
Towards Advanced Data Analysis by Combining Soft Computing and Statistics [electronic resource] / edited by Christian Borgelt, María Ángeles Gil, João M.C. Sousa, Michel Verleysen. by
  • Borgelt, Christian [editor.]
  • Gil, María Ángeles [editor.]
  • Sousa, João M.C [editor.]
  • Verleysen, Michel [editor.]
  • SpringerLink (Online service)
Series: Studies in Fuzziness and Soft Computing ; 285
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.

560.
Mobile Web Information Systems [electronic resource] : 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013. Proceedings / edited by Florian Daniel, George A. Papadopoulos, Philippe Thiran. by
  • Daniel, Florian [editor.]
  • Papadopoulos, George A [editor.]
  • Thiran, Philippe [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8093
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