ID:DA16377143
同姓同名の著者を検索
Gilles Barthe, Anupam Datta, Sandro Etalle (eds.)
Springer c2012 Lecture notes in computer science 7140
所蔵館1館
Gilles Barthe (ed.)
Springer c2011 Lecture notes in computer science 6602 . Advanced research in computing and software science . LNCS sublibrary : SL 1 . Theoretical computer science and general issues
: pbk
Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)
Springer c2009 Lecture notes in computer science 5705
Gilles Barthe ... [et al.] (eds.)
Springer c2006 Lecture notes in computer science 3956
所蔵館7館