Jump to main content

yr 〜
yr

Search results 22

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
  • LCCQA76.9.A23

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
  • LCCQA76.9.A23

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
  • LCCQA76.9.A23

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
  • LCCQA76.9.A23

A systematic catalogue of reusable abstract data types / Jürgen Uhl, Hans Albrecht Schmid. (Lecture notes in computer science)

A systematic catalogue of reusable abstract data types / Jürgen Uhl, Hans Albrecht Schmid. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1990.<M154-A133>
National Diet Library
  • LCCQA76.9.A23

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
  • LCCQA76.9.A23

Bibliography on abstract data types / B. Kutzler, F. Lichtenberger. (Informatik-Fachberichte ; 68)

Bibliography on abstract data types / B. Kutzler, F. Lichtenberger. (Informatik-Fachberichte ; 68)
Paper図書
Springer-Verlag1983.<M1-A17>
National Diet Library
  • LCCZ5643.A28 QA76.9.A23

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
  • LCCQA76.9.A23

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
  • LCCQA76.9.A23

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
  • LCCQA76.9.A23

Quality of communication-based systems : proceedings of an International Workshop held at the TU Berlin, Germany, September 1994

Quality of communication-based systems : proceedings of an International Workshop held at the TU Berlin, Germany, September 1994
Paper図書
edited by Günter HommelKluwer Academicc1995
Other Libraries in Japan
  • LCCQA76.9.A23

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
  • LCCQA76.9.A23

Introduction to abstract data types using Ada

Introduction to abstract data types using Ada
Paper図書
Bruce HillamPrentice Hallc1994
Other Libraries in Japan
  • LCCQA76.9.A23

Qualified types : theory and practice

Qualified types : theory and practice
Paper図書
Mark P. JonesCambridge University Press1994
Other Libraries in Japan
  • LCCQA76.9.A23

Abstract data types in standard ML :pbk

Abstract data types in standard ML :pbk
Paper図書
Rachel HarrisonWileyc1993
Other Libraries in Japan
  • LCCQA76.9.A23

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
  • LCCQA76.9.A23

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
  • LCCQA76.9.A23

A systematic catalogue of reusable abstract data types : gw : us

A systematic catalogue of reusable abstract data types : gw : us
Paper図書
Jürgen Uhl, Hans Albrecht SchmidSpringer-Verlagc1990
Other Libraries in Japan
  • LCCQA76.9.A23

Algebraic specification

Algebraic specification
Paper図書
edited by J.A. Bergstra, J. Heering, P. KlintACM Pressc1989
Other Libraries in Japan
  • LCCQA76.9.A23

Abstract data types : their specification, representation, and use : pbk.

Abstract data types : their specification, representation, and use : pbk.
Paper図書
Pete Thomas, Hugh Robinson, and Judy EmmsClarendon Press1988
Other Libraries in Japan
  • LCCQA76.9.A23
RSS