Jump to main content

yr 〜
yr

Search results 14

Recent trends in data type specification : 11th Workshop on specification of abstract data types : Sep 1995, Oslo, Norway. (Lecture Notes in Computer Science ; 1130)

Recent trends in data type specification : 11th Workshop on specification of abstract data types : Sep 1995, Oslo, Norway. (Lecture Notes in Computer Science ; 1130)
Paper図書
Springer1996.<M17-00-0369>
National Diet Library

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 : selected papers / Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki, eds. (Lecture notes in computer science)

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 : selected papers / Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1995.<M15-A9643>
National Diet Library
  • Author HeadingWorkshop on Specification of Abstract Data Types (10th : 1994 : Santa Margheri...

Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers / Hartmut Ehrig, Fernando Orejas, eds. (Lecture notes in computer science)

Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers / Hartmut Ehrig, Fernando Orejas, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9158>
National Diet Library
  • Author HeadingWorkshop on Specification of Abstract Data Types (9th : 1992 : Caldes de Malav...

Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers / M. Bidoit, C. Choppy, eds. (Lecture notes in computer science)

Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers / M. Bidoit, C. Choppy, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A8642>
National Diet Library
  • Author HeadingWorkshop on Specification of Abstract Data Types (8th : 1991 : Dourdan, France...

Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings / H. Ehrig ... [et al.] (eds.). (Lecture notes in computer science)

Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings / H. Ehrig ... [et al.] (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1991.<M15-A7753>
National Diet Library
  • Author HeadingWorkshop on Specification of Abstract Data Types (7th : 1990 : Wusterhausen/Do...

Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers / D. Sannella, A Tarlecki (eds.). (Lecture notes in computer science)

Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers / D. Sannella, A Tarlecki (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1988.<M15-A3870>
National Diet Library
  • Author HeadingWorkshop on Specification of Abstract Data Types (5th : 1987 : Gullane, Scotla...

Specification of abstract data types : Wiley : Teubner

Specification of abstract data types : Wiley : Teubner
Paper図書
Jacques Loeckx, Hans-Dieter Ehrich, and Markus WolfWileyc1996
Other Libraries in Japan

Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers

Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers
Paper図書
Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.)Springerc1996
Other Libraries in Japan
  • Author HeadingWorkshop on Specification of Abstract Data Types Haveraaen, Magne Owe, Olaf Da...

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 : selected papers : Berlin : New York

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 : selected papers : Berlin : New York
Paper図書
Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)Springer-Verlagc1995
Other Libraries in Japan
  • Author HeadingWorkshop on Specification of Abstract Data Types Astesiano, E. (Egidio) Reggio...

Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October, 26-30, 1992 : selected papers : gw : us

Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October, 26-30, 1992 : selected papers : gw : us
Paper図書
Hartmut Ehrig, Fernando Orejas, (eds.)Springer-Verlagc1994
Other Libraries in Japan
  • Author HeadingWorkshop on Specification of Abstract Data Types Ehrig, Hartmut Orejas, Fernan...

Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers : gw : us

Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers : gw : us
Paper図書
M. Bidoit, C. Choppy (eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Author HeadingWorkshop on Specification of Abstract Data Types Bidoit, M. (Michel) Choppy, C...

Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings : gw : us

Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings : gw : us
Paper図書
H. Ehrig ... [et al.], (eds.)Springer-Verlagc1991
Other Libraries in Japan
  • Author HeadingWorkshop on Specification of Abstract Data Types Ehrig, Hartmut

Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers : gw : us

Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers : gw : us
Paper図書
D. Sannella, A. Tarlecki (eds.)Springer-Verlagc1988
Other Libraries in Japan
  • Author HeadingWorkshop on Specification of Abstract Data Types Sannella, Donald Tarlecki, An...

Lecture notes in computer science

Lecture notes in computer science
Paper図書
Springer-Verlag
Other Libraries in Japan
  • Related Material...th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS W...

Reached to the end of result.

RSS