close
1.

電子ブック
ＥＢ
1. Transactions on Petri Nets and Other Models of Concurrency II : Special Issue on Concurrency in Process-Aware Information Systems
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, Kurt Jensen, Wil M. P. Aalst
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5460
オンライン: http://dx.doi.org/10.1007/978-3-642-00899-3
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Trustworthy Software Development Processes : International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 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, Qing Wang, Vahid Garousi, Raymond Madachy, Dietmar Pfahl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5543
オンライン: http://dx.doi.org/10.1007/978-3-642-01680-6
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. 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, Shaoying Liu, Tom Maibaum, Keijiro Araki
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5256
オンライン: http://dx.doi.org/10.1007/978-3-540-88194-0
所蔵情報: loading…