edited by Insup Lee, Joseph Y-T. Leung, Sang H. Son

Chapman & Hall/CRC [2007], c2008 Chapman & Hall/CRC computer and information science series / series editor, Sartaj Sahni

所蔵館7館

Rajeev Alur, Insup Lee (eds.)

Springer c2003 Lecture notes in computer science 2855

所蔵館20館

Insup Lee, Scott A. Smolka, (eds.)

Springer-Verlag c1995 Lecture notes in computer science 962

所蔵館49館