Michael Hanus, Jan Heering, Karl Meinke, (eds.)

Springer-Verlag c1997 Lecture notes in computer science 1298

所蔵館51館

Gilles Dowek ... [et al.], (eds.)

Springer c1996 Lecture notes in computer science 1074

所蔵館60館

Jan Heering ... [et al.] (eds.)

Springer-Verlag c1994 Lecture notes in computer science 816

: gw , : us

所蔵館61館