IST Austria Library

Your search returned 36 results.

Not what you expected? Check for suggestions
1.
Computer algebra : EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983 / edited by J.A. van Hulzen.

by European Computer Algebra Conference (1983 : London, England) | Hulzen, J. A. van.

Material type: Text Text; Format: print ; Literary form: Not fiction 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.
Perspectives of system informatics : third International Andrei Ershov memorial conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.).

by Bjørner, D. (Dines), 1937- [edt] | Broy, M, 1949- [edt] | Zamulin, Alexandre V [edt] | International Andrei Ershov Memorial Conference on Persepctives of System Informatics, PSI (3 : 06-07-1999 - 09-07-1999 : Novosibirsk, Russia).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©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
3.
Algorithm theory, SWAT '92 : third Scandinavian workshop on algorithm theory, Helsinki, Finland, July 8-10, 1992 : proceedings / O. Nurmi, E. Ukkonen (eds.).

by Nurmi, O. (Otto), 1953- [edt] | Ukkonen, E. (Esko), 1950- [edt] | Scandinavian Workshop on Algorithm Theory, SWAT (3 : 1992 : Helsinki, Finland).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©1992Other title: Algorithm theory | SWAT '92.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
4.
Mathematical foundations of computer science 1999 : 24th international symposium, MFCS'99, Szklarska Poręba, Poland, September 6-10, 1999 : proceedings / Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki (eds.).

by Symposium on Mathematical Foundations of Computer Science (1972- ) (24th : 1999 : Szklarska Poręba, Poland) | Kutyłowski, Mirosław | Pacholski, Leszek | Wierzbicki, Tomasz.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online 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.
Fundamentals of computation theory : 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings / Rūsin̦š Freivalds (ed.).

by FCT 2001 (2001 : Rīga, Latvia) | Freĭvald, R. V.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©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
6.
Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / Mogens Nielsen, Wolfgang Thomas (eds.).

by CSL '97 (1997 : Århus, Denmark) | Thomas, Wolfgang, 1947- | Nielsen, M. (Mogens), 1949- | European Association for Computer Science Logic.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©1998Other title: CSL '97 | EACSL.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
7.
Computer science logic : 10th international workshop, CSL' 96, Annual Conference of the EACSL, Utrecht, the Netherlands, September 21-27, 1996 : selected papers / Dirk van Dalen, Marc Bezem (eds.).

by CSL '96 (1996 : Utrecht, Netherlands) | Dalen, D. van (Dirk), 1932- | Bezem, M. (Marc), 1956- | European Association for Computer Science Logic.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hng Kong : Springer-Verlag, ©1997Other title: CSL' 96 | EACSL.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
8.
Applied algebra, algebraic algorithms, and error-correcting codes : 13th international symposium, AAECC-13, Honolulu, Hawaii, USA, November 15-19, 1999 : proceedings / Marc Fossorier [and others] (eds.).

by AAECC-13 (1999 : Honolulu, Hawaii) | Fossorier, Marc, 1964-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1999Online 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.
Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings / S. Kaplan, M. Okada (eds.).

by International CTRS Workshop (2nd : 1990 : Montréal, Québec) | Kaplan, S. (Stéphane), 1961- | Okada, M. (Mitsuhiro), 1954-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1991Other title: CTRS.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
10.
STACS 98 : 15th annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998 : proceedings / Michel Morvan, Christoph Meinel, Daniel Krob (eds).

by Annual Symposium on Theoretical Aspects of Computer Science (15th : 1998 : Paris, France) | Morvan, Michel | Meinel, Christoph | Krob, Daniel.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1998Online 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.
Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings / Martín Abadi, Takayasu Ito (eds.).

by TACS'97 (1997 : Sendai-shi, Miyagi-ken, Japan) | Abadi, Martín | Itō, T. (Takayasu), 1940-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1997Online 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.
SWAT 90 : 2nd Scandinavian Workshop on Algorithm Theory, Berger, Sweden [i.e. Norway], July 11-14, 1990 : proceedings / J.R. Gilbert, R. Karlsson (eds.).

by Scandinavian Workshop on Algorithm Theory (2nd : 1990 : Bergen, Norway) | Gilbert, J. R. (John R.), 1953- | Karlsson, R. (Rolf), 1950-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1990Online 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.
Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings / Jörg Flum, Mario Rodrʹiguez-Artalejo (eds.).

by Workshop on Computer Science Logic (13th : 1999 : Madrid, Spain) | Flum, Jörg | Rodríguez Artalejo, M. (Mario).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 1999Other title: CSL'99.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.
Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / Hans Kleine Büning (ed.).

by Workshop on Computer Science Logic (9th : 1995 : Paderborn, Germany) | Kleine Büning, H. (Hans) | European Association for Computer Science Logic.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1996Other title: CSL '95.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.
Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Craców, Poland, September 2-6, 1996 : proceedings / Wojciech Penczek, Andrzej Szałas, eds.

by Penczek, Wojciech | Szałas, Andrzej, 1958- | Symposium on Mathematical Foundations of Computer Science (1972- ) (21st : 1996 : Kraków, Poland).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1996Other title: MFCS '96.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.
STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings / Ernst W. Mayr, Claude Puech, eds.

by Annual Symposium on Theoretical Aspects of Computer Science (12th : 1995 : Munich, Germany) | Mayr, Ernst | Puech, Claude.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1995Online 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.
Mathematical foundations of computer science, 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977 / edited by J. Gruska.

by Symposium on Mathematical Foundations of Computer Science (1972- ) (6th : 1977 : Tatranská Lomnica, Slovakia) | Gruska, Jozef.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1977Online 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.
Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 / edited by J. Bečvář.

by Symposium on Mathematical Foundations of Computer Science (1972- ) (8th : 1979 : Olomouc, Czech Republic) | Bečvář, J, 1926-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1979Online 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.
Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 / edited by Jacques Calmet.

by European Computer Algebra Conference (1982 : Marseille, France) | Calmet, Jacques.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1982Other title: EUROCAM '82.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
20.
EUROSAM 84 : International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984 / edited by John Fitch.

by International Symposium on Symbolic and Algebraic Computation (3rd : 1984 : Cambridge, England) | Fitch, John, 1945-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1984Online 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