Refine your search

Your search returned 23390 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Automated reasoning with analytic tableaux and related methods international conference, July 30 - August 1, 2002; proceedings. [electronic resource]

by Egly, Uwe, 1960- | Fermüller, Christian G, 1963- | International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (2002; Denmark, Copenhagen).

Publication details: Berlin [u.a.] : Springer, 2002Online access: statement of content Availability: Items available for reference: Library: Not for loan (1).
Log in to add tags
Algorithmische Sprache und Programmentwicklung

by Bauer, Friedrich L | Wössner, Hans; Partsch, H.

Publication details: Berlin [u.a.] : Springer, 1981Availability: Items available for reference: Library: Not for loan (1).
Log in to add tags
1. Fachtagung über Programmiersprachen : München, 9. - 11. März 1971 / hrsg. im Auftrag der Gesellschaft für Informatik von Hans Langmaack

by Langmaack, Hans | Gesellschaft für Informatik.

Publication details: Berlin [u.a] : Springer, 1972Availability: Items available for reference: Library: Not for loan (1).
Log in to add tags
2. Jahrestagung : Karlsruhe, 2. - 4. Oktober 1972 / hrsg. von Peter Deussen.

by Gesellschaft für Informatik | Deussen, Peter | Jahrestagung. Gesellschaft für Informatik (GI) (2 : 1972.10.02-04 : Karlsruhe).

Series: Lecture notes in economics and mathematical systems ; Operations research, computer science, social science ; 78 | Jahrestagung // GI, Gesellschaft für Informatik ; 2 Language: German, English Publication details: Berlin [u.a.] : Springer, 1973Availability: Items available for reference: Library: Not for loan (1).
Log in to add tags
The Mathematica Guidebook: Programming.

by Trott, Michael.

Publication details: Springer, 2004Availability: Items available for loan: Library (2)Call number: 510-2004, ...
Lists:
Place hold Log in to add tags
Single-Channel Recording.

by Sakmann, Bert.

Publication details: Springer, 2009Availability: Not available: Checked out (1).
Place hold Log in to add tags
Systems and Software Verification Model-Checking Techniques and Tools B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, Ph. Schnoebelen

by Bérard, Beatrice [aut].

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, c2001Online access: Publisher description | Table of contents only Availability: Items available for loan: Library (1)Call number: 005-2001.
Place hold Log in to add tags
Theoretical computer science : introduction to Automata, compurability, complexity, algorithmics, randomization, communication, and cryptography / Juraj Hromkovič.

by Hromkovič, Juraj, 1958-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2004Online access: Contributor biographical information | Publisher description | Table of contents only Availability: Items available for loan: Library (1)Call number: 004-2004. Not available: Lost (1).
Place hold Log in to add tags
The Mathematica GuideBook for Numerics.

by Trott, Michael.

Publication details: Springer, 2005Availability: Items available for loan: Library (2)Call number: 510-2006, ...
Lists:
Place hold Log in to add tags
The Mathematica GuideBook for Symbolics.

by Trott, Michael.

Publication details: Springer, 2005Availability: Items available for loan: Library (1)Call number: 519-2006.
Lists:
Place hold Log in to add tags
Handbook of biological confocal microscopy / editor, James Pawley.

by Pawley, James B.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: New York, NY : Springer, c2006Online access: Publisher description | Table of contents only Availability: Items available for reference: Books at groups: Not for loan (1).
Log in to add tags
The Elements of Statistical Learning: Data Mining, Inference, and Prediction, Second Edition

by Hastie, Trevor.

Publication details: Springer, 2009Availability: Items available for loan: Library (2)Call number: 519-2009, ... Items available for reference: Library: Not for loan (1)Call number: 519-2009. Not available: Checked out (3).
Place hold Log in to add tags
English for Academic Correspondence and Socializing.

by Wallwork, Adrian.

Publication details: Springer, 2011Availability: Items available for loan: Library (1)Call number: 65x-2011.
Place hold Log in to add tags
English for presentations at international conferences / Adrian Wallwork.

by Wallwork, Adrian.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, c2010Availability: Items available for loan: Library (1)Call number: 8xx-2010.
Lists:
Place hold Log in to add tags
EndNote 1-2-3 easy! : reference management for the professional / Abha Agrawal.

by Agrawal, Abha.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: New York, NY : Springer Science+Business Media, Inc., c2006Online access: Publisher description | Table of contents only Availability: Items available for loan: Library (2)Call number: 8xx-2006, ...
Place hold Log in to add tags
English for Writing Research Papers.

by Wallwork, Adrian.

Publication details: Springer, 2011Availability: Not available: Checked out (1).
Lists:
Place hold Log in to add tags
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series).

by Kroening, Daniel.

Material type: Article Article; Format: print ; Literary form: Not fiction Publication details: Springer, 2008Availability: Items available for loan: Library (1)Call number: 004-2008.
Place hold Log in to add tags
Pages

Powered by Koha