close
1.

電子ブック
ＥＢ
1. Cartesian Genetic Programming
edited by Julian F. Miller
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Natural Computing Series ;
オンライン: http://dx.doi.org/10.1007/978-3-642-17310-3
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Euclidean Shortest Paths : Exact or Approximate Algorithms
by Fajie Li, Reinhard Klette
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4471-2256-2
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Computer Vision and Action Recognition : A Guide for Image Processing and Computer Vision Community for Action Understanding
by Md. Atiqur Rahman Ahad
出版情報: Paris : Atlantis Press, 2011
シリーズ名: Atlantis Ambient and Pervasive Intelligence ; 5
オンライン: http://dx.doi.org/10.2991/978-94-91216-20-6
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Playing with the Past
by Erik Champion
出版情報: London : Springer London, 2011
シリーズ名: Human-Computer Interaction Series ;
オンライン: http://dx.doi.org/10.1007/978-1-84996-501-9
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Evolutionary Optimization: the µGP toolkit
by Ernesto Sanchez, Massimiliano Schillaci, Giovanni Squillero
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-0-387-09426-7
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Building Innovation Pipelines through Computer-Aided Innovation : 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings
edited by Denis Cavallucci, Roland Guio, Gaetano Cascini
出版情報: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011
シリーズ名: IFIP Advances in Information and Communication Technology ; 355
オンライン: http://dx.doi.org/10.1007/978-3-642-22182-8
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Ontologies in Urban Development Projects
by Gilles Falquet, Claudine Métral, Jacques Teller, Christopher Tweed
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Advanced Information and Knowledge Processing ; 1
オンライン: http://dx.doi.org/10.1007/978-0-85729-724-2
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Guide to Geometric Algebra in Practice
edited by Leo Dorst, Joan Lasenby
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-811-9
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Numerical Methods and Applications : 7th International Conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010. Revised Papers
edited by Ivan Dimov, Stefka Dimova, Natalia Kolkovska
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6046
オンライン: http://dx.doi.org/10.1007/978-3-642-18466-6
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Advances in Self-Organizing Maps : 8th International Workshop, WSOM 2011, Espoo, Finland, June 13-15, 2011. Proceedings
edited by Jorma Laaksonen, Timo Honkela
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6731
オンライン: http://dx.doi.org/10.1007/978-3-642-21566-7
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Multi-objective Evolutionary Optimisation for Product Design and Manufacturing
edited by Lihui Wang, Amos H. C. Ng, Kalyanmoy Deb
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-652-8
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Low Power Networks-on-Chip
edited by Cristina Silvano, Marcello Lajolo, Gianluca Palermo
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-6911-8
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Analog Layout Synthesis : A Survey of Topological Approaches
edited by Helmut E. Graeb
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-6932-3
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Reliability of Nanoscale Circuits and Systems : Methodologies and Circuit Architectures
by Miloš Stanisavljević, Alexandre Schmid, Yusuf Leblebici
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-6217-1
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. CMOS Circuits for Passive Wireless Microsystems
by Fei Yuan
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-7680-2
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Ultra Low-Power Integrated Circuit Design for Wireless Neural Interfaces
by Jeremy Holleman, Fan Zhang, Brian Otis
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-6727-5
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Design Creativity 2010
edited by Toshiharu Taura, Yukari Nagai
出版情報: London : Springer-Verlag London, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-224-7
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Energy Harvesting Systems : Principles, Modeling and Applications
edited by Tom J. Kaźmierski, Steve Beeby
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-7566-9
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications
by Niccolò Battezzati, Luca Sterpone, Massimo Violante
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-7595-9
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Dependability in Electronic Systems : Mitigation of Hardware Failures, Soft Errors, and Electro-Magnetic Disturbances. 1
by Nobuyasu Kanekawa, Eishi H. Ibe, Takashi Suga, Yutaka Uematsu
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-6715-2
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Cloud Connectivity and Embedded Sensory Systems. 1
by Lambert Spaanenburg, Hendrik Spaanenburg
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-7545-4
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Low-Power Variation-Tolerant Design in Nanometer Silicon. 1
edited by Swarup Bhunia, Saibal Mukhopadhyay
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-7418-1
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Ultra-thin Chip Technology and Applications
edited by Joachim Burghartz
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-7276-7
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Post-Silicon and Runtime Verification for Modern Processors
by Ilya Wagner, Valeria Bertacco
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-8034-2
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Advanced Techniques in Logic Synthesis, Optimizations and Applications
edited by Kanupriya Gulati
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-7518-8
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Multiprocessor System-on-Chip : Hardware Design and Tool Integration
edited by Michael Hübner, Jürgen Becker
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-6460-1
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Run-time Adaptation for Reconfigurable Embedded Processors
by Lars Bauer, Jörg Henkel
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-7412-9
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Voltage Regulators for Next Generation Microprocessors
by Toni López, Reinhold Elferich, Eduard Alarcón
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-7560-7
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. On-Chip Instrumentation : Design and Debug for Systems on Chip
by Neal Stollon
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-7563-8
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Introduction to Mixed-Signal, Embedded Design. 1
by Alex Doboli, Edward H. Currie
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-7446-4
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Wearable Monitoring Systems
edited by Annalisa Bonfiglio, Danilo De Rossi
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-7384-9
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. VLSI Physical Design: From Graph Partitioning to Timing Closure
by Andrew B. Kahng, Jens Lienig, Igor L. Markov, Jin Hu
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
オンライン: http://dx.doi.org/10.1007/978-90-481-9591-6
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Rapid One-of-a-kind Product Development : Strategies, Algorithms and Tools. 1
by Shane (S.Q.) Xie, Yiliu Tu
出版情報: London : Springer-Verlag London, 2011
オンライン: http://dx.doi.org/10.1007/978-1-84996-341-1
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Design Computing and Cognition ’10
edited by John S. Gero
出版情報: Dordrecht : Springer Netherlands, 2011
オンライン: http://dx.doi.org/10.1007/978-94-007-0510-4
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Focal-Plane Sensor-Processor Chips. 1
edited by Ákos Zarándy
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-6475-5
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Memory-Based Logic Synthesis. 1
by Tsutomu Sasao
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-8104-2
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. On-Chip Interconnect with aelite : Composable and Predictable Systems. 1
by Andreas Hansson, Kees Goossens
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Embedded Systems ;
オンライン: http://dx.doi.org/10.1007/978-1-4419-6865-4
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Low-Power High-Resolution Analog to Digital Converters : Design, Test and Calibration
by Amir Zjajo, José Pineda de Gyvez
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
シリーズ名: Analog Circuits and Signal Processing ;
オンライン: http://dx.doi.org/10.1007/978-90-481-9725-5
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Design of Image Processing Embedded Systems Using Multidimensional Data Flow. 1
by Joachim Keinert, Jürgen Teich
出版情報: New York, NY : Springer Science+Business Media LLC, 2011
シリーズ名: Embedded Systems ;
オンライン: http://dx.doi.org/10.1007/978-1-4419-7182-1
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Nanoscale Memory Repair
by Masashi Horiguchi, Kiyoo Itoh
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
シリーズ名: Integrated Circuits and Systems ;
オンライン: http://dx.doi.org/10.1007/978-1-4419-7958-2
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Mixed Reality and Human-Robot Interaction
edited by Xiangyu Wang
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
シリーズ名: Intelligent Systems, Control and Automation: Science and Engineering ; 1010
オンライン: http://dx.doi.org/10.1007/978-94-007-0582-1
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Collaborative Design in Virtual Environments
edited by Xiangyu Wang, Jerry Jen-Hung Tsai
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
シリーズ名: Intelligent Systems, Control and Automation: Science and Engineering ; 48
オンライン: http://dx.doi.org/10.1007/978-94-007-0605-7
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Regular Nanofabrics in Emerging Technologies : Design and Fabrication Methods for Nanoscale Digital Circuits
by M. Haykel Ben Jamaa
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
シリーズ名: Lecture Notes in Electrical Engineering ; 82
オンライン: http://dx.doi.org/10.1007/978-94-007-0650-7
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. The Future of Design Methodology
edited by Herbert Birkhofer
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-615-3
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. Solid Modelling and CAD Systems : How to Survive a CAD System
by Ian Stroud, Hildegarde Nagy
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-259-9
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. Principles of VLSI RTL Design : A Practical Guide
by Sanjay Churiwala, Sapan Garg
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-9296-3
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. Global Product Development : Proceedings of the 20th CIRP Design Conference, Ecole Centrale de Nantes, Nantes, France, 19th-21st April 2010
edited by Alain Bernard
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-15973-2
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. The Simple Art of SoC Design : Closing the Gap between RTL and ESL
by Michael Keating, Synopsys Fellow
出版情報: New York, NY : Synopsys, Inc., 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-8586-6
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. High-Level Verification : Methods and Tools for Verification of System-Level Designs
by Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-9359-5
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. Design and Analysis of Biomolecular Circuits : Engineering Approaches to Systems and Synthetic Biology
edited by Heinz Koeppl, Gianluca Setti, Mario di Bernardo, Douglas Densmore
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-6766-4
所蔵情報: loading…
51.

