IST Austria Library

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 .
Log in to add tags
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 .
Log in to add tags
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 .
Log in to add tags
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 .
Log in to add tags
7.
The Mathematica Guidebook: Programming.

by Trott, Michael.

Publisher: Springer, 2004Availability: Items available for loan: Library (2). Location(s): 510-2004.
Lists:
Place hold Log in to add tags
8.
Single-Channel Recording.

by Sakmann, Bert.

Publisher: Springer, 2009Availability: No items available Checked out (1).
Place hold Log in to add tags
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.
Place hold Log in to add tags
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.
Place hold Log in to add tags
11.
The Mathematica GuideBook for Numerics.

by Trott, Michael.

Publisher: Springer, 2005Availability: Items available for loan: Library (2). Location(s): 510-2006.
Lists:
Place hold Log in to add tags
12.
The Mathematica GuideBook for Symbolics.

by Trott, Michael.

Publisher: Springer, 2005Availability: Items available for loan: Library (1). Location(s): 519-2006.
Lists:
Place hold Log in to add tags
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 .
Log in to add tags
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.
Place hold Log in to add tags
16.
English for Academic Correspondence and Socializing.

by Wallwork, Adrian.

Publisher: Springer, 2011Availability: No items available Checked out (1).
Place hold Log in to add tags
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:
Place hold Log in to add tags
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.
Place hold Log in to add tags
19.
English for Writing Research Papers.

by Wallwork, Adrian.

Publisher: Springer, 2011Availability: Items available for loan: Library (1). Location(s): 8xx-2011.
Lists:
Place hold Log in to add tags
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.
Place hold Log in to add tags

Powered by Koha