close
1.

電子ブック
ＥＢ
1. Job Scheduling Strategies for Parallel Processing (vol. # 3277) : 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers
edited by Dror Feitelson, Larry Rudolph, Uwe Schwiegels
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3277
オンライン: http://dx.doi.org/10.1007/b107134
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Computer Aided Verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
edited by Kousha Etessami, Sriram K. Rajamani
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3576
オンライン: http://dx.doi.org/10.1007/b138445
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
edited by Joe Hurd, Tom Melham
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3603
オンライン: http://dx.doi.org/10.1007/11541868
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Cryptographic Hardware and Embedded Systems - CHES 2005 : 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings
edited by Josyula R. Rao, Berk Sunar
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3659
オンライン: http://dx.doi.org/10.1007/11545262
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Evolvable Systems: From Biology to Hardware : 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings
edited by Jordi Cosp, Jordi Madrenas, J. Manuel Moreno
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3637
オンライン: http://dx.doi.org/10.1007/11549703
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 3728) : 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings
edited by Vassili
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3728
オンライン: http://dx.doi.org/10.1007/11556930
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Dependable Computing : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings
edited by Aline Maria Santos Andrade, Flavio Morais de Assis Silva, Carlos Alberto Maziero, Joao Gabri
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3747
オンライン: http://dx.doi.org/10.1007/11572329
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Advances in Computer Systems Architecture (vol. # 3740) : 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings
edited by Chip-Hong Chang, Thambipillai Srikanthan, Jingling Xue
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3740
オンライン: http://dx.doi.org/10.1007/11572961
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. High Performance Embedded Architectures and Compilers : First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings
edited by Tom ConteWen-mei W. Hwu, Nacho Navarro, Theo Ungerer et a
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3793
オンライン: http://dx.doi.org/10.1007/11587514
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Job Scheduling Strategies for Parallel Processing (vol. # 3834) : 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
edited by Dror Feitelson, Eitan Frachtenberg, Larry Ru
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3834
オンライン: http://dx.doi.org/10.1007/11605300
所蔵情報: loading…