close
1.

電子ブック

EB
edited by Joost-Pieter Katoen, Barbara König
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6901
オンライン: http://dx.doi.org/10.1007/978-3-642-23217-6
所蔵情報: loading…
2.

電子ブック

EB
edited by Manfred BroyBengt Jonsson, Joost-Pieter Katoen, Martin Leucker et al
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3472
オンライン: http://dx.doi.org/10.1007/b137241
所蔵情報: loading…