Refine your search

Your search returned 33 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
No cover image available
Recent trends in data type specification : 8th workshop on specification of abstract data types joint with the 3rd COMPASS workhop, Dourdan, France, Aug. 26-30, 1991 / edited by M. Bidoit and C. Choppy

by Workshop on specification of abstract data types (8th : 1991 | .

Series: Lecture notes in computer science ; v.655Edition: Language: English Publication details: ; Berlin : Springer-Verlag, 1993 ; 1993Availability: Items available for loan: 1 Call number: 681.3.06 Wor:8:91.

Place hold Add to cart
No cover image available
String-rewriting systems

by Book, Ronald V | Otto, Friedrich | .

Series: Edition: Language: English Publication details: ; New York : Springer-Verlag, 1993 ; 1993Availability: Items available for loan: 2 Call number: 681.3.06 Boo(2), ...

Place hold Add to cart
No cover image available
Term graph rewriting : theory and practice / edited by Sleep M R, Plasmeijer M J and van Eekelen M C J D

by | .

Series: Edition: Language: English Publication details: ; Chichester : John Wiley, 1993 ; 1993Availability: Items available for loan: 1 Call number: 681.3.06:51 Ter.

Place hold Add to cart
No cover image available
Recent trends in data type specification : 9th workshop on specification of abstract data types joint with 4th COMPASS workshop, Caldes de Malavella, Spain, 26-30 Oct., 1992 / edited by Hartmut Ehrig and Fernando Orejas

by Workshop on specification of abstract data types (9th : 1992 | .

Series: Lecture notes in computer science ; v.785Edition: Language: English Publication details: Berlin ; Springer-Verlag ; 1994Availability: Items available for loan: 1 Call number: 681.3.06 Wor:9:92.

Place hold Add to cart
No cover image available
Higher-order algebra, logic and term rewriting : first international workshop, HOA'93, Amsterdam, The Netherlands, Sept.23-24, 1993 / edited by Jan Heering...[et al.]

by | .

Series: Lecture notes in computer science ; v.816Edition: Language: English Publication details: Berlin ; Springer-Verlag ; 1994Availability: Items available for loan: 1 Call number: 681.3.06:512 Hig:1:93.

Place hold Add to cart
No cover image available
Conditional term rewriting systems : 1st international workshop proceedings, Orsay, France, July 8-10, 1987 / edited by S. Kaplan and J.-P. Jouannaud

by | .

Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1988Availability: Items available for loan: 1 Call number: 681.3.06 Con:1:87.

Place hold Add to cart
No cover image available
Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, May 17-21, 1993 / edited by Hubert Comon and Jean-Pierre Jouannaud

by French spring school of Theoretical Computer Science(1993 | .

Series: Lecture notes in computer science ; v.909Edition: Language: English Publication details: Berlin ; Springer-Verlag ; 1995Availability: Items available for loan: 1 Call number: 681.3.06:51 Fre:93.

Place hold Add to cart
No cover image available
Recent trends in data type specification : 5th workshop on specification of abstract data types, Gullane, Scotland, Sept. 1-4, 1987 / edited by D. Sannella and A. Tarlecki

by Workshop on specification of abstract data types (5th : 1987 | .

Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1988Availability: Items available for loan: 1 Call number: 681.3.06 Wor:5:87.

Place hold Add to cart
No cover image available
Efficient graph rewriting and its implementation

by Dorr, Heiko | .

Series: Lecture notes in computer science ; v.922Edition: Language: English Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: 1 Call number: 681.3.06 Dor.

Place hold Add to cart
No cover image available
Recent trends in data type specification : 10th workshop on specification of abstract data types joint with the 5th COMPASS workshop, S. Margherita, Italy, May 30-June 3, 1994 / edited by Egidio Astesiano, Gianna Reggio and Andrzej Tarlecki

by Workshop on specification of abstract data types (10th : 199 | .

Series: Lecture notes in computer science ; v.906Edition: Language: English Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: 1 Call number: 681.3.06 Wor:10:94.

Place hold Add to cart
Pages

Powered by Koha