close
1.

電子ブック
ＥＢ
1. Sensor Systems and Software : Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers
edited by Gerard Par, Philip Morrow
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 57
オンライン: http://dx.doi.org/10.1007/978-3-642-23583-2
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Network and Parallel Computing : 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings
edited by Erik Altman, Weisong Shi
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: Lecture Notes in Computer Science ; 6985
オンライン: http://dx.doi.org/10.1007/978-3-642-24403-2
所蔵情報: loading…
3.

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

電子ブック
ＥＢ
4. Analyzing Computer System Performance with Perl::PDQ
by Neil J. Gunther
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-22583-3
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Architecture of Computing Systems - ARCS 2011 : 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings
edited by Mladen Berekovic, William Fornaciari, Uwe Brinkschulte, Cristina Silvano
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6566
オンライン: http://dx.doi.org/10.1007/978-3-642-19137-4
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
edited by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6617
オンライン: http://dx.doi.org/10.1007/978-3-642-20398-5
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Analytical and Stochastic Modeling Techniques and Applications : 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings
edited by Khalid Al-Begain, Simonetta Balsamo, Dieter Fiems, Andrea Marin
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6751
オンライン: http://dx.doi.org/10.1007/978-3-642-21713-5
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Managing the Dynamics of Networks and Services : 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, Nancy, France, June 13-17, 2011. Proceedings
edited by Isabelle Chrisment, Alva Couch, Rémi Badonnel, Martin Waldburger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6734
オンライン: http://dx.doi.org/10.1007/978-3-642-21484-4
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Search Based Software Engineering : Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings
edited by Myra B. Cohen, Mel Ó Cinnéide
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6956
オンライン: http://dx.doi.org/10.1007/978-3-642-23716-4
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Distributed Computing in Sensor Systems : 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings
edited by Rajmohan Rajaraman, Thomas Moscibroda, Adam Dunkels, Anna Scaglione
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6131
オンライン: http://dx.doi.org/10.1007/978-3-642-13651-1
所蔵情報: loading…