Werner Damm, Holger Hermanns (eds.)

Springer c2007 Lecture notes in computer science 4590

所蔵館6館

Christel Baier, Holger Hermanns (eds.)

Springer c2006 Lecture notes in computer science 4137

所蔵館11館

Holger Hermanns

Springer c2002 Lecture notes in computer science 2428

所蔵館31館

Holger Hermanns, Roberto Segala (eds.)

Springer c2002 Lecture notes in computer science 2399

所蔵館24館