ID:DA1513671X
International Colloquium on Theoretical Aspects of Computing
Search authors sharing the same name
Helmut Seidl, Zhiming Liu, Corina S. Pasareanu (eds.)
Springer c2022 Lecture notes in computer science 13572
Available at 1 libraries
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
Available at 3 libraries
Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.)
Springer c2006 Lecture notes in computer science 4281
Available at 6 libraries
Dang Van Hung , Martin Wirsing (eds.)
Springer c2005 Lecture notes in computer science 3722
Available at 7 libraries
Zhiming Liu, Keijiro Araki (eds.)
Springer c2005 Lecture notes in computer science 3407
Available at 19 libraries