ID:DA02230941
Clarke, E. M.
Clarke, Edmund M
同姓同名の著者を検索
Edmund M. Clarke and Andrei Voronkov (Eds.)
Springer c2010 Lecture notes in computer science . Lecture notes in artificial intelligence ; 6355
: pbk
所蔵館2館
Doron A. Peled ; foreword by Edmund M. Clarke
Springer c2001 Undergraduate texts in computer science
所蔵館17館
Edmund M. Clarke, Jr., Orna Grumberg, Doron A. Peled
MIT Press c1999
所蔵館47館
E.M. Clarke, R.P. Kurshan, editors
American Mathematical Society , Association for Computing Machinery c1991 DIMACS series in discrete mathematics and theoretical computer science v. 3
: AMS , : ACM
E.M. Clarke, R.P. Kurshan, (eds.)
Springer-Verlag c1991 Lecture notes in computer science 531
: gw , : us
所蔵館55館
edited by Edmund Clarke and Dexter Kozen
Springer-Verlag 1984 Lecture notes in computer science 164
