close
1.

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

電子ブック
ＥＢ
2. Requirements Engineering
by Elizabeth Hull, Ken Jackson, Jeremy Dick
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-1-84996-405-0
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Advances in Systems Safety : Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011
edited by Chris Dale, Tom Anderson
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-133-2
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Grids, Clouds and Virtualization
edited by Massimo Cafaro, Giovanni Aloisio
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Computer Communications and Networks ;
オンライン: http://dx.doi.org/10.1007/978-0-85729-049-6
所蔵情報: loading…
5.

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

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

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

電子ブック
ＥＢ
8. Model-Based Engineering of Embedded Real-Time Systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
edited by Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6100
オンライン: http://dx.doi.org/10.1007/978-3-642-16277-0
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation : 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
edited by René Leuken, Gilles Sicard
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6448
オンライン: http://dx.doi.org/10.1007/978-3-642-17752-1
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Performance Evaluation, Measurement and Characterization of Complex Systems : Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers
edited by Raghunath Nambiar, Meikel Poess
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6417
オンライン: http://dx.doi.org/10.1007/978-3-642-18206-8
所蔵情報: loading…