Refine your search

Your search returned 22132 results.

Not what you expected? Check for suggestions
1.
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).

Publisher: Berlin [u.a.] : Springer, 2002Online access: statement of content Availability: Items available for reference: Library (1). Location(s): Computer Science History .
2.
Algorithmische Sprache und Programmentwicklung

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

Publisher: Berlin [u.a.] : Springer, 1981Availability: Items available for reference: Library (1). Location(s): Computer Science History .
3.
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.

Publisher: Berlin [u.a] : Springer, 1972Availability: Items available for reference: Library (1). Location(s): Computer Science History .
4.
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).

Language: German, English Publisher: Berlin [u.a.] : Springer, 1973Availability: Items available for reference: Library (1). Location(s): Computer Science History .
7.
The Mathematica Guidebook: Programming.

by Trott, Michael.

Publisher: Springer, 2004Availability: Items available for loan: Library (2). Location(s): 510-2004.
Lists:
8.
Single-Channel Recording.

by Sakmann, Bert.

Publisher: Springer, 2009Availability: No items available Checked out (1).
9.
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 Publisher: Berlin ; New York : Springer, c2001Online access: Publisher description | Table of contents only Availability: Items available for loan: Library (1). Location(s): 005-2001.
10.
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 Publisher: Berlin ; New York : Springer, 2004Online access: Contributor biographical information | Publisher description | Table of contents only Availability: Items available for loan: Library (1). Location(s): 004-2004.
11.
The Mathematica GuideBook for Numerics.

by Trott, Michael.

Publisher: Springer, 2005Availability: Items available for loan: Library (2). Location(s): 510-2006.
Lists:
12.
The Mathematica GuideBook for Symbolics.

by Trott, Michael.

Publisher: Springer, 2005Availability: Items available for loan: Library (1). Location(s): 519-2006.
Lists:
14.
Handbook of biological confocal microscopy / editor, James Pawley.

by Pawley, James B.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York, NY : Springer, c2006Online access: Publisher description | Table of contents only Availability: Items available for reference: Books at groups (1). Location(s): SSU Bioimaging .
15.
The Elements of Statistical Learning: Data Mining, Inference, and Prediction, Second Edition

by Hastie, Trevor.

Publisher: Springer, 2009Availability: Items available for loan: Library (1). Items available for reference: Library [Call number: 519-2009] (1).
Checked out (4).
Location(s): 519-2009.
16.
English for Academic Correspondence and Socializing.

by Wallwork, Adrian.

Publisher: Springer, 2011Availability: No items available Checked out (1).
17.
English for presentations at international conferences / Adrian Wallwork.

by Wallwork, Adrian.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York : Springer, c2010Availability: Items available for loan: Library (1). Location(s): 8xx-2010.
Lists:
18.
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 Publisher: New York, NY : Springer Science+Business Media, Inc., c2006Online access: Publisher description | Table of contents only Availability: Items available for loan: Library (2). Location(s): 8xx-2006.
19.
English for Writing Research Papers.

by Wallwork, Adrian.

Publisher: Springer, 2011Availability: Items available for loan: Library (1). Location(s): 8xx-2011.
20.
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 Publisher: Springer, 2008Availability: Items available for loan: Library (1). Location(s): 004-2008.

Powered by Koha