Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, (eds.)

Springer c1995 Lecture notes in computer science 915

: us

所蔵館58館

M.-C. Gaudel, J.-P. Jouannaud (eds.)

Springer-Verlag c1993 Lecture notes in computer science 668

: gw , : us

所蔵館61館

S. Abramsky, T.S.E. Maibaum, (eds.)

Springer-Verlag c1991 Lecture notes in computer science 494 . TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum (eds.) ; v. 2

: gw , : us

所蔵館55館

A. Arnold (ed.)

Springer-Verlag c1990 Lecture notes in computer science 431

: gw , : us

所蔵館61館

M. Dauchet, M. Nivat (eds.)

Springer-Verlag c1988 Lecture notes in computer science 299

: gw , : us

所蔵館59館

edited by Hartmut Ehrig ... [et al.]

Springer-Verlag c1987 Lecture notes in computer science 249 . TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 ; v. 1

: gw , : us

所蔵館51館

edited by Hartmut Ehrig ... [et al.]

Springer-Verlag c1985 Lecture notes in computer science 185 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 1

: gw , : us

所蔵館51館

edited by G. Ausiello and M. Protasi

Springer-Verlag 1983 Lecture notes in computer science 159

: gw , : us

所蔵館59館