Your search returned 5 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.
Algebraic topology

by Spanier, Edwin H.

Edition: 2. corr. Springer edMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: New York [u.a.] Springer [1989]Availability: Items available for loan: Library (1), Books at IST Austria (1). Location(s): Computer Science History 513, Wagner Group .

Powered by Koha