close
1.

電子ブック
ＥＢ
1. Declarative Agent Languages and Technologies VI : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
edited by Jaime G. Carbonell, Jorg Siekmann, Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5397
オンライン: http://dx.doi.org/10.1007/978-3-540-93920-7
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Web Services and Formal Methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, 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, Roberto Bruni, Karsten Wolf
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5387
オンライン: http://dx.doi.org/10.1007/978-3-642-01364-5
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Component-Based Software Engineering : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-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, Grace A. Lewis, Iman Poernomo, Christine Hofmeister
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5582
オンライン: http://dx.doi.org/10.1007/978-3-642-02414-6
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Computational Logic in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
edited by Michael Fisher, Fariba Sadri, Michael Thielscher
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5405
オンライン: http://dx.doi.org/10.1007/978-3-642-02734-5
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5674
オンライン: http://dx.doi.org/10.1007/978-3-642-03359-9
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings
edited by Alexander Kurz, Marina Lenisa, Andrzej Tarlecki
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5728
オンライン: http://dx.doi.org/10.1007/978-3-642-03741-2
所蔵情報: loading…
7.

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

電子ブック
ＥＢ
8. Formal Modeling and Analysis of Timed Systems : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
edited by Joel Ouaknine, Frits W. Vaandrager
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5813
オンライン: http://dx.doi.org/10.1007/978-3-642-04368-0
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Rule Interchange and Applications : International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings
edited by Guido Governatori, John Hall, Adrian Paschke
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5858
オンライン: http://dx.doi.org/10.1007/978-3-642-04985-9
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 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, Franck Cassez, Claude Jard
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5215
オンライン: http://dx.doi.org/10.1007/978-3-540-85778-5
所蔵情報: loading…