close
1.

電子ブック
ＥＢ
1. Transactions on High-Performance Embedded Architectures and Compilers IV
edited by Per Stenström
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6760
オンライン: http://dx.doi.org/10.1007/978-3-642-24568-8
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Power Electronics and Instrumentation Engineering : International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings
edited by Vinu V Das, Janahanlal Stephen, Nessy Thankachan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 102
オンライン: http://dx.doi.org/10.1007/978-3-642-15739-4
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Advances in Power Electronics and Instrumentation Engineering : Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings
edited by Vinu V Das, Nessy Thankachan, Narayan C. Debnath
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Communications in Computer and Information Science ; 148
オンライン: http://dx.doi.org/10.1007/978-3-642-20499-9
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Trust Networks for Recommender Systems
by Patricia Victor, Chris Cornelis, Martine de Cock
出版情報: Paris : Atlantis Press, 2011
シリーズ名: Atlantis Computational Intelligence Systems ; 4
オンライン: http://dx.doi.org/10.2991/978-94-91216-08-4
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Transactions on High-Performance Embedded Architectures and Compilers III
edited by Per Stenström
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6590
オンライン: http://dx.doi.org/10.1007/978-3-642-19448-1
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Theory and Applications of Satisfiability Testing - SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
edited by Karem A. Sakallah, Laurent Simon
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6695
オンライン: http://dx.doi.org/10.1007/978-3-642-21581-0
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers
edited by Jose Monteiro, Rene Leuken
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5953
オンライン: http://dx.doi.org/10.1007/978-3-642-11802-9
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
edited by Jurgen Giesl, Reiner Hahnle
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 6173
オンライン: http://dx.doi.org/10.1007/978-3-642-14203-1
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. High Performance Embedded Architectures and Compilers : 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings
edited by Yale N. Patt, Pierfrancesco Foglia, Evelyn Duesterwald, Paolo Faraboschi, Xavier Martorell
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5952
オンライン: http://dx.doi.org/10.1007/978-3-642-11515-8
所蔵情報: loading…