close
1.

電子ブック
ＥＢ
1. High Confidence Software Reuse in Large Systems : 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 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, Hong Mei
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5030
オンライン: http://dx.doi.org/10.1007/978-3-540-68073-4
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. 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…
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. OpenMP Shared Memory Parallel Programming : International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings
edited by Matthias S. Mueller, Barbara M. Chapman, Bronis R. Supinski, Allen D. Malony, Michael Voss
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4315
オンライン: http://dx.doi.org/10.1007/978-3-540-68555-5
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Reliable Software Technologies ?EAda-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
edited by Fabrice Kordon, Tullio Vardanega
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5026
オンライン: http://dx.doi.org/10.1007/978-3-540-68624-8
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Distributed Applications and Interoperable Systems : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings
edited by Rene Meier, Sotirios Terzis
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5053
オンライン: http://dx.doi.org/10.1007/978-3-540-68642-2
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
edited by Gilles Barthe, Frank S. Boer
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5051
オンライン: http://dx.doi.org/10.1007/978-3-540-68863-1
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
edited by Bertrand Meyer, Jim Woodcock
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4171
オンライン: http://dx.doi.org/10.1007/978-3-540-69149-5
所蔵情報: loading…
9.

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

電子ブック
ＥＢ
10. A Practical Programming Model for the Multi-Core Era : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 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, Barbara Chapman, Weiming Zheng, Guang R. Gao, Mitsuhisa Sato, Eduard Ayguade, Dongsheng Wang
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4935
オンライン: http://dx.doi.org/10.1007/978-3-540-69303-1
所蔵情報: loading…