close
1.

電子ブック
ＥＢ
1. Transactions on Petri Nets and Other Models of Concurrency III
edited by Kurt Jensen, Jonathan Billington, Maciej Koutny
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5800
オンライン: http://dx.doi.org/10.1007/978-3-642-04856-2
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Innovations for Requirement Analysis. From Stakeholders?ENeeds to Formal Designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised 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, Barbara Paech, Craig Martell
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5320
オンライン: http://dx.doi.org/10.1007/978-3-540-89778-1
所蔵情報: loading…