ID:DA1513671X
International Colloquium on Theoretical Aspects of Computing
同姓同名の著者を検索
Helmut Seidl, Zhiming Liu, Corina S. Pasareanu (eds.)
Springer c2022 Lecture notes in computer science 13572
所蔵館1館
Antonio Cerone, Peter Csaba Ölveczky (eds.)
Springer c2021 Lecture notes in computer science 12819 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
Springer c2013 Lecture notes in computer science 8049 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Martin Leucker, Carroll Morgan (eds.)
Springer c2009 Lecture notes in computer science 5684
Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
Springer c2007 Lecture notes in computer science 4711
所蔵館3館
Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.)
Springer c2006 Lecture notes in computer science 4281
所蔵館6館
Dang Van Hung , Martin Wirsing (eds.)
Springer c2005 Lecture notes in computer science 3722
所蔵館7館
Zhiming Liu, Keijiro Araki (eds.)
Springer c2005 Lecture notes in computer science 3407
所蔵館19館