IST Austria Library

Refine your search

Your search returned 746 results.

Not what you expected? Check for suggestions
1.
Trees in algebra and programming : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings / CAAP '83 ; edited by G. Ausiello and M. Protasi.

by CAAP '83 (8th : 1983 : L'Aquila, Italy) | Ausiello, G. (Giorgio), 1941- | Protasi, M. (Marco), 1950-.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English, French Publisher: Berlin ; New York : Springer-Verlag, 1983Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
2.
STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985 / edited by K. Mehlhorn.

by Annual Symposium on Theoretical Aspects of Computer Science (2nd : 1985 : Saarbrücken, Germany) | Mehlhorn, Kurt, 1949-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1985Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
3.
Paragon : a language using type hierarchies for the specification, implementation, and selection of abstract data types / Mark Steven Sherman.

by Sherman, Mark Steven.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1985Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
4.
ECOOP '88, European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, proceedings / S. Gjessing, K. Nygaard, eds.

by ECOOP (Conference) (2nd : 1988 : Oslo, Norway) | Gjessing, S. (Stein), 1950- | Nygaard, Kristen, 1926-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1988Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
5.
ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, the Netherlands, June 29-July 3, 1992 : proceedings / O. Lehrmann Madsen, (ed.).

by ECOOP (Conference) (6th : 1992 : Utrecht, Netherlands) | Madsen, O. Lehrmann (Ole Lehrmann), 1950-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1992Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
6.
Object-oriented programming : 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994 : proceedings / Mario Tokoro, Remo Pareschi (eds.).

by ECOOP (Conference) (8th : 1994 : Bologna, Italy) | Tokoro, Mario, 1947- | Pareschi, Remo.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
7.
Randomness and completeness in computational complexity / Dieter van Melkebeek.

by Melkebeek, Dieter van.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
8.
Emergent neural computational architectures based on neuroscience : towards neuroscience-inspired computing / Stefan Wermter, Jim Austin, David Willshaw.

by Wermter, Stefan | Austin, James, 1959- | Willshaw, David J.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
9.
Advances in natural language processing : third international conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002 : proceedings / Elisabete Ranchhod, Nuno J. Mamede (eds.).

by PorTAL 2002 (2002 : Faro, Portugal) | Ranchhod, Elisabete, 1948- | Mamede, Nuno J. (Nuno João) | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
10.
Developments in applied artificial intelligence : 15th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2002, Cairns, Australia, June 17-20, 2002 : proceedings / Tim Hendtlass, Moonis Ali (eds.).

by International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (15th : 2002 : Cairns, Qld.) | Hendtlass, Tim, 1945- | Ali, Moonis | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2002Other title: IEA/AIE 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
11.
Foundations of information and knowledge systems : second international symposium, FoIKS 2002, Salzau Castle, Germany, February 20-23, 2002 : proceedings / Thomas Eiter, Klaus-Dieter Schewe (eds.).

by FoIKS 2002 (2nd : 2002 : Salzau Castle, Germany) | Eiter, Thomas, 1966- | Schewe, Klaus-Dieter | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2002Other title: FoIKS 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
12.
Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.).

by International Andrei Ershov Memorial Conference (4th : 2001 : Akademgorodok, Novosibirsk, Russia) | Bjørner, D. (Dines), 1937- | Broy, M, 1949- | Zamulin, A. V. (Aleksandr Vasilʹevich) | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2001Other title: PSI 2001.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
13.
Neural nets : 13th Italian Workshop on Neural Nets, WIRN VIETRI 2002, Vietri sul Mare, Italy, May 30-June 1, 2002 : revised papers / Maria Marinaro, Roberto Tagliaferri (eds.).

by Italian Workshop on Neural Nets (13th : 2002 : Vietri sul Mare, Italy) | Marinaro, M | Tagliaferri, Roberto | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2002Other title: WIRN VIETRI 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
14.
Advances in case-based reasoning : 4th European workshop, EWCBR-98, Dublin, Ireland, September 23-25, 1998 : proceedings / Barry Smyth, Pádraig Cunningham (eds.).

by EWCBR-98 (1998 : Dublin, Ireland) | Smyth, Barry, 1970- | Cunningham, Pádraig, 1962- | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©1998Other title: EWCBR-98, advances in case-based reasoning.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
15.
On the move to meaningful Internet systems 2002 : CoopIS, DOA, and ODBASE : confederated international conferences, CoopIS, DOA, and ODBASE 2002 : proceedings / Robert Meersman, Zahir Tari et al. (eds.).

by International Conference on Cooperative Information Systems (10th : 2002 : Irvine, Calif.) | Meersman, R | Tari, Zahir | LINK (Online service) | International Symposium on Distributed Objects and Applications (4th : 2002 : Irvine, Calif.) | International Conference on Ontologies Databases and Applications of Semantics (1st : 2002 : Irvine, Calif.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2002Other title: CoopIS 02 | DOA 02 | ODBASE 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
16.
Automata logics, and infinite games : a guide to current research / Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.).

by Grädel, Erich, 1958- | Thomas, Wolfgang, 1947- | Wilke, Thomas, 1965- | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
17.
FST TCS 2002 : foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December 12-14, 2002 : proceedings / Manindra Agrawal, Anil Seth (eds.).

by Conference on Foundations of Software Technology and Theoretical Computer Science (22nd : 2002 : Kānpur, India) | Agrawal, Manindra, 1966- | Seth, Anil, 1965- | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
18.
OpenMP shared memory parallel programming : International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26-27, 2003 : proceedings / Michael J. Voss (ed.).

by International Workshop on OpenMP Applications and Tools (2003 : Toronto, Ont.) | Voss, Michael J, 1973- | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2003Other title: WOMPAT 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
19.
Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : revised lectures / Frank S. de Boer [and others] (eds.).

by FMCO (Symposium) (1st : 2002 : Leiden, Netherlands) | Boer, Frank S. de.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
20.
String processing and information retrieval : 10th international symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003 : proceedings / Mario A. Nascimento, Edleno S. de Moura, Arlindo L. Oliveira (eds.).

by SPIRE (Symposium) (10th : 2003 : Manaus, Brazil) | Nascimento, Mario A | Moura, Edleno S. de, 1972- | Oliveira, Arlindo L | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2003Other title: SPIRE 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags

Powered by Koha