Jump to main content

yr 〜
yr

Search results 77

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)
Paper図書
Springer-Verlagc1994.<M15-A9211>
National Diet Library

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)
Paper図書
Springerc1995.<M15-A9639>
National Diet Library

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)
Paper図書
Springer-Verlagc1992.<M15-A8200>
National Diet Library

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)
Paper図書
Springer-Verlagc1993.<M15-A8718>
National Diet Library

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)
Paper図書
Springer-Verlagc1990.<M15-A6893>
National Diet Library

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)
Paper図書
Springer-Verlagc1988.<M15-A2907>
National Diet Library

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)
Paper図書
Springer-Verlagc1986.<M15-A4941>
National Diet Library

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)
Paper図書
Springer-Verlagc1985.<M15-A3969>
National Diet Library

Trees in algebra and programming : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings / CAAP '83 ; edited by G. Ausiello and M. Protasi. (Lecture notes in computer science)

Trees in algebra and programming : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings / CAAP '83 ; edited by G. Ausiello and M. Protasi. (Lecture notes in computer science)
Paper図書
Springer-Verlag1983.<M159-A19>
National Diet Library
  • Author HeadingCAAP '83 (8th : 198......Marco) , 1950- CAAP.

Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings / CAAP '81 ; edited by E. Astesiano and C. Böhm. (Lecture notes in computer science ; 112)

Trees in algebra and programming : 6th colloquium, Genoa, March 5-7, 1981 : proceedings / CAAP '81 ; edited by E. Astesiano and C. Böhm. (Lecture notes in computer science ; 112)
Paper図書
Springer-Verlag1981.<M159-168>
National Diet Library
  • Author HeadingCAAP '81 (6th : 1981 : Genoa, Ital...

Trees in algebra and programming : 21st International colloquium : Apr 1996, Linkoping, Sweden. (Lecture Notes in Computer Science ; 1059)

Trees in algebra and programming : 21st International colloquium : Apr 1996, Linkoping, Sweden. (Lecture Notes in Computer Science ; 1059)
Paper図書
Springer1996.<M17-00-0279>
National Diet Library
  • Note (General)Papers. Also known as CAAP '96. Jointly w......6. Index term: CAAP ; algebra ; programming ; tre...
  • Alternative TitleAlso known as CAAP '96. Jointly w......wn as ESOP '96 CAAP ; algebra ; programming ; tre...
  • Alternative TitleAlso known as CAAP '96. Jointly w......wn as ESOP '96 CAAP ; algebra ; programming ; tre...

TAPSOFT '97 : theory and practice of software development : 7th International joint conference : Apr 1997, Lille, France. (Lecture Notes in Computer Science ; 1214)

TAPSOFT '97 : theory and practice of software development : 7th International joint conference : Apr 1997, Lille, France. (Lecture Notes in Computer Science ; 1214)
Paper図書
Springer1997.<M17-00-0840>
National Diet Library
  • Note (General)...ming, known as CAAP and Colloquium...... development ; CAAP ; FASE. BL shelfmark: 5180.18...
  • Alternative Title...ming, known as CAAP and Colloquium...... development ; CAAP ; FASE
  • Alternative Title...ming, known as CAAP and Colloquium...... development ; CAAP ; FASE

Compiler construction : 6th International conference : Apr 1996, Linkoping, Sweden. (Lecture Notes in Computer Science ; 1060)

Compiler construction : 6th International conference : Apr 1996, Linkoping, Sweden. (Lecture Notes in Computer Science ; 1060)
Paper図書
Springer1996.<M17-00-0280>
National Diet Library
  • Note (General)...ming, known as CAAP '96 and European symposium on...
  • Alternative Title...ming, known as CAAP '96 and European symposium on...
  • Alternative Title...ming, known as CAAP '96 and European symposium on...

Programming languages and systems : 6th European symposium on programming : Apr 1996, Linkoping, Sweden. (Lecture Notes in Computer Science ; 1058)

Programming languages and systems : 6th European symposium on programming : Apr 1996, Linkoping, Sweden. (Lecture Notes in Computer Science ; 1058)
Paper図書
Springer1996.<M17-00-0278>
National Diet Library
  • Note (General)...ming, known as CAAP '96. Index term: ESOP ; progr...
  • Alternative Title...ming, known as CAAP '96 ESOP ; programming langua...
  • Alternative Title...ming, known as CAAP '96 ESOP ; programming langua...

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

Colloquium on Trees in Algebra and Programming (CAAP '91) : gw : us
Paper図書
S. Abramsky, T.S.E. Maibaum, (eds.)Springer-Verlagc1991
Other Libraries in Japan
  • Note (General)...d Programming (CAAP) is the 16th ..."--Pref Inclu...

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
Paper図書
Hélène Kirchner, (ed.)Springerc1996
Other Libraries in Japan

TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings

TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings
Paper図書
Michel Bidoit, Max Dauchet (eds.)Springerc1997
Other Libraries in Japan

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
Paper図書
Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, (eds.)Springerc1995
Other Libraries in Japan

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
Paper図書
Sophie Tison, edSpringer-Verlagc1994
Other Libraries in Japan

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
Paper図書
M.-C. Gaudel, J.-P. Jouannaud (eds.)Springer-Verlagc1993
Other Libraries in Japan
RSS