Egidio Astesiano, ed

Springer c1998 Lecture notes in computer science 1382

所蔵館40館

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

Springer c1995 Lecture notes in computer science 915

: us

所蔵館58館

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館

J. Díaz, F. Orejas (eds.)

Springer-Verlag c1989 Lecture notes in computer science 352 . TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 / J. Díaz, F. Orejas (eds.) ; v. 2

: gw , : us

所蔵館56館

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

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

: gw , : us

所蔵館49館

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

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

: gw , : us

所蔵館45館