ID:DA09805189
同姓同名の著者を検索
Springer c2018 Lecture notes in computer science 11247 . LNCS sublibrary ; SL 1 .Theoretical computer science and general issues . Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings / Tiziana Margaria, Bernhard Steffen (eds.) ; pt. 4
所蔵館1館
Springer c2018 Lecture notes in computer science 11246 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues . Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings / Tiziana Margaria, Bernhard Steffen (eds.) ; pt. 3
Springer c2018 Lecture notes in computer science 11245 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues . Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings / Tiziana Margaria, Bernhard Steffen (eds.) ; pt. 2
Springer c2018 Lecture notes in computer science 11244 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues . Leveraging applications of formal methods, verification and validation : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings / Tiziana Margaria, Bernhard Steffen (eds.) ; pt . 1
Tiziana Margaria, Bernhard Steffen (eds.)
Springer c2006 Lecture notes in computer science 4313
所蔵館7館
Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
Springer c1999 Lecture notes in computer science 1710
所蔵館33館
Bernhard Steffen, ed.
Springer c1998 Lecture notes in computer science 1384
所蔵館41館
Tiziana Margaria, Bernhard Steffen, (eds.)
Springer c1996 Lecture notes in computer science 1055
所蔵館48館