close
1.

電子ブック
ＥＢ
1. Implementation and Application of Automata : 14th International Conference, CIAA 2009, Sydney, Australia, July 14-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, Sebastian Maneth
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5642
オンライン: http://dx.doi.org/10.1007/978-3-642-02979-0
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Applications and Theory of Petri Nets : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 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, Giuliana Franceschinis, Karsten Wolf
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5606
オンライン: http://dx.doi.org/10.1007/978-3-642-02424-5
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 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, John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5160
オンライン: http://dx.doi.org/10.1007/978-3-540-85762-4
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. 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…
5.

電子ブック
ＥＢ
5. Applications of Graph Transformations with Industrial Relevance : Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited 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, Andy Schurr, Manfred Nagl, Albert Zundorf
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5088
オンライン: http://dx.doi.org/10.1007/978-3-540-89020-1
所蔵情報: loading…