電子ブック
ＥＢ
51. Advances on Modeling in Tissue Engineering
edited by Paulo R. Fernandes, Paulo Jorge Bártolo
出版情報: Dordrecht : Springer Science+Business Media, 2011
シリーズ名: Computational Methods in Applied Sciences ; 20
オンライン: http://dx.doi.org/10.1007/978-94-007-1254-6
所蔵情報: loading…
52.

電子ブック
ＥＢ
52. Distributed Large-Scale Dimensional Metrology : New Insights
by Fiorenzo Franceschini, Maurizio Galetto, Domenico Maisano, Luca Mastrogiacomo, Barbara Pralio
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-543-9
所蔵情報: loading…
53.

電子ブック
ＥＢ
53. Programming Many-Core Chips
by András Vajda
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-9739-5
所蔵情報: loading…
54.

電子ブック
ＥＢ
54. Nano-Electronic Devices : Semiclassical and Quantum Transport Modeling. 1
edited by Dragica Vasileska, Stephen M. Goodnick
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-8840-9
所蔵情報: loading…
55.

電子ブック
ＥＢ
55. Complexity Metrics in Engineering Design : Managing the Structure of Design Processes
by Matthias Kreimeyer, Udo Lindemann
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
オンライン: http://dx.doi.org/10.1007/978-3-642-20963-5
所蔵情報: loading…
56.

