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

電子ブック
ＥＢ
10. High Performance Embedded Architectures and Compilers : Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 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, Andre Seznec, Joel Emer, Michael O’Boyle, Margaret Martonosi, Theo Ungerer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5409
オンライン: http://dx.doi.org/10.1007/978-3-540-92990-1
所蔵情報: loading…