IST Austria Library

Refine your search

Your search returned 311 results.

Not what you expected? Check for suggestions
1.
ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings / H. Ganzinger, ed.

by European Symposium on Programming (2nd : 1988 : Nancy, France) | Ganzinger, H. (Harald), 1950- | Colloquium on Trees in Algebra and Programming CAAP '88 (13th : 1988 : Nancy, France) [].

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
2.
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
3.
ECOOP 2000, object-oriented programming : 14th European conference, Sophia Antipolis and Cannes, France, June 12-16, 2000 : proceedings / Elisa Bertino (ed.).

by ECOOP (Conference) (14th : 2000 : Sophia-Antipolis, France; Cannes, France) | Bertino, Elisa.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : 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
4.
ECOOP'99 : object oriented programming : 13th European Conference, Lisbon, Portugal, June 1999 : proceedings / Rachid Guerraoui (ed.).

by ECOOP (Conference) (13th : 1999 : Lisbon, Portugal) | Guerraoui, Rachid.

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.
Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers / K.-K. Lau (ed.).

by International Workshop on Logic-based Program Synthesis and Transformation (10th : 2000 : London, England) | Lau, K.-K. (Kung-Kiu), 1953-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : 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.
Logic program synthesis and transformation : 7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings / N.E. Fuchs (ed.).

by International Workshop on Logic Program Synthesis and Transformation (7th : 1997 : Leuven, Belgium) | Fuchs, N. E. (Norbert E.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 1998Other title: LOPSTR'97.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.
Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.).

by International Conference on Integrated Formal Methods (2nd : 2000 : Dagstuhl Castle, Germany) | Grieskamp, Wolfgang, 1960- | Santen, Thomas, 1965- | Stoddart, Bill, 1946-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : 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
8.
Object-oriented technology : ECOOP 2001 Workshop Reader : ECOOP 2001 workshops, panels, and posters : Budapest, Hungary, June 18-22, 2001 : proceedings / Ákos Frohner (ed.).

by ECOOP (Conference) (15th : 2001 : Budapest, Hungary) | Frohner, Ákos.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©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
9.
Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / Michael Butler, Luigia Petre, Kaisa Sere, eds.

by International Conference on Integrated Formal Methods (3rd : 2002 : Turku, Finland) | Butler, Michael, 1967- | Petre, Luigia, 1974- | Sere, K. (Kaisa), 1954-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©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.
Logic programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings / Bart Demoen, Vladimir Lifschitz (eds.).

by International Conference on Logic Programming (20th : 2004 Saint Malo, France) | Demoen, Bart | Lifschitz, Vladimir.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: 20th International Conference, ICLP | Twentieth International Conference, ICLP | International Conference, ICLP 2004 | ICLP 2004.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.
Object-oriented methodologies and systems : international symposium, ISOOMS '94, Palermo, Italy, September 21-22, 1994 : proceedings / Elisa Bertino, Susan Urban, eds.

by ISOOMS '94 (1994 : Palermo, Italy) | Bertino, Elisa | Urban, Susan.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1994Other title: ISOOMS '94.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.
Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, eds.

by PLILP '94 (1994 : Madrid, Spain) | Hermenegildo, Manuel | Penjam, Jaan, 1955-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1994Other title: PLILP '94.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.
Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / ed. by Hermann A. Maurer.

by Maurer, Hermann A, 1941- [edt] | Colloquium on Automata, Languages, and Programming (6 : 16-07-1979 - 20-07-1979 : Graz).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 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
14.
Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 1320, 1993 : proceedings / Andrei Voronkov (ed.).

by LPAR (Conference) (4th : 1993 : Saint Petersburg, Russia) | Voronkov, Andrei, 1959- [edt].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : SpringerVerlag, ©1993Other title: LPAR '93.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.
Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings / A. Voronkov (ed.).

by LPAR (Conference) (3rd : 1992 : Saint Petersburg, Russia) | Voronkov, Andrei, 1959- [edt] | International Conference on Logic Programming and Automated Reasoning, LPAR ((St. Petersburg, Russia) : 1992).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : 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
16.
Coordination models and languages : 9th international conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings / Amy L. Murphy, Jan Vitek (eds.).

by COORDINATION (Conference) (9th : 2007 : Paphos, Cyprus) | Murphy, Amy L | Vitek, Jan (Computer scientist).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: COORDINATION 2007.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
17.
Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings / Marcello M. Bonsangue, Einar Broch Johnsen (eds.).

by International Conference on Formal Methods for Open Object-Based Distributed Systems (9th : 2007 : Paphos, Cyprus) | Bonsangue, Marcello M | Johnsen, Einar Broch | IFIP Working Group 6.1.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: FMOODS 2007.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
18.
Software engineering for multi-agent systems V : research issues and practical applications / Ricardo Choren [and others] (eds.).

by Choren, Ricardo | SELMAS 2006 (2006 : Shanghai, China).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Online 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.
Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday / Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.).

by Comon, Hubert | Kirchner, Claude | Kirchner, H. (Hélène).

Source: Springer e-booksMaterial type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Online 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.
Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings / Jim Davies, Jeremy Gibbons (eds.).

by International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England) | Davies, Jim, 1964- | Gibbons, Jeremy, 1966-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: IFM 2007.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