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. Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II
edited by Luca Aceto, Monika Henzinger, Jiří Sgall
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6756
オンライン: http://dx.doi.org/10.1007/978-3-642-22012-8
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Foundational and Practical Aspects of Resource Analysis : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
edited by Marko Eekelen, Olha Shkaravska
出版情報: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6324
オンライン: http://dx.doi.org/10.1007/978-3-642-15331-0
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6300
オンライン: http://dx.doi.org/10.1007/978-3-642-15025-8
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Agent Computing and Multi-Agent Systems : 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised 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, Randy Goebel, Jorg Siekmann, Wolfgang Wahlster, Aditya Ghose, Guido Governatori, Ramakoti Sadananda
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5044
オンライン: http://dx.doi.org/10.1007/978-3-642-01639-4
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, Ma
Ramakrishnan, C. R. ; Rehof, Jakob ; SpringerLink (Online service)
出版情報: Berlin, Heidelberg : Springer-Verlag, 2008
シリーズ名: Lecture Notes in Computer Science ; 4963
オンライン: http://dx.doi.org/10.1007/978-3-540-78800-3
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Tools and Algorithms for the Construction and Analysis of Systems : 13th International Conference TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2007 Braga Portugal
Grumberg Orna ; Huth Michael ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4424
オンライン: http://dx.doi.org/10.1007/978-3-540-71209-1
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Domain Modeling and the Duration Calculus : International Training School Shanghai China September 17-21. 2007 Advanced Lectures
edited by Chris W. George Zhiming Liu Jim Woodcock
出版情報: Berlin Heidelberg : Springer-Verlag, 2007
シリーズ名: Lecture Notes in Computer Science ; 4710
オンライン: http://dx.doi.org/10.1007/978-3-540-74964-6
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Tools and Algorithms for the Construction and Analysis of Systems (vol. 3920) : 12th International Conference TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2006 V
Hermanns Holger ; Palsberg Jens ; SpringerLink (Online service)
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2006
シリーズ名: Lecture Notes in Computer Science ; 3920
オンライン: http://dx.doi.org/10.1007/11691372
所蔵情報: loading…