close
1.

電子ブック
ＥＢ
1. Formal Methods for Web Services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
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, Marco Bernardo, Luca Padovani, Gianluigi Zavattaro
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5569
オンライン: http://dx.doi.org/10.1007/978-3-642-01918-0
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. CONCUR 2009 - Concurrency Theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
edited by Mario Bravetti, Gianluigi Zavattaro
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5710
オンライン: http://dx.doi.org/10.1007/978-3-642-04081-8
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Coordination Models and Languages : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings
edited by Doug Lea, Gianluigi Zavattaro
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5052
オンライン: http://dx.doi.org/10.1007/978-3-540-68265-3
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5016
オンライン: http://dx.doi.org/10.1007/978-3-540-68894-5
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Formal Methods for Open Object-Based Distributed Systems (vol. # 3535) : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
edited by Martin Steffen, Gianluigi Zavattaro
出版情報: Berlin Heidelberg : Springer Science+Business Media, Inc., 2005
シリーズ名: Lecture Notes in Computer Science ; 3535
オンライン: http://dx.doi.org/10.1007/b136996
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September
Bravetti, Mario ; Zavattaro, Gianluigi ; Kloul, Leila ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3670
オンライン: http://dx.doi.org/10.1007/11549970
所蔵情報: loading…