close
1.

電子ブック
ＥＢ
1. Theoretical Aspects of Computing - ICTAC 2009 : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings
edited by Martin Leucker, Carroll Morgan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5684
オンライン: http://dx.doi.org/10.1007/978-3-642-03466-4
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
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, Martin Leucker
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5289
オンライン: http://dx.doi.org/10.1007/978-3-540-89247-2
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Model-Based Testing of Reactive Systems : Advanced Lectures
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…