IST Austria Library

Refine your search

Your search returned 20094 results.

Not what you expected? Check for suggestions
1.
The design of well-structured and correct programs / Suad Alagić; Michael A. Arbib.

by Alagić, Suad | Arbib, Michael A.

Edition: 2., corr. print. Publisher: New York [u.a.] : Springer, 1979Availability: No items available
Log in to add tags
2.
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 .
Place hold Log in to add tags
3.
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.
Place hold Log in to add tags
4.
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.
Place hold Log in to add tags
5.
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 .
Place hold Log in to add tags
8.
The Mathematica Guidebook: Programming.

by Trott, Michael.

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

by Sakmann, Bert.

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

by Trott, Michael.

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

by Trott, Michael.

Publisher: Springer, 2005Availability: Items available for loan: Library (1). Location(s): 519.
Lists:
Place hold Log in to add tags
15.
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.
Place hold Log in to add tags
16.
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.
Place hold Log in to add tags
17.
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
18.
English for Presentations at International Conferences.

by Wallwork, Adrian.

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

by Wallwork, Adrian.

Publisher: Springer, 2011Availability: Items available for loan: Library (1). Location(s): 8xx.
Lists:
Place hold Log in to add tags

Powered by Koha