電子ブック
ＥＢ
56. Computational Techniques for Structural Health Monitoring
by Srinivasan Gopalakrishnan, Massimo Ruzzene, Sathyanaraya Hanagud
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Springer Series in Reliability Engineering ;
オンライン: http://dx.doi.org/10.1007/978-0-85729-284-1
所蔵情報: loading…
57.

電子ブック
ＥＢ
57. Reconfigurable Computing : From FPGAs to Hardware/Software Codesign
edited by João M. P. Cardoso, Michael Hübner
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4614-0061-5
所蔵情報: loading…
58.

電子ブック
ＥＢ
58. Formal Development of a Network-Centric RTOS : Software Engineering for Reliable Embedded Systems
by Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-9736-4
所蔵情報: loading…
59.

電子ブック
ＥＢ
59. Innovation in Product Design : From CAD to Virtual Prototyping
edited by Monica Bordegoni, Caterina Rizzi
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-0-85729-775-4
所蔵情報: loading…
60.

電子ブック
ＥＢ
60. Multi-objective Design Space Exploration of Multiprocessor SoC Architectures : The MULTICUBE Approach. 1
edited by Cristina Silvano, William Fornaciari, Eugenio Villar
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-8837-9
所蔵情報: loading…
61.

電子ブック
ＥＢ
61. Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio
edited by Kenichi Okada, Shouhei Kousai
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4419-8514-9
所蔵情報: loading…
62.

電子ブック
ＥＢ
62. Information Modeling for Interoperable Dimensional Metrology
by Yaoyao (Fiona) Zhao, Robert Brown, Thomas R. Kramer, Xun Xu
出版情報: London : Springer-Verlag London Limited, 2011
オンライン: http://dx.doi.org/10.1007/978-1-4471-2167-1
所蔵情報: loading…
63.

