close
1.

電子ブック
ＥＢ
1. FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
edited by Jorge Cuellar, Tom Maibaum, Kaisa Sere
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5014
オンライン: http://dx.doi.org/10.1007/978-3-540-68237-0
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 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, Maria Alpuente, German Vidal
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5079
オンライン: http://dx.doi.org/10.1007/978-3-540-69166-2
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. 25 Years of Model Checking : History, Achievements, Perspectives
edited by Orna Grumberg, Helmut Veith
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5000
オンライン: http://dx.doi.org/10.1007/978-3-540-69850-0
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Programming Languages and Systems : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Pr
Drossopoulou, Sophia ; SpringerLink (Online service)
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4960
オンライン: http://dx.doi.org/10.1007/978-3-540-78739-6
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-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, Jose Meseguer, Grigore Ro?u
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5140
オンライン: http://dx.doi.org/10.1007/978-3-540-79980-1
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected 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, Zoltan Horvath, Rinus Plasmeijer, Anna Soos, Viktoria Zsok
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5161
オンライン: http://dx.doi.org/10.1007/978-3-540-88059-2
所蔵情報: loading…
7.

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

電子ブック
ＥＢ
8. Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 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, G. Ramalingam
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5356
オンライン: http://dx.doi.org/10.1007/978-3-540-89330-1
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
edited by Jaime G. Carbonell, Jorg Siekmann, Iliano Cervesato, Helmut Veith, Andrei Voronkov
出版情報: Berlin, Heidelberg : Springer, 2008
シリーズ名: Lecture Notes in Computer Science ; 5330
オンライン: http://dx.doi.org/10.1007/978-3-540-89439-1
所蔵情報: loading…
10.

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