ID:DA09805178
同姓同名の著者を検索
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
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
Tiziana Margaria, Tom Melham (eds.)
Springer c2001 Lecture notes in computer science 2144
所蔵館29館
Tiziana Margaria, Wang Yi (eds.)
Springer c2001 Lecture notes in computer science 2031
所蔵館31館
Tiziana Margaria, Bernhard Steffen, (eds.)
Springer c1996 Lecture notes in computer science 1055
所蔵館48館