電子ブック
ＥＢ
63. Holonic and Multi-Agent Systems for Manufacturing : 5th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2011, Toulouse, France, August 29-31, 2011. Proceedings
edited by Vladimír Mařík, Pavel Vrba, Paulo Leitão
出版情報: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Computer Science ; 6867
オンライン: http://dx.doi.org/10.1007/978-3-642-23181-0
所蔵情報: loading…
64.

電子ブック
ＥＢ
64. Large-Scale Scientific Computing : 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers
edited by Ivan Lirkov, Svetozar Margenov, Jerzy Wa?niewski
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5910
オンライン: http://dx.doi.org/10.1007/978-3-642-12535-5
所蔵情報: loading…
65.

電子ブック
ＥＢ
65. Mathematical Methods for Curves and Surfaces : 7th International Conference, MMCS 2008, Tonsberg, Norway, June 26-July 1, 2008, Revised Selected Papers
edited by Morten Dahlen, Michael Floater, Tom Lyche, Jean-Louis Merrien, Knut Morken, Larry L. Schumaker
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
シリーズ名: Lecture Notes in Computer Science ; 5862
オンライン: http://dx.doi.org/10.1007/978-3-642-11620-9
所蔵情報: loading…
66.

電子ブック
ＥＢ
66. Designing Embedded Systems with the SIGNAL Programming Language : Synchronous, Reactive Specification
by Abdoulaye Gamatie
出版情報: New York, NY : Springer-Verlag New York, 2010
オンライン: http://dx.doi.org/10.1007/978-1-4419-0941-1
所蔵情報: loading…
67.

電子ブック
ＥＢ
67. Advanced Test Methods for SRAMs : Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies. 1
by Alberto Bosio, Luigi Dilillo, Patrick Girard, Serge Pravossoudovitch, Arnaud Virazel
出版情報: Boston, MA : Springer-Verlag US, 2010
オンライン: http://dx.doi.org/10.1007/978-1-4419-0938-1
所蔵情報: loading…
68.

電子ブック
ＥＢ
68. Analysis and Design of Resilient VLSI Circuits : Mitigating Soft Errors and Process Variations
by Rajesh Garg, Sunil P. Khatri
出版情報: Boston, MA : Springer-Verlag US, 2010
オンライン: http://dx.doi.org/10.1007/978-1-4419-0931-2
所蔵情報: loading…
69.

電子ブック
ＥＢ
69. Minimizing and Exploiting Leakage in VLSI Design
by Nikhil Jayakumar, Suganth Paul, Rajesh Garg, Kanupriya Gulati, Sunil P. Khatri
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2010
オンライン: http://dx.doi.org/10.1007/978-1-4419-0950-3
所蔵情報: loading…
70.

電子ブック
ＥＢ
70. VLSI Design for Video Coding : H.264/AVC Encoding from Standard Specification to Chip. 1st
by Youn-Long Steve Lin, Chao-Yang Kao, Hung-Chih Kuo, Jian-Wen Chen
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2010
オンライン: http://dx.doi.org/10.1007/978-1-4419-0959-6
所蔵情報: loading…
71.

電子ブック
ＥＢ
71. SystemC: From the Ground Up
by David C. Black, Jack Donovan, Bill Bunton, Anna Keist
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2010
オンライン: http://dx.doi.org/10.1007/978-0-387-69958-5
所蔵情報: loading…
72.

電子ブック
ＥＢ
72. On and Off-Chip Crosstalk Avoidance in VLSI Design
by Chunjie Duan, Brock J. LaMeres, Sunil P. Khatri
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2010
オンライン: http://dx.doi.org/10.1007/978-1-4419-0947-3
所蔵情報: loading…
73.

電子ブック
ＥＢ
73. System Design Optimization for Product Manufacturing
by Masataka Yoshimura
出版情報: London : Springer London, 2010
オンライン: http://dx.doi.org/10.1007/978-1-84996-008-3
所蔵情報: loading…
74.

電子ブック
ＥＢ
74. Designing Inclusive Interactions : Inclusive Interactions Between People and Products in Their Contexts of Use
edited by Patrick Martin Langdon, Peter John Clarkson, Peter Robinson
出版情報: London : Springer London, 2010
オンライン: http://dx.doi.org/10.1007/978-1-84996-166-0
所蔵情報: loading…
75.

