close
1.

電子ブック
ＥＢ
1. 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…
2.

電子ブック
ＥＢ
2. 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…
3.

電子ブック
ＥＢ
3. 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…
4.

電子ブック
ＥＢ
4. 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…
5.

電子ブック
ＥＢ
5. 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…
6.

電子ブック
ＥＢ
6. 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…
7.

電子ブック
ＥＢ
7. 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…
8.

電子ブック
ＥＢ
8. 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…
9.

電子ブック
ＥＢ
9. 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…
10.

電子ブック
ＥＢ
10. 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…
11.

電子ブック
ＥＢ
11. 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…
12.

電子ブック
ＥＢ
12. 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…
13.

電子ブック
ＥＢ
13. 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…
14.

電子ブック
ＥＢ
14. 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…
15.

電子ブック
ＥＢ
15. 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…
16.

電子ブック
ＥＢ
16. 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…
17.

電子ブック
ＥＢ
17. 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…
18.

電子ブック
ＥＢ
18. 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…
19.

電子ブック
ＥＢ
19. 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…
20.

電子ブック
ＥＢ
20. 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…
21.

電子ブック
ＥＢ
21. 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…
22.

電子ブック
ＥＢ
22. 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…
23.

電子ブック
ＥＢ
23. 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…
24.

電子ブック
ＥＢ
24. 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…
25.

電子ブック
ＥＢ
25. 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…
26.

電子ブック
ＥＢ
26. 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…
27.

電子ブック
ＥＢ
27. 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…
28.

電子ブック
ＥＢ
28. 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…
29.

電子ブック
ＥＢ
29. 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…
30.

電子ブック
ＥＢ
30. 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…
31.

電子ブック
ＥＢ
31. 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…
32.

電子ブック
ＥＢ
32. 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…
33.

電子ブック
ＥＢ
33. 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…
34.

電子ブック
ＥＢ
34. 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…
35.

電子ブック
ＥＢ
35. 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…
36.

電子ブック
ＥＢ
36. 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…
37.

電子ブック
ＥＢ
37. 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…
38.

電子ブック
ＥＢ
38. 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…
39.

電子ブック
ＥＢ
39. 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…
40.

電子ブック
ＥＢ
40. 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…
41.

電子ブック
ＥＢ
41. 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…
42.

電子ブック
ＥＢ
42. 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…
43.

電子ブック
ＥＢ
43. 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…
44.

電子ブック
ＥＢ
44. 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…
45.

電子ブック
ＥＢ
45. 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…
46.

電子ブック
ＥＢ
46. 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…
47.

電子ブック
ＥＢ
47. 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…
48.

電子ブック
ＥＢ
48. 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…
49.

電子ブック
ＥＢ
49. 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…
50.

電子ブック
ＥＢ
50. 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…
51.

電子ブック
ＥＢ
51. 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…
52.

電子ブック
ＥＢ
52. 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…
53.

電子ブック
ＥＢ
53. 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…
54.

電子ブック
ＥＢ
54. 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…
55.

電子ブック
ＥＢ
55. 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…
56.

電子ブック
ＥＢ
56. 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…
57.

電子ブック
ＥＢ
57. 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…
58.

電子ブック
ＥＢ
58. 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…
59.

電子ブック
ＥＢ
59. 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…
60.

電子ブック
ＥＢ
60. 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…
61.

電子ブック
ＥＢ
61. 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…
62.

電子ブック
ＥＢ
62. 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…
63.

電子ブック
ＥＢ
63. 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…
64.

電子ブック
ＥＢ
64. 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…
65.

電子ブック
ＥＢ
65. 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…
66.

電子ブック
ＥＢ
66. 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…
67.

電子ブック
ＥＢ
67. 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…
68.

電子ブック
ＥＢ
68. 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…
69.

電子ブック
ＥＢ
69. 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…
70.

電子ブック
ＥＢ
70. 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…
71.

電子ブック
ＥＢ
71. 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…
72.

電子ブック
ＥＢ
72. 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…
73.

電子ブック
ＥＢ
73. 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…
74.

電子ブック
ＥＢ
74. 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…
75.

電子ブック
ＥＢ
75. 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…
76.

電子ブック
ＥＢ
76. 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…
77.

電子ブック
ＥＢ
77. 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…
78.

電子ブック
ＥＢ
78. 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…
79.

電子ブック
ＥＢ
79. 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…
80.

電子ブック
ＥＢ
80. 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…
81.

電子ブック
ＥＢ
81. Open Verification Methodology Cookbook. 1
by Mark Glasser
出版情報: New York, NY : Mentor Graphics Corporation, 2009
オンライン: http://dx.doi.org/10.1007/978-1-4419-0968-8
所蔵情報: loading…
82.

電子ブック
ＥＢ
82. Embedded System Design : Modeling, Synthesis and Verification
by Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer, Gunar Schirner
出版情報: Boston, MA : Springer-Verlag US, 2009
オンライン: http://dx.doi.org/10.1007/978-1-4419-0504-8
所蔵情報: loading…
83.

電子ブック
ＥＢ
83. SYROM 2009 : Proceedings of the 10th IFToMM International Symposium on Science of Mechanisms and Machines, held in Brasov, Romania, october 12-15, 2009
edited by Ion Visa
出版情報: Dordrecht : Springer Science+Business Media B.V., 2009
オンライン: http://dx.doi.org/10.1007/978-90-481-3522-6
所蔵情報: loading…
84.

電子ブック
ＥＢ
84. Clocking in Modern VLSI Systems
edited by Thucydides Xanthopoulos
出版情報: Boston, MA : Springer-Verlag US, 2009
シリーズ名: Integrated Circuits and Systems ;
オンライン: http://dx.doi.org/10.1007/978-1-4419-0261-0
所蔵情報: loading…
85.

電子ブック
ＥＢ
85. Structural Analysis with the Finite Element Method : Linear Statics
by Eugenio Onate
出版情報: Dordrecht : Springer Netherlands, 2009
シリーズ名: Lecture Notes on Numerical Methods in Engineering and Sciences ;
オンライン: http://dx.doi.org/10.1007/978-1-4020-8733-2
所蔵情報: loading…
86.

電子ブック
ＥＢ
86. Carbon Nanotube Electronics
edited by Jing Kong, Ali Javey
出版情報: Boston, MA : Springer-Verlag US, 2009
シリーズ名: Integrated Circuits and Systems ;
オンライン: http://dx.doi.org/10.1007/978-0-387-69285-2
所蔵情報: loading…
87.

電子ブック
ＥＢ
87. Timing Optimization Through Clock Skew Scheduling
edited by Ivan S. Kourtev, Baris Taskin, Eby G. Friedman
出版情報: Boston, MA : Springer US, 2009
オンライン: http://dx.doi.org/10.1007/978-0-387-71056-3
所蔵情報: loading…
88.

電子ブック
ＥＢ
88. Static Timing Analysis for Nanometer Designs : A Practical Approach
by Rakesh Chadha, J. Bhasker
出版情報: Boston, MA : Springer-Verlag US, 2009
オンライン: http://dx.doi.org/10.1007/978-0-387-93820-2
所蔵情報: loading…
89.

電子ブック
ＥＢ
89. Functional Design Errors in Digital Circuits : Diagnosis, Correction and Repair
by Kai-hui Chang, Igor L. Markov, Valeria Bertacco
出版情報: Dordrecht : Springer Netherlands, 2009
シリーズ名: Lecture Notes in Electrical Engineering ; 32
オンライン: http://dx.doi.org/10.1007/978-1-4020-9365-4
所蔵情報: loading…
90.

電子ブック
ＥＢ
90. Hardware Software Co-Design of a Multimedia SOC Platform
by Sao-Jie Chen, Guang-Huei Lin, Pao-Ann Hsiung, Yu-Hen Hu
出版情報: Dordrecht : Springer Netherlands, 2009
オンライン: http://dx.doi.org/10.1007/978-1-4020-9623-5
所蔵情報: loading…
91.

電子ブック
ＥＢ
91. Nanosystems Design and Technology
by Giovanni Micheli, Yusuf Leblebici, Martin Gijs, Janos Voros
出版情報: Boston, MA : Springer-Verlag US, 2009
オンライン: http://dx.doi.org/10.1007/978-1-4419-0255-9
所蔵情報: loading…
92.

電子ブック
ＥＢ
92. Computational Surface and Roundness Metrology
by Bala Muralikrishnan, Jay Raja
出版情報: London : Springer-Verlag, 2009
オンライン: http://dx.doi.org/10.1007/978-1-84800-297-5
所蔵情報: loading…
93.

電子ブック
ＥＢ
93. Introduction to Embedded System Design Using Field Programmable Gate Arrays
by Rahul Dubey
出版情報: London : Springer London, 2009
オンライン: http://dx.doi.org/10.1007/978-1-84882-016-6
所蔵情報: loading…
94.

電子ブック
ＥＢ
94. Collaborative Design and Planning for Digital Manufacturing
edited by Lihui Wang, Andrew Y.C. Nee
出版情報: London : Springer London, 2009
オンライン: http://dx.doi.org/10.1007/978-1-84882-287-0
所蔵情報: loading…
95.

電子ブック
ＥＢ
95. Model Predictive Control System Design and Implementation Using MATLABR
by Liuping Wang
出版情報: London : Springer London, 2009
シリーズ名: Advances in Industrial Control ;
オンライン: http://dx.doi.org/10.1007/978-1-84882-331-0
所蔵情報: loading…
96.

電子ブック
ＥＢ
96. DRM, a Design Research Methodology
by Lucienne T.M. Blessing, Amaresh Chakrabarti
出版情報: London : Springer London, 2009
オンライン: http://dx.doi.org/10.1007/978-1-84882-587-1
所蔵情報: loading…
97.

電子ブック
ＥＢ
97. Spotlight on Modern Transformer Design
by Pavlos S. Georgilakis
出版情報: London : Springer London, 2009
シリーズ名: Power Systems ;
オンライン: http://dx.doi.org/10.1007/978-1-84882-667-0
所蔵情報: loading…
98.

電子ブック
ＥＢ
98. Management of Knowledge Imperfection in Building Intelligent Systems
by Eugene Roventa, Tiberiu Spircu ; edited by Janusz Kacprzyk
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Studies in Fuzziness and Soft Computing ; 227
オンライン: http://dx.doi.org/10.1007/978-3-540-77463-1
所蔵情報: loading…
99.

電子ブック
ＥＢ
99. Advanced Design and Manufacturing Based on STEP
edited by Xun Xu, Andrew Y. C. Nee
出版情報: London : Springer London, 2009
シリーズ名: Springer Series in Advanced Manufacturing ;
オンライン: http://dx.doi.org/10.1007/978-1-84882-739-4
所蔵情報: loading…
100.

電子ブック
ＥＢ
100. Functional Verification Coverage Measurement and Analysis
by Andrew Piziali
出版情報: New York, NY : Springer US, 2008
オンライン: http://dx.doi.org/10.1007/b117979
所蔵情報: loading…