Refine your search

Your search returned 910 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
801.
Intel® Trusted Execution Technology for Server Platforms [electronic resource] : A Guide to More Secure Datacenters / by William Futral, James Greene. by
  • Futral, William [author.]
  • Greene, James [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berkeley, CA : Apress : Imprint: Apress, 2013
Online access:
Availability: No items available.

Add to cart
802.
Between Certainty and Uncertainty [electronic resource] : Statistics and Probability in Five Units with Notes on Historical Origins and Illustrative Numerical Examples / by Ludomir M. Laudański. by
  • Laudański, Ludomir M [author.]
  • SpringerLink (Online service)
Series: Intelligent Systems Reference Library ; 31
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
Online access:
Availability: No items available.

Add to cart
803.
Mixed Finite Element Methods and Applications [electronic resource] / by Daniele Boffi, Franco Brezzi, Michel Fortin. by
  • Boffi, Daniele [author.]
  • Brezzi, Franco [author.]
  • Fortin, Michel [author.]
  • SpringerLink (Online service)
Series: Springer Series in Computational Mathematics ; 44
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
Online access:
Availability: No items available.

Add to cart
804.
Connected Dominating Set: Theory and Applications [electronic resource] / by Ding-Zhu Du, Peng-Jun Wan. by
  • Du, Ding-Zhu [author.]
  • Wan, Peng-Jun [author.]
  • SpringerLink (Online service)
Series: Springer Optimization and Its Applications ; 77
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
Online access:
Availability: No items available.

Add to cart
805.
The Power of Algorithms [electronic resource] : Inspiration and Examples in Everyday Life / edited by Giorgio Ausiello, Rossella Petreschi. by
  • Ausiello, Giorgio [editor.]
  • Petreschi, Rossella [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
Online access:
Availability: No items available.

Add to cart
806.
Artificial Intelligence, Evolutionary Computing and Metaheuristics [electronic resource] : In the Footsteps of Alan Turing / edited by Xin-She Yang. by
  • Yang, Xin-She [editor.]
  • SpringerLink (Online service)
Series: Studies in Computational Intelligence ; 427
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
Online access:
Availability: No items available.

Add to cart
807.
Pattern Recognition - Applications and Methods [electronic resource] : International Conference, ICPRAM 2012 Vilamoura, Algarve, Portugal, February 6-8, 2012 Revised Selected Papers / edited by Pedro Latorre Carmona, J. Salvador Sánchez, Ana L.N. Fred. by
  • Latorre Carmona, Pedro [editor.]
  • Sánchez, J. Salvador [editor.]
  • Fred, Ana L.N [editor.]
  • SpringerLink (Online service)
Series: Advances in Intelligent Systems and Computing ; 204
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
Online access:
Availability: No items available.

Add to cart
808.
Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay. by
  • Bertacco, Valeria [editor.]
  • Legay, Axel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8244
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
809.
Software Architecture [electronic resource] : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings / edited by Khalil Drira. by
  • Drira, Khalil [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7957
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
Online access:
Availability: No items available.

Add to cart
810.
Embedded Multimedia Security Systems [electronic resource] : Algorithms and Architectures / by Amit Pande, Joseph Zambreno. by
  • Pande, Amit [author.]
  • Zambreno, Joseph [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
Online access:
Availability: No items available.

Add to cart
811.
Formal Languages and Compilation [electronic resource] / by Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti. by
  • Crespi Reghizzi, Stefano [author.]
  • Breveglieri, Luca [author.]
  • Morzenti, Angelo [author.]
  • SpringerLink (Online service)
Series: Texts in Computer Science
Edition: 2nd ed. 2013.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
812.
3D Biometrics [electronic resource] : Systems and Applications / by David Zhang, Guangming Lu. by
  • Zhang, David [author.]
  • Lu, Guangming [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
Online access:
Availability: No items available.

Add to cart
813.
EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation II [electronic resource] / edited by Oliver Schütze, Carlos A. Coello Coello, Alexandru-Adrian Tantar, Emilia Tantar, Pascal Bouvry, Pierre Del Moral, Pierrick Legrand. by
  • Schütze, Oliver [editor.]
  • Coello Coello, Carlos A [editor.]
  • Tantar, Alexandru-Adrian [editor.]
  • Tantar, Emilia [editor.]
  • Bouvry, Pascal [editor.]
  • Del Moral, Pierre [editor.]
  • Legrand, Pierrick [editor.]
  • SpringerLink (Online service)
Series: Advances in Intelligent Systems and Computing ; 175
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
Online access:
Availability: No items available.

Add to cart
814.
Software and Data Technologies [electronic resource] : 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers / edited by José Cordeiro, Maria Virvou, Boris Shishkov. by
  • Cordeiro, José [editor.]
  • Virvou, Maria [editor.]
  • Shishkov, Boris [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 170
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
Online access:
Availability: No items available.

Add to cart
815.
Formal Aspects of Component Software [electronic resource] : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers / edited by Corina S. Păsăreanu, Gwen Salaün. by
  • Păsăreanu, Corina S [editor.]
  • Salaün, Gwen [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7684
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
Online access:
Availability: No items available.

Add to cart
816.
Application and Theory of Petri Nets and Concurrency [electronic resource] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings / edited by José-Manuel Colom, Jörg Desel. by
  • Colom, José-Manuel [editor.]
  • Desel, Jörg [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7927
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
Online access:
Availability: No items available.

Add to cart
817.
Measurement Methodology and Tools [electronic resource] : First European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012, Revised and Extended Papers / edited by Lluís Fàbrega, Pere Vilà, Davide Careglio, Dimitri Papadimitriou. by
  • Fàbrega, Lluís [editor.]
  • Vilà, Pere [editor.]
  • Careglio, Davide [editor.]
  • Papadimitriou, Dimitri [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7586
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
Online access:
Availability: No items available.

Add to cart
818.
Advances in Multimedia Information Processing – PCM 2013 [electronic resource] : 14th Pacific-Rim Conference on Multimedia, Nanjing, China, December 13-16, 2013. Proceedings / edited by Benoit Huet, Chong-Wah Ngo, Jinhui Tang, Zhi-Hua Zhou, Alexander G. Hauptmann, Shuicheng Yan. by
  • Huet, Benoit [editor.]
  • Ngo, Chong-Wah [editor.]
  • Tang, Jinhui [editor.]
  • Zhou, Zhi-Hua [editor.]
  • Hauptmann, Alexander G [editor.]
  • Yan, Shuicheng [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8294
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
819.
Computer Aided Systems Theory - EUROCAST 2013 [electronic resource] : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia. by
  • Moreno-Díaz, Roberto [editor.]
  • Pichler, Franz [editor.]
  • Quesada-Arencibia, Alexis [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8111
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
Online access:
Availability: No items available.

Add to cart
820.
Gröbner Bases [electronic resource] : Statistics and Software Systems / edited by Takayuki Hibi. by
  • Hibi, Takayuki [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Tokyo : Springer Japan : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
Pages