close
1.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
72. CMOS Active Inductors and Transformers : Principle, Implementation, and Applications
by Fei Yuan
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2008
オンライン: http://dx.doi.org/10.1007/978-0-387-76479-5
所蔵情報: loading…
73.

電子ブック
ＥＢ
73. System Verilog for Verification : A Guide to Learning the Testbench Language Features. 2
by Chris Spear
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2008
オンライン: http://dx.doi.org/10.1007/978-0-387-76530-3
所蔵情報: loading…
74.

電子ブック
ＥＢ
74. Design for Manufacturability and Statistical Design : A Constructive Approach
by Michael Orshansky, Sani R. Nassif, Duane Boning
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2008
オンライン: http://dx.doi.org/10.1007/978-0-387-69011-7
所蔵情報: loading…
75.

電子ブック
ＥＢ
75. Creating Assertion-Based IP
by Harry D. Foster, Adam C. Krolnik
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2008
オンライン: http://dx.doi.org/10.1007/978-0-387-68398-0
所蔵情報: loading…
76.

電子ブック
ＥＢ
76. Power Distribution Networks with On-Chip Decoupling Capacitors
by Mikhhail Popovich, Andrey V. Mezhiba, Eby G. Friedman
出版情報: Boston, MA : Springer Science + Business Media, LLC, 2008
オンライン: http://dx.doi.org/10.1007/978-0-387-71601-5
所蔵情報: loading…
77.

電子ブック
ＥＢ
77. Rapid Prototyping of Digital Systems
by James O. Hamblen, Tyson S. Hall, Michael D. Furman
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2008
オンライン: http://dx.doi.org/10.1007/978-0-387-72671-7
所蔵情報: loading…
78.

電子ブック
ＥＢ
78. Closing the Power Gap Between ASIC & Custom : Tools and Techniques for Low Power Design
by David Chinnery, Kurt Keutzer
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2007
オンライン: http://dx.doi.org/10.1007/978-0-387-68953-1
所蔵情報: loading…
79.

電子ブック
ＥＢ
79. CMOS Current-Mode Circuits for Data Communications
by Fei Yuan
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2007
シリーズ名: Analog Circuits and Signal Processing ;
オンライン: http://dx.doi.org/10.1007/978-0-387-47691-9
所蔵情報: loading…
80.

電子ブック
ＥＢ
80. Inverse Problems in Electric Circuits and Electromagnetics
by V. L. Chechurin, N. V. Korovkin, M. Hayakawa
出版情報: Boston, MA : Springer Science+Business Media LLC, 2007
シリーズ名: Mathematical and Analytical Techniques with Applications to Engineering ;
オンライン: http://dx.doi.org/10.1007/978-0-387-46047-5
所蔵情報: loading…
81.

電子ブック
ＥＢ
81. Global Specification and Validation of Embedded Systems : Integrating Heterogeneous Components
edited by Gabriela Nicolescu, Ahmed Jerraya
出版情報: Dordrecht : Springer Science+Business Media B.V., 2007
オンライン: http://dx.doi.org/10.1007/978-1-4020-6153-0
所蔵情報: loading…
82.

電子ブック
ＥＢ
82. Full-Chip Nanometer Routing Techniques
by Tsung-Yi Ho, Yao-Wen Chang, Sao-Jie Chen
出版情報: Dordrecht : Springer, 2007
シリーズ名: Analog Circuits And Signal Processing Series ;
オンライン: http://dx.doi.org/10.1007/978-1-4020-6195-0
所蔵情報: loading…
83.

電子ブック
ＥＢ
83. Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
Ma, Zhe ; Catthoor, Francky ; Couvreur, Chantal Ykman- ; Gomez, Jose Ignacio ; Himpe, Stefaan ; Marchal, Pol ; Scarpazza, Daniele Paolo ; Wong, Chun ; Yang, Peng ; SpringerLink (Online service)
出版情報: Dordrecht : Springer, 2007
オンライン: http://dx.doi.org/10.1007/978-1-4020-6344-2
所蔵情報: loading…
84.

電子ブック
ＥＢ
84. Embedded System Design
by P. Marwedel
出版情報: New York, NY : Springer US, 2006
オンライン: http://dx.doi.org/10.1007/0-387-29237-3
所蔵情報: loading…
85.

