Refine your search

Your search returned 19996 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: Click here to access online | ZZ | Zentralblatt MATH 01 Availability: Items available for loan: 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 loan: Library (1). Location(s): Computer Science History 001.64/2.
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 loan: Library (1). Location(s): Computer Science History 001.6424.
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 loan: Library (1). Location(s): Computer Science History .
5.
The Mathematica Guidebook: Programming.

by Trott, Michael.

Publisher: Springer, 2004Availability: Items available for loan: Library (2). Location(s): 510.
Lists:
6.
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.
7.
8.
The Mathematica GuideBook for Numerics.

by Trott, Michael.

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

by Trott, Michael.

Publisher: Springer, 2005Availability: Items available for loan: Library (1). Location(s): 519.
Lists:
10.
Handbook of biological confocal microscopy

by Pawley, James B.

Publisher: New York, NY Springer 2006Online access: Publisher description Publisher description | Table of contents only Table of contents only | Inhaltsverzeichnis Inhaltsverzeichnis Availability: Items available for loan: Books at IST Austria (1). Location(s): SSU Bioimaging 570.282.
11.
The Elements of Statistical Learning: Data Mining, Inference, and Prediction, Second Edition

by Hastie, Trevor.

Publisher: Springer, 2009Availability: Items available for loan: Library (5). Checked out (1). Location(s): 519.
12.
English for Presentations at International Conferences.

by Wallwork, Adrian.

Publisher: Springer, 2010Availability: Items available for loan: Library (1). Location(s): 8xx.
Lists:
13.
EndNote 1 - 2 - 3 Easy!: Reference Management for the Professional.

by Agrawal, Abha.

Publisher: Springer, 2009Availability: Items available for loan: Library (2). Location(s): 8xx.
14.
English for Writing Research Papers.

by Wallwork, Adrian.

Publisher: Springer, 2011Availability: Items available for loan: Library (1). Location(s): 8xx.
15.
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.
16.
Bioinspired Computation in Combinatorial Optimization: Algorithms and Their Computational Complexity.

by Neumann, Frank.

Publisher: Springer, 2010Availability: Items available for reference: Books at IST Austria (1). Location(s): Barton Group .
17.
All of Statistics: A Concise Course in Statistical Inference (Springer Texts in Statistics).

by Wasserman, Larry.

Publisher: Springer, 2010Availability: Items available for loan: Library (1). Items available for reference: Books at IST Austria [Call number: 519.5] (1).
Checked out (1).
Location(s): 519.
18.
A Primer on Scientific Programming with Python (Texts in Computational Science and Engineering).

by Langtangen, Hans Petter.

Publisher: Springer, 2012Availability: Items available for loan: Library (1). Location(s): 518.
19.
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra (Undergraduate Texts in Mathematics).

by Cox, David A.

Publisher: Springer, 2007Availability: Items available for loan: Library (1), Books at IST Austria (1). Location(s): 516, Wagner Group 516.35.
20.
Feynman-Kac Formulae.

by Moral, Pierre Del.

Publisher: Springer, 2004Availability: Items available for loan: Library (1). Location(s): 53x.
Lists:

Powered by Koha