close
1.

電子ブック
ＥＢ
1. Formal Methods for Industrial Critical Systems : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
edited by Stefan Kowalewski, Marco Roveri
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6371
オンライン: http://dx.doi.org/10.1007/978-3-642-15898-8
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Stefan Kowalewski, Anna Philippou
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5505
オンライン: http://dx.doi.org/10.1007/978-3-642-00768-2
所蔵情報: loading…