close
1.

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

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

電子ブック
ＥＢ
3. Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation : 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings
edited by José L. Ayala, Braulio García-Cámara, Manuel Prieto, Martino Ruggiero, Gilles Sicard
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6951
オンライン: http://dx.doi.org/10.1007/978-3-642-24154-3
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Model and Data Engineering : First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings
edited by Ladjel Bellatreche, Filipe Mota Pinto
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6918
オンライン: http://dx.doi.org/10.1007/978-3-642-24443-8
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Agents in Principle, Agents in Practice : 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings
edited by David Kinny, Jane Yung-jen Hsu, Guido Governatori, Aditya K. Ghose
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 7047
オンライン: http://dx.doi.org/10.1007/978-3-642-25044-6
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Testbeds and Research Infrastructures. Development of Networks and Communities : 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers
edited by Thomas Magedanz, Anastasius Gavras, Nguyen Huu Thanh, Jeffry S. Chase
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 46
オンライン: http://dx.doi.org/10.1007/978-3-642-17851-1
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Computer and Computing Technologies in Agriculture IV : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part I
edited by Daoliang Li, Yande Liu, Yingyi Chen
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: IFIP Advances in Information and Communication Technology ; 344
オンライン: http://dx.doi.org/10.1007/978-3-642-18333-1
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Computer and Computing Technologies in Agriculture IV : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part II
edited by Daoliang Li, Yande Liu, Yingyi Chen
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: IFIP Advances in Information and Communication Technology ; 345
オンライン: http://dx.doi.org/10.1007/978-3-642-18336-2
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Computer and Computing Technologies in Agriculture IV : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part IV
edited by Daoliang Li, Yande Liu, Yingyi Chen
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: IFIP Advances in Information and Communication Technology ; 347
オンライン: http://dx.doi.org/10.1007/978-3-642-18369-0
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Model-Based Software Performance Analysis
by Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-13621-4
所蔵情報: loading…