本文に飛ぶ

年 〜
年

検索結果 26 件

CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings / M. Dauchet, M. Nivat (eds.). (Lecture notes in computer science)

CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings / M. Dauchet, M. Nivat (eds.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1988.<M15-A2907>
国立国会図書館
  • 著者標目...946- Nivat, M. Colloquium on Trees in Algebra and Programming. European Symposium on Program...

Trees in algebra and programming, CAAP '94 : 19th International Colloquium, Edinburgh, U.K., April 11-13, 1994 : proceedings / Sophie Tison, ed. (Lecture notes in computer science)

Trees in algebra and programming, CAAP '94 : 19th International Colloquium, Edinburgh, U.K., April 11-13, 1994 : proceedings / Sophie Tison, ed. (Lecture notes in computer science)
紙図書
Springer-Verlagc1994.<M15-A9211>
国立国会図書館

Trees in algebra and programming -- CAAP'96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996 : proceedings

Trees in algebra and programming -- CAAP'96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996 : proceedings
紙図書
Hélène Kirchner, (ed.)Springerc1996
全国の図書館

CAAP '92 : 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, proceedings / J.-C. Raoult, (ed.). (Lecture notes in computer science)

CAAP '92 : 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, proceedings / J.-C. Raoult, (ed.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1992.<M15-A8200>
国立国会図書館

Trees in algebra and programming, CAAP'94 : 19th International Colloquium, Edinburgh, U.K., April 11-13, 1994 : proceedings : us : gw

Trees in algebra and programming, CAAP'94 : 19th International Colloquium, Edinburgh, U.K., April 11-13, 1994 : proceedings : us : gw
紙図書
Sophie Tison, edSpringer-Verlagc1994
全国の図書館

CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings / A. Arnold (ed.). (Lecture notes in computer science)

CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings / A. Arnold (ed.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1990.<M15-A6893>
国立国会図書館

TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings / Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, eds. (Lecture notes in computer science)

TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings / Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, eds. (Lecture notes in computer science)
紙図書
Springerc1995.<M15-A9639>
国立国会図書館

CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings : gw : us

CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings : gw : us
紙図書
A. Arnold (ed.)Springer-Verlagc1990
全国の図書館

CAAP '92 : 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992 : proceedings : gw : us

CAAP '92 : 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992 : proceedings : gw : us
紙図書
J.-C. Raoult (ed.)Springer-Verlagc1992
全国の図書館

TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings : us

TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings : us
紙図書
Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, (eds.)Springerc1995
全国の図書館

Mathematical foundations of software development / Colloquium on Trees in Algebra and Programming (CAAP '85) ; edited by Hartmut Ehrig ... [et al.]. (Lecture notes in computer science) (Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 1)

Mathematical foundations of software development / Colloquium on Trees in Algebra and Programming (CAAP '85) ; edited by Hartmut Ehrig ... [et al.]. (Lecture notes in computer science) (Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 1)
紙図書
Springer-Verlagc1985.<M15-A3969>
国立国会図書館

CAAP 86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986 : proceedings / edited by P. Franchi-Zannettacci. (Lecture notes in computer science)

CAAP 86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986 : proceedings / edited by P. Franchi-Zannettacci. (Lecture notes in computer science)
紙図書
Springer-Verlagc1986.<M15-A4941>
国立国会図書館

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.). (Lecture notes in computer science)

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.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1993.<M15-A8718>
国立国会図書館

TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings : gw : us

TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings : gw : us
紙図書
M.-C. Gaudel, J.-P. Jouannaud (eds.)Springer-Verlagc1993
全国の図書館

Colloquium on Trees in Algebra and Programming (CAAP '91) : gw : us

Colloquium on Trees in Algebra and Programming (CAAP '91) : gw : us
紙図書
S. Abramsky, T.S.E. Maibaum, (eds.)Springer-Verlagc1991
全国の図書館

ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings : gw : us

ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings : gw : us
紙図書
H. Ganzinger (ed.)Springer-Verlagc1988
全国の図書館

ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings / H. Ganzinger, ed. (Lecture notes in computer science)

ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings / H. Ganzinger, ed. (Lecture notes in computer science)
紙図書
Springer-Verlagc1988.<M15-A2909>
国立国会図書館

CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings : gw : us

CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings : gw : us
紙図書
M. Dauchet, M. Nivat (eds.)Springer-Verlagc1988
全国の図書館

Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) : gw : us

Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) : gw : us
紙図書
S. Abramsky, T.S.E. Maibaum, (eds.)Springer-Verlagc1991
全国の図書館

Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89) : gw : us

Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89) : gw : us
紙図書
Springer-Verlagc1989
全国の図書館
RSS