Refine your search

Your search returned 76 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
21.
Fault-Tolerant Search Algorithms [electronic resource] : Reliable Computation with Unreliable Information / by Ferdinando Cicalese. by
  • Cicalese, Ferdinando [author.]
  • SpringerLink (Online service)
Series: Monographs in Theoretical Computer Science. An EATCS Series
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
22.
Computer Algebra in Quantum Field Theory [electronic resource] : Integration, Summation and Special Functions / edited by Carsten Schneider, Johannes Blümlein. by
  • Schneider, Carsten [editor.]
  • Blümlein, Johannes [editor.]
  • SpringerLink (Online service)
Series: Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Vienna : Springer Vienna : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
23.
Mathematics, Computer Science and Logic - A Never Ending Story [electronic resource] : The Bruno Buchberger Festschrift / edited by Peter Paule. by
  • Paule, Peter [editor.]
  • SpringerLink (Online service)
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
24.
Quantum Walks and Search Algorithms [electronic resource] / by Renato Portugal. by
  • Portugal, Renato [author.]
  • SpringerLink (Online service)
Series: Quantum Science and Technology
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
25.
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
26.
Mathematics of quantum computation and quantum technology [electronic resource] / edited by Goong Chen, Louis Kauffman, Samuel J. Lomonaco. by
  • Chen, Goong, 1950-
  • Kauffman, Louis H, 1945-
  • Lomonaco, Samuel J
Series: Chapman & Hall/CRC applied mathematics and nonlinear science series
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publication details: Boca Raton : Chapman & Hall/CRC, c2008
Online access:
Availability: No items available.

Add to cart
27.
Theory and Applications of Models of Computation [electronic resource] : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings / edited by T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan. by
  • Chan, T-H. Hubert [editor.]
  • Lau, Lap Chi [editor.]
  • Trevisan, Luca [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7876
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
28.
Progress in Cryptology – AFRICACRYPT 2013 [electronic resource] : 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings / edited by Amr Youssef, Abderrahmane Nitaj, Aboul Ella Hassanien. by
  • Youssef, Amr [editor.]
  • Nitaj, Abderrahmane [editor.]
  • Hassanien, Aboul Ella [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7918
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
29.
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
30.
Pairing-Based Cryptography – Pairing 2012 [electronic resource] : 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers / edited by Michel Abdalla, Tanja Lange. by
  • Abdalla, Michel [editor.]
  • Lange, Tanja [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7708
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
31.
Optical Supercomputing [electronic resource] : 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers / edited by Shlomi Dolev, Mihai Oltean. by
  • Dolev, Shlomi [editor.]
  • Oltean, Mihai [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7715
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
32.
Trustworthy Global Computing [electronic resource] : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers / edited by Catuscia Palamidessi, Mark D. Ryan. by
  • Palamidessi, Catuscia [editor.]
  • Ryan, Mark D [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8191
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
33.
An Introduction to Macroscopic Quantum Phenomena and Quantum Dissipation / A. O. Caldeira. by
  • Caldeira, A. O [author.]
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2014
Other title:
  • An Introduction to Macroscopic Quantum Phenomena & Quantum Dissipation
Online access:
Availability: No items available.

Add to cart
34.
Recent Trends in Algebraic Development Techniques [electronic resource] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers / edited by Narciso Martí-Oliet, Miguel Palomino. by
  • Martí-Oliet, Narciso [editor.]
  • Palomino, Miguel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7841
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
35.
Proceedings of the European Conference on Complex Systems 2012 [electronic resource] / edited by Thomas Gilbert, Markus Kirkilionis, Gregoire Nicolis. by
  • Gilbert, Thomas [editor.]
  • Kirkilionis, Markus [editor.]
  • Nicolis, Gregoire [editor.]
  • SpringerLink (Online service)
Series: Springer Proceedings in Complexity
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
36.
Theories of Programming and Formal Methods [electronic resource] : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by
  • Liu, Zhiming [editor.]
  • Woodcock, Jim [editor.]
  • Zhu, Huibiao [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8051
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
37.
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
Online access:
Availability: No items available.

Add to cart
38.
Combinatorics on Words [electronic resource] : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings / edited by Juhani Karhumäki, Arto Lepistö, Luca Zamboni. by
  • Karhumäki, Juhani [editor.]
  • Lepistö, Arto [editor.]
  • Zamboni, Luca [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8079
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
39.
The ADI Model Problem [electronic resource] / by Eugene Wachspress. by
  • Wachspress, Eugene [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
40.
Unifying Theories of Programming and Formal Engineering Methods [electronic resource] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by
  • Liu, Zhiming [editor.]
  • Woodcock, Jim [editor.]
  • Zhu, Huibiao [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8050
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
Pages