ID:DA09695488
Workshop on Tools and Algorithms for the Construction and Analysis of Systems
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
International Workshop, TACAS
International Conference, TACAS
同姓同名の著者を検索
Axel Legay, Tiziana Margaria (eds.)
Springer c2017 Lecture notes in computer science 10205-10206 . Advanced research in computing and software science . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Pt. 1 , Pt. 2
C.R. Ramakrishnan, Jakob Rehof (eds.)
Springer c2008 Lecture notes in computer science 4963
楽譜（印刷）
所蔵館1館
Orna Grumberg, Michael Huth (eds.)
Springer c2007 Lecture notes in computer science 4424
所蔵館2館
Holger Hermanns, Jens Palsberg (eds.)
Springer c2006 Lecture notes in computer science 3920
所蔵館7館
Nicolas Halbwachs, Lenore D. Zuck (eds.)
Springer c2005 Lecture notes in computer science 3440
所蔵館17館
Kurt Jensen, Andreas Podelski (eds.)
Springer c2004 Lecture notes in computer science 2988
所蔵館18館
Hubert Garavel, John Hatcliff (eds.)
Springer c2003 Lecture notes in computer science 2619
所蔵館24館
Joost-Pieter Katoen, Perdita Stevens (eds.)
Springer c2002 Lecture notes in computer science 2280
所蔵館25館
Tiziana Margaria, Wang Yi (eds.)
Springer c2001 Lecture notes in computer science 2031
所蔵館31館
Susanne Graf, Michael Schwartzbach (eds.)
Springer c2000 Lecture notes in computer science 1785
W. Rance Cleaveland (ed.)
Springer-Verlag c1999 Lecture notes in computer science 1579
所蔵館38館
Bernhard Steffen, ed.
Springer c1998 Lecture notes in computer science 1384
所蔵館41館
Ed Brinksma (ed.)
Springer c1997 Lecture notes in computer science 1217
: pbk
所蔵館48館
Tiziana Margaria, Bernhard Steffen, (eds.)
Springer c1996 Lecture notes in computer science 1055
E. Brinksma ... [et al.], (eds.)
Springer c1995 Lecture notes in computer science 1019