IST Austria Library

Your search returned 7 results.

Not what you expected? Check for suggestions
1.
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
2.
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday / Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.).

by Futatsugi, Kokichi | Jouannaud, Jean-Pierre | Meseguer, José | Goguen, Joseph.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Online 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.
Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings / S. Kaplan, J.-P. Jouannaud, eds.

by Kaplan, S. (Stéphane), 1961- | Jouannaud, Jean-Pierre.

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.
Rewriting techniques and applications : Dijon, France, May 20-22, 1985 / edited by Jean-Pierre Jouannaud.

by Jouannaud, Jean-Pierre | International Conference on Rewriting Techniques and Applications (1st : 1985 : Dijon, France).

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.
Functional programming languages and computer architecture : Nancy, France, September 1985 / edited by Jean-Pierre Jouannaud.

by Jouannaud, Jean-Pierre.

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
6.
TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings / M.-C. Gaudel, J.-P. Jouannaud (eds.).

by International Joint Conference on Theory and Practice of Software Development (4th : 1993 : Orsay, France) | Gaudel, M.-C. (Marie-Claude) | Jouannaud, Jean-Pierre | Colloquium on Trees in Algebra and Programming (1993 : Orsay, France) | FASE (Conference) (1993 : Orsay, France).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1993Online 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.
Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / Jean-Pierre Jouannaud, Zhong Shao (eds.).

by CPP (Conference) (1st : 2011 : Kʻen-ting, Taiwan) | Jouannaud, Jean-Pierre | Shao, Zhong, 1968-.

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