close
1.

電子ブック
ＥＢ
1. Open Source Systems: Grounding Research : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011. Proceedings
edited by Scott A. Hissam, Barbara Russo, Manoel G. Mendonça Neto, Fabio Kon
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: IFIP Advances in Information and Communication Technology ; 365
オンライン: http://dx.doi.org/10.1007/978-3-642-24418-6
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Genetic Programming Theory and Practice IX
edited by Rick Riolo, Ekaterina Vladislavleva, Jason H. Moore
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Genetic and Evolutionary Computation ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-1770-5
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Advanced Parallel Processing Technologies : 9th International Symposium, APPT 2011, Shanghai, China, September 26-27, 2011. Proceedings
edited by Olivier Temam, Pen-Chung Yew, Binyu Zang
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6965
オンライン: http://dx.doi.org/10.1007/978-3-642-24151-2
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Software Engineering Techniques : Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers
edited by Zbigniew Huzar, Radek Koci, Bertrand Meyer, Bartosz Walter, Jaroslav Zendulka
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: Lecture Notes in Computer Science ; 4980
オンライン: http://dx.doi.org/10.1007/978-3-642-22386-0
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Static Analysis : 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
edited by Eran Yahav
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6887
オンライン: http://dx.doi.org/10.1007/978-3-642-23702-7
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Recent Advances in the Message Passing Interface : 18th European MPI Users’ Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings
edited by Yiannis Cotronis, Anthony Danalis, Dimitrios S. Nikolopoulos, Jack Dongarra
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6960
オンライン: http://dx.doi.org/10.1007/978-3-642-24449-0
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
edited by Uli Fahrenberg, Stavros Tripakis
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6919
オンライン: http://dx.doi.org/10.1007/978-3-642-24310-3
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Software Engineering for Resilient Systems : Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings
edited by Elena A. Troubitsyna
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6968
オンライン: http://dx.doi.org/10.1007/978-3-642-24124-6
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Implementation and Application of Functional Languages : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
edited by Sven-Bodo Scholz, Olaf Chitil
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 5836
オンライン: http://dx.doi.org/10.1007/978-3-642-24452-0
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
edited by Cesare Tinelli, Viorica Sofronie-Stokkermans
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6989
オンライン: http://dx.doi.org/10.1007/978-3-642-24364-6
所蔵情報: loading…