電子ブック
ＥＢ
75. Design and Verification of Microprocessor Systems for High-Assurance Applications
edited by David S. Hardin
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2010
オンライン: http://dx.doi.org/10.1007/978-1-4419-1539-9
所蔵情報: loading…
76.

電子ブック
ＥＢ
76. Hardware Acceleration of EDA Algorithms : Custom ICs, FPGAs and GPUs
by Kanupriya Gulati, Sunil P. Khatri
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2010
オンライン: http://dx.doi.org/10.1007/978-1-4419-0944-2
所蔵情報: loading…
77.

電子ブック
ＥＢ
77. Power-Aware Testing and Test Strategies for Low Power Devices
edited by Patrick Girard, Nicola Nicolici, Xiaoqing Wen
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2010
オンライン: http://dx.doi.org/10.1007/978-1-4419-0928-2
所蔵情報: loading…
78.

電子ブック
ＥＢ
78. Manufacturing Simulation with Plant Simulation and SimTalk : Usage and Programming with Examples and Solutions
by Steffen Bangsow
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
オンライン: http://dx.doi.org/10.1007/978-3-642-05074-9
所蔵情報: loading…
79.

電子ブック
ＥＢ
79. Structural Optimization with Uncertainties
by N.V. Banichuk, Pekka Neittaanmaki
出版情報: Dordrecht : Springer Science+Business Media B.V., 2010
シリーズ名: Solid Mechanics and Its Applications ; 162
オンライン: http://dx.doi.org/10.1007/978-90-481-2518-0
所蔵情報: loading…
80.

電子ブック
ＥＢ
80. Simulation Methods for Reliability and Availability of Complex Systems
edited by Javier Faulin, Angel A. Juan, Sebastian Martorell, Jose-Emmanuel Ramirez-Marquez
出版情報: London : Springer-Verlag London, 2010
シリーズ名: Springer Series in Reliability Engineering ;
オンライン: http://dx.doi.org/10.1007/978-1-84882-213-9
所蔵情報: loading…
81.

電子ブック
ＥＢ
81. Scalable Techniques for Formal Verification
by Sandip Ray
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2010
オンライン: http://dx.doi.org/10.1007/978-1-4419-5998-0
所蔵情報: loading…
82.

電子ブック
ＥＢ
82. Quantifying and Exploring the Gap Between FPGAs and ASICs
by Ian Kuon, Jonathan Rose
出版情報: Boston, MA : Springer-Verlag US, 2010
オンライン: http://dx.doi.org/10.1007/978-1-4419-0739-4
所蔵情報: loading…
83.

電子ブック
ＥＢ
83. Power-efficient System Design
by Preeti Ranjan Panda, B. V. N. Silpa, Aviral Shrivastava, Krishnaiah Gummidipudi
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2010
オンライン: http://dx.doi.org/10.1007/978-1-4419-6388-8
所蔵情報: loading…
84.

電子ブック
ＥＢ
84. FPGA Design : Best Practices for Team-based Design
by Philip Simpson
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
オンライン: http://dx.doi.org/10.1007/978-1-4419-6339-0
所蔵情報: loading…
85.

電子ブック
ＥＢ
85. Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
by Gaurav Singh, Sandeep K. Shukla
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
オンライン: http://dx.doi.org/10.1007/978-1-4419-6481-6
所蔵情報: loading…
86.

電子ブック
ＥＢ
86. Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction
edited by Sandeep K. Shukla, Jean-Pierre Talpin
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2010
オンライン: http://dx.doi.org/10.1007/978-1-4419-6400-7
所蔵情報: loading…
87.

電子ブック
ＥＢ
87. Embedded Software Design and Programming of Multiprocessor System-on-Chip : Simulink and System C Case Studies
by Katalin Popovici, Frederic Rousseau, Ahmed A. Jerraya, Marilyn Wolf
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
シリーズ名: Embedded Systems ;
オンライン: http://dx.doi.org/10.1007/978-1-4419-5567-8
所蔵情報: loading…
88.

