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. 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…
3.

電子ブック
ＥＢ
3. Web Services and Formal Methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
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, Roberto Bruni, Karsten Wolf
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5387
オンライン: http://dx.doi.org/10.1007/978-3-642-01364-5
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Tests and Proofs : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. 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, Catherine Dubois
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5668
オンライン: http://dx.doi.org/10.1007/978-3-642-02949-3
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Analytical and Stochastic Modeling Techniques and Applications : 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
edited by Khalid Al-Begain, Armin Heindl, Miklos Telek
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5055
オンライン: http://dx.doi.org/10.1007/978-3-540-68982-9
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Performance Evaluation: Metrics, Models and Benchmarks : SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings
edited by Samuel Kounev, Ian Gorton, Kai Sachs
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 5119
オンライン: http://dx.doi.org/10.1007/978-3-540-69814-2
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Software Architectures, Components, and Applications : Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers
edited by Sven Overhage, Clemens A. Szyperski, Ralf Reussner, Judith A. Stafford
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4880
オンライン: http://dx.doi.org/10.1007/978-3-540-77619-2
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
edited by Bernhard Beckert, Reiner Hahnle
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4966
オンライン: http://dx.doi.org/10.1007/978-3-540-79124-9
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
edited by Marlon Dumas, Reiko Heckel
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4937
オンライン: http://dx.doi.org/10.1007/978-3-540-79230-7
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Formal Methods and Stochastic Models for Performance Evaluation : Fourth European Performance Engineering Workshop EPEW 2007 Berlin Germany September 27-28 2007. Proceedings
edited by Katinka Wolter
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4748
オンライン: http://dx.doi.org/10.1007/978-3-540-75211-0
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Composition of Embedded Systems. Scientific and Industrial Issues : 13th Monterey Workshop 2006 Paris France October 16-18 2006 Revised Selected Papers
edited by Fabrice Kordon Oleg Sokolsky
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4888
オンライン: http://dx.doi.org/10.1007/978-3-540-77419-8
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Reliable Systems on Unreliable Networked Platforms : 12th Monterey Workshop 2005 Laguna Beach CA USA September 22-24 2005. Revised Selected Papers
edited by Fabrice Kordon Janos Sztipanovits
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4322
オンライン: http://dx.doi.org/10.1007/978-3-540-71156-8
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Tests and Proofs : First International Conference TAP 2007 Zurich Switzerland February 12-13 2007. Revised Papers
edited by Yuri Gurevich Bertrand Meyer
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4454
オンライン: http://dx.doi.org/10.1007/978-3-540-73770-4
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Formal Methods and Stochastic Models for Performance Evaluation : Third European Performance Engineering Workshop EPEW 2006 Budapest Hungary June 21-222006 Proceedings
edited by Andr-s Horv-th Mikl-s Telek
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4054
オンライン: http://dx.doi.org/10.1007/11777830
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Web Services and Formal Methods : Third International Workshop WS-FM 2006 Vienna Austria September 8-92006 Proceedings
edited by Mario Bravetti Manuel N--ez Gianluigi Zavattaro
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4184
オンライン: http://dx.doi.org/10.1007/11841197
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Quality of Software Architectures : Second International Conference on Quality of Software Architectures QoSA 2006 V-steras Schweden June 27-292006 Revised Papers
edited by Christine Hofmeister Ivica Crnkovic Ra
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 4214
オンライン: http://dx.doi.org/10.1007/11921998
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September
Bravetti, Mario ; Zavattaro, Gianluigi ; Kloul, Leila ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3670
オンライン: http://dx.doi.org/10.1007/11549970
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Quality of Software Architectures and Software Quality : First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, German
Becker, Steffen ; Reussner, Ralf ; Overhage, Sven ; Mayer, Johannes ; Stafford, Judith A. ; Schroeder, Patrick J. ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3712
オンライン: http://dx.doi.org/10.1007/11558569
所蔵情報: loading…