IST Austria Library

Your search returned 5 results.

Not what you expected? Check for suggestions
1.
Foundations of software science and computation structures : First International Conference, FoSSaCS '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʼ98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Maurice Nivat (ed.).

by FoSSaCS (Conference) (1st : 1998 : Lisbon, Portugal) | Nivat, M | LINK (Online service) | International Joint Conference on Theory and Practice of Software Development (8th : 1998 : Lisbon, Portugal).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1998Other title: FoSSaCS '98.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
2.
Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings / V.S. Alagar, Maurice Nivat (eds.).

by International Conference on Algebraic Methodology and Software Technology (4th : 1995 : Montréal, Québec) | Alagar, Vangalur S, 1940- | Nivat, M.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 1995Other title: AMAST '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
3.
CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings / M. Dauchet, M. Nivat.

by Colloquium on Trees in Algebra and Programming (13th : 1988 : Nancy, France) | Dauchet, M. (Max), 1946- | Nivat, M | European Symposium on Programming (2nd : 1988 : Nancy, France).

Material type: Text Text; Format: available online remote; 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
4.
Automata on infinite words / Ecole de printemps d'informatique théorique, Le Mont Dore, May 14-18, 1984 ; edited by M. Nivat and D. Perrin.

by Ecole de printemps d'informatique théorique (1984 : Le Mont-Dore, France) | Nivat, M | Perrin, Dominique.

Material type: Text Text; Format: available online remote; 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
5.
Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1-5, 1996 Proceedings / edited by Martin Wirsing, Maurice Nivat.

by International Conference on Algebraic Methodology and Software Technology (5th : 1996 : Munich, Germany) | Wirsing, M. (Martin) | Nivat, M.

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