도서/음반/DVD > 해외도서
137,400원
역대최고가 137,400원
최근평균가 137,400원
역대최저가 137,400원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
245,280원
Formal Verification of Circuits Paperback, Springer
126,500원
(영문도서) Formal Verification of Structurally Complex Multipliers Paperback, Springer, English, 9783031245732
110,880원
Polynomial Expansions of Analytic Functions Paperback, Springer
150,300원
(영문도서) Leveraging Applications of Formal Methods Verification and Validation. Verification Principl... Paperback, Springer, English, 9783031198489
230,280원
Formal Verification of Circuits Hardcover, Springer
222,880원
Advanced Formal Verification Paperback, Springer
135,300원
(영문도서) Formal Verification of Structurally Complex Multipliers Hardcover, Springer, English, 9783031245701
89,580원
Complete Symbolic Simulation of Systemc Models: Efficient Formal Verification of Finite Non-Terminating Programs Paperback, Springer Vieweg
60,460원
Formal Modeling and Verification of Cyber-Physical Systems, Vieweg + Teubner Verlag
Advanced Formal Verification Hardcover, Springer
96,700원
Leveraging Applications of Formal Methods Verification and Validation: Verification Principles: 9th... Paperback, Springer, English, 9783030613617
93,100원
Leveraging Applications of Formal Methods Verification and Validation. Verification: 8th Internatio... Paperback, Springer, English, 9783030034207
122,080원
Introduction to Formal Hardware Verification Paperback, Springer
119,380원
Scalable Techniques for Formal Verification Paperback, Springer
148,600원
(영문도서) Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Paperback, Springer, English, 9783030871833
113,800원
(영문도서) Leveraging Applications of Formal Methods Verification and Validation. Distributed Systems: ... Paperback, Springer, English, 9783030034238
116,100원
(영문도서) Leveraging Applications of Formal Methods Verification and Validation. Software Engineering:... Paperback, Springer, English, 9783031197550
116,600원
(영문도서) Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Paperback, Springer, English, 9783030070489
(영문도서) Leveraging Applications of Formal Methods Verification and Validation. Industrial Practice: ... Paperback, Springer, English, 9783030034269
Verification of Reactive Systems: Formal Methods and Algorithms Paperback, Springer
189,280원
A Roadmap for Formal Property Verification Paperback, Springer
95,800원
(영문도서) Leveraging Applications of Formal Methods Verification and Validation: 10th International Sy... Paperback, Springer, English, 9783030891589
109,300원
(영문도서) Leveraging Applications of Formal Methods Verification and Validation. Practice: 11th Intern... Paperback, Springer, English, 9783031197611
SAT-Based Scalable Formal Verification Solutions Paperback, Springer
(영문도서) Leveraging Applications of Formal Methods Verification and Validation. Adaptation and Learni... Paperback, Springer, English, 9783031197581
(영문도서) Leveraging Applications of Formal Methods Verification and Validation. Modeling: 8th Interna... Paperback, Springer, English, 9783030034177
167,980원
Scalable Techniques for Formal Verification Hardcover, Springer
198,200원
(영문도서) Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Hardcover, Springer, English, 9783030871802
155,400원
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach Paperback, Springer
Introduction to Formal Hardware Verification Hardcover, Springer
77,400원
(영문도서) Leveraging Applications of Formal Methods Verification and Validation: Tools and Trends: 9th... Paperback, Springer, English, 9783030837228
141,780원
Symbolic Simulation Methods for Industrial Formal Verification Paperback, Springer
SAT-Based Scalable Formal Verification Solutions Hardcover, Springer
180,700원
Formal System Verification: State-Of The-Art and Future Trends Paperback, Springer
A Roadmap for Formal Property Verification Hardcover, Springer
129,480원
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach Hardcover, Springer
114,300원
(영문도서) From Algorithms to Hardware Architectures: Using Digital Radios as a Design Example Paperback, Springer, English, 9783031086953
149,000원
(영문도서) Antenna Technology for Terahertz Wireless Communication Hardcover, Springer, English, 9783031358999
198,600원
(영문도서) On-Chip Training Npu - Algorithm Architecture and Soc Design Hardcover, Springer, English, 9783031342363
144,480원
Fractal Elements and Their Applications Hardcover, Springer
Computational Intelligence: For Engineering and Manufacturing Hardcover, Springer
424,480원
Compact Low-Voltage and High-Speed CMOS BICMOS and Bipolar Operational Amplifiers Paperback, Springer
Dynamically Reconfigurable Systems: Architectures Design Methods and Applications Paperback, Springer
Analog Integrated Circuits Hardcover, Springer
310,240원
Embedded System Applications Paperback, Springer
201,580원
Semiconductor Modeling:: For Simulating Signal Power and Electromagnetic Integrity Paperback, Springer
223,980원
Circuit and Interconnect Design for RF and High Bit-Rate Applications Hardcover, Springer
179,180원
Wide-Bandwidth High Dynamic Range D/A Converters Paperback, Springer
202,200원
(영문도서) DC--DC Converters for Future Renewable Energy Systems Hardcover, Springer, English, 9789811643873
155,800원
(영문도서) Modern Printed-Circuit Antennas Hardcover, Intechopen, English, 9781838808570
208,100원
(영문도서) Silicon Carbide: Materials Processing and Applications in Electronic Devices Hardcover, Intechopen, English, 9789533079684
157,400원
(영문도서) Integrated Circuits/Microchips Hardcover, Intechopen, English, 9781789859300
90,100원
(영문도서) Operational Amplifier: Theory and Experiments Hardcover, Springer, English, 9789811641848
74,400원
(영문도서) Programming and Interfacing with Arduino Paperback, CRC Press, English, 9781032063164
94,500원
(영문도서) Intelligent Internet of Things: From Device to Fog and Cloud Paperback, Springer, English, 9783030303693
66,700원
(영문도서) Sensor Circuits and Switching for Stringed Instruments: Humbucking Pairs Triples Quads and ... Paperback, Springer, English, 9783030231262
161,100원
(영문도서) CAD of Circuits and Integrated Systems Hardcover, Wiley-Iste, English, 9781786305978
56,200원
A Journey of Embedded and Cyber-Physical Systems: Essays Dedicated to Peter Marwedel on the Occasion... Paperback, Springer
129,100원
Network-On-Chip Security and Privacy Hardcover, Springer, English, 9783030691301
106,900원
Noise in Nanoscale Semiconductor Devices Paperback, Springer, English, 9783030375027
90,000원
Introducing Design Automation for Quantum Computing Paperback, Springer, English, 9783030417550
192,200원
Avoiding Inelastic Strains in Solder Joint Interconnections of IC Devices Hardcover, CRC Press, English, 9781138624733
40,200원
Electric Circuits: A Concise Conceptual Tutorial Hardcover, Springer, English, 9783030605148
106,000원
Authentication of Embedded Devices: Technologies Protocols and Emerging Applications Hardcover, Springer, English, 9783030607685
209,500원
Advances in Vlsi Communication and Signal Processing: Select Proceedings of Vcas 2018 Paperback, Springer, English, 9789813297777
103,400원
Integrated Hybrid Resonant DCDC Converters Hardcover, Springer, English, 9783030639433
113,300원
(영문도서) Deep In-Memory Architectures for Machine Learning Hardcover, Springer, English, 9783030359706
112,800원
(영문도서) Bluetooth 5.0 Modem Design for IoT Devices Hardcover, Springer, English, 9783030886257
35,800원
(영문도서) Practical Electronic Design for Experimenters Paperback, McGraw-Hill Education Tab
78,500원
Design and Test Strategies for 2d/3D Integration for Noc-Based Multicore Architectures Paperback, Springer, English, 9783030313128
104,100원
Tfet Integrated Circuits: From Perspective Towards Reality Hardcover, Springer, English, 9783030551186
151,400원
(영문도서) Terahertz Antenna Technology for Imaging and Sensing Applications Hardcover, Springer, English, 9783030689599