電子ブック
ＥＢ
88. Security in Embedded Devices. 1
by Catherine H. Gebotys
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2010
シリーズ名: Embedded Systems ;
オンライン: http://dx.doi.org/10.1007/978-1-4419-1530-6
所蔵情報: loading…
89.

電子ブック
ＥＢ
89. E-maintenance
edited by Kenneth Holmberg, Adam Adgar, Aitor Arnaiz, Erkki Jantunen, Julien Mascolo, Samir Mekid
出版情報: London : Springer-Verlag London, 2010
オンライン: http://dx.doi.org/10.1007/978-1-84996-205-6
所蔵情報: loading…
90.

電子ブック
ＥＢ
90. ESL Models and their Application : Electronic System Level Design and Verification in Practice
by Brian Bailey, Grant Martin
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2010
シリーズ名: Embedded Systems ;
オンライン: http://dx.doi.org/10.1007/978-1-4419-0965-7
所蔵情報: loading…
91.

電子ブック
ＥＢ
91. Dynamic Modelling for Supply Chain Management : Dealing with Front-end, Back-end and Integration Issues
by Adolfo Crespo Marquez
出版情報: London : Springer London, 2010
オンライン: http://dx.doi.org/10.1007/978-1-84882-681-6
所蔵情報: loading…
92.

電子ブック
ＥＢ
92. Fault Location on Power Networks
by Murari Mohan Saha, Jan Izykowski, Eugeniusz Rosolowski
出版情報: London : Springer-Verlag London, 2010
シリーズ名: Power Systems ;
オンライン: http://dx.doi.org/10.1007/978-1-84882-886-5
所蔵情報: loading…
93.

電子ブック
ＥＢ
93. OntoCAPE : A Re-Usable Ontology for Chemical Process Engineering
by Wolfgang Marquardt, Jan Morbach, Andreas Wiesner, Aidong Yang
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: RWTHedition ;
オンライン: http://dx.doi.org/10.1007/978-3-642-04655-1
所蔵情報: loading…
94.

電子ブック
ＥＢ
94. Shape Interrogation for Computer Aided Design and Manufacturing
by Nicholas M. Patrikalakis, Takashi Maekawa
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
オンライン: http://dx.doi.org/10.1007/978-3-642-04074-0
所蔵情報: loading…
95.

電子ブック
ＥＢ
95. Analysis and Design of Univariate Subdivision Schemes
by Malcolm Sabin
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Geometry and Computing ; 6
オンライン: http://dx.doi.org/10.1007/978-3-642-13648-1
所蔵情報: loading…
96.

電子ブック
ＥＢ
96. A Practical Introduction to Hardware/Software Codesign
by Patrick R. Schaumont
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2010
オンライン: http://dx.doi.org/10.1007/978-1-4419-6000-9
所蔵情報: loading…
97.

電子ブック
ＥＢ
97. Software Automatic Tuning : From Concepts to State-of-the-Art Results
edited by Ken Naono, Keita Teranishi, John Cavazos, Reiji Suda
出版情報: New York, NY : Springer Science+Business Media LLC, 2010
オンライン: http://dx.doi.org/10.1007/978-1-4419-6935-4
所蔵情報: loading…
98.

電子ブック
ＥＢ
98. Extreme Low-Power Mixed Signal IC Design : Subthreshold Source-Coupled Circuits
by Armin Tajalli, Yusuf Leblebici
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
オンライン: http://dx.doi.org/10.1007/978-1-4419-6478-6
所蔵情報: loading…
99.

電子ブック
ＥＢ
99. Processor and System-on-Chip Simulation
edited by Rainer Leupers, Olivier Temam
出版情報: Boston, MA : Springer Science+business Media, LLC, 2010
オンライン: http://dx.doi.org/10.1007/978-1-4419-6175-4
所蔵情報: loading…
100.

電子ブック
ＥＢ
100. Computational Science and Its Applications ? ICCSA 2009 : International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I
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, Osvaldo Gervasi, David Taniar, Beniamino Murgante, Antonio Lagana, Youngsong Mun, Marina L. Gavrilova
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5592
オンライン: http://dx.doi.org/10.1007/978-3-642-02454-2
所蔵情報: loading…