電子ブック
ＥＢ
85. Semiconductor Modeling : For Simulating Signal, Power, and Electromagnetic Integrity
by Roy G. Leventhal, Lynne Green
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2006
オンライン: http://dx.doi.org/10.1007/b104647
所蔵情報: loading…
86.

電子ブック
ＥＢ
86. Scalable Hardware Verification with Symbolic Simulation
by Valeria Bertacco
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-29906-8
所蔵情報: loading…
87.

電子ブック
ＥＢ
87. Verification Methodology Manual for SystemVerilog
by Janick Bergeron, Eduard Cerny, Alan Hunter, Andrew Nightingale
出版情報: Boston, MA : Synopsys, Inc. and ARM Limited, 2006
オンライン: http://dx.doi.org/10.1007/b135575
所蔵情報: loading…
88.

電子ブック
ＥＢ
88. Hardware Verification with C+ : A Practitioner's Handbook
by Mike Mintz, Robert Ekendahl
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2006
オンライン: http://dx.doi.org/10.1007/978-0-387-36254-0
所蔵情報: loading…
89.

電子ブック
ＥＢ
89. Leakage in Nanometer CMOS Technologies
by Siva G. Narendra, Anantha Chandrakasan
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
シリーズ名: Series on Integrated Circuits and Systems ;
オンライン: http://dx.doi.org/10.1007/0-387-28133-9
所蔵情報: loading…
90.

電子ブック
ＥＢ
90. Thermal and Power Management of Integrated Circuits
by Arman Vassighi, Manoj Sachdev
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
シリーズ名: Series on Integrated Circuits and Systems ;
オンライン: http://dx.doi.org/10.1007/0-387-29749-9
所蔵情報: loading…
91.

電子ブック
ＥＢ
91. Interconnect Noise Optimization in Nanometer Technologies
by Mohamed A. Elgamel, Magdy A. Bayoumi
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-29366-3
所蔵情報: loading…
92.

電子ブック
ＥＢ
92. Constraint-Based Verification
by Jun Yuan, Carl Pixley, Adnan Aziz
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-30784-2
所蔵情報: loading…
93.

電子ブック
ＥＢ
93. Electromagnetic Compatibility of Integrated Circuits : Techniques for low emission and susceptibility
edited by Sonia Ben Dhia, Mohamed Ramdani, Etienne Sicard
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/b137864
所蔵情報: loading…
94.

電子ブック
ＥＢ
94. Systemverilog for Verification : A Guide to Learning the Testbench Language Features
by Chris Spear
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2006
オンライン: http://dx.doi.org/10.1007/b138536
所蔵情報: loading…
95.

電子ブック
ＥＢ
95. Rapid Prototyping of Digital Systems. QUARTUSR II EDITION
by James O. Hamblen, Tyson S. Hall, Michael D. Furman
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-28965-8
所蔵情報: loading…
96.

電子ブック
ＥＢ
96. Writing Testbenches using System Verilog
by Janick Bergeron
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2006
オンライン: http://dx.doi.org/10.1007/0-387-31275-7
所蔵情報: loading…
97.

電子ブック
ＥＢ
97. Embedded System Design
by Peter Marwedel
出版情報: Boston, MA : Springer, 2006
オンライン: http://dx.doi.org/10.1007/0-387-30087-2
所蔵情報: loading…
98.

電子ブック
ＥＢ
98. The Core Test Wrapper Handbook : Rationale and Application of IEEE Std. 1500?
by Francisco Silva, Teresa McLaurin, Tom Waayers
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2006
シリーズ名: Frontiers in Electronic Testing ; 35
オンライン: http://dx.doi.org/10.1007/0-387-34609-0
所蔵情報: loading…
99.

電子ブック
ＥＢ
99. SystemVerilog for Design : A Guide to Using SystemVerilog for Hardware Design and Modeling. Second Edition
by Stuart Sutherland, Simon Davidmann, Peter Flake
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2006
オンライン: http://dx.doi.org/10.1007/0-387-36495-1
所蔵情報: loading…
100.

電子ブック
ＥＢ
100. Abstraction Refinement for Large Scale Model Checking
by Chao Wang, Gary D. Hachtel, Fabio Somenzi
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2006
シリーズ名: Series on Integrated Circuits and Systems ;
オンライン: http://dx.doi.org/10.1007/0-387-34600-7
所蔵情報: loading…