Chutiporn Anutariya, Marcello M. Bonsangue, editors

Springer , [2025] , c2025 Lecture notes in computer science 15373

所蔵館1館

Frank S. de Boer, Marcello M. Bonsangue. Eric Madelaine (eds.)

Springer c2009 Lecture notes in computer science 5751

所蔵館2館

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Springer c2006 Lecture notes in computer science 4111

所蔵館6館

Frank S. de Boer ... [et al.] (eds.)

Springer c2005 Lecture notes in computer science 3657

所蔵館7館