도서/음반/DVD > 해외도서
155,400원
역대최고가 155,400원
최근평균가 155,400원
역대최저가 119,860원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
129,480원
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach Hardcover, Springer
245,280원
Formal Verification of Circuits Paperback, Springer
148,600원
(영문도서) Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Paperback, Springer, English, 9783030871833
116,600원
(영문도서) Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Paperback, Springer, English, 9783030070489
230,280원
Formal Verification of Circuits Hardcover, Springer
222,880원
Advanced Formal Verification Paperback, Springer
189,280원
A Roadmap for Formal Property Verification Paperback, Springer
198,200원
(영문도서) Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Hardcover, Springer, English, 9783030871802
110,880원
MATLAB R2009 Simulink Et Stateflow Pour Ingenieurs Chercheurs Et Etudiants Paperback, Springer
Advanced Formal Verification Hardcover, Springer
A Roadmap for Formal Property Verification Hardcover, Springer
122,080원
Introduction to Formal Hardware Verification Paperback, Springer
119,380원
Scalable Techniques for Formal Verification Paperback, Springer
Verification of Reactive Systems: Formal Methods and Algorithms Paperback, Springer
Cognitive Reasoning: A Formal Approach Paperback, Springer
96,700원
Leveraging Applications of Formal Methods Verification and Validation: Verification Principles: 9th... Paperback, Springer, English, 9783030613617
266,560원
Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification Paperback, Springer
SAT-Based Scalable Formal Verification Solutions Paperback, Springer
167,980원
Scalable Techniques for Formal Verification Hardcover, Springer
93,100원
Leveraging Applications of Formal Methods Verification and Validation. Verification: 8th Internatio... Paperback, Springer, English, 9783030034207
Introduction to Formal Hardware Verification Hardcover, Springer
166,880원
Verification and Control of Hybrid Systems: A Symbolic Approach Paperback, Springer
190,380원
A Formal Approach to Hardware Design Paperback, Springer
150,300원
(영문도서) Leveraging Applications of Formal Methods Verification and Validation. Verification Principl... Paperback, Springer, English, 9783031198489
141,780원
Symbolic Simulation Methods for Industrial Formal Verification Paperback, Springer
Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification Hardcover, Springer
61,580원
Facial Kinship Verification: A Machine Learning Approach Paperback, Springer
SAT-Based Scalable Formal Verification Solutions Hardcover, Springer
156,780원
Swarm Robotics: A Formal Approach Hardcover, Springer
126,500원
(영문도서) Formal Verification of Structurally Complex Multipliers Paperback, Springer, English, 9783031245732
180,700원
Formal System Verification: State-Of The-Art and Future Trends Paperback, Springer
146,720원
Deductive Software Verification - The Key Book: From Theory to Practice Paperback, Springer
145,580원
Functional Verification of Programmable Embedded Architectures: A Top-Down Approach Paperback, Springer
Formal Hardware Verification: Methods and Systems in Comparison Paperback, Springer
95,880원
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of..., Springer
Symbolic Simulation Methods for Industrial Formal Verification Hardcover, Springer
164,660원
Understanding Delta-sigma Data Converters, IEEE
22,680원
Brilliant LED Projects: 20 Electronic Designs for Artists Hobbyists and Experimenters, Tab Books
211,680원
System Specification and Design Languages: Selected Contributions from Fdl 2010 Paperback, Springer
100,780원
Introduction to Thin Film Transistors: Physics and Technology of Tfts Hardcover, Springer
172,000원
Low-Power Analog Techniques Sensors for Mobile Devices and Energy Efficient Amplifiers Advances in Analog Circuit Design 2018, Springer
130,530원
Digital Signal Processing with Field Programmable Gate Arrays, Springer
Advances in Embedded and Fan-Out Wafer Level Packaging Technologies, Wiley-IEEE Press
108,860원
Ultra Low Power Bioelectronics: Fundamentals Biomedical Applications and Bio-inspired Systems, Cambridge Univ Pr
192,700원
Fundamentals of IP and Soc Security: Design Verification and Debug Paperback, Springer
132,500원
Real-Time Multi-Chip Neural Network for Cognitive Systems Hardcover, River Publishers
119,200원
Languages Design Methods and Tools for Electronic System Design: Selected Contributions from Fdl 2015 Paperback, Springer
168,600원
Harnessing VLSI System Design with Eda Tools Hardcover, Springer
Exact Design of Digital Microfluidic Biochips Hardcover, Springer
205,800원
Wireless Power Transfer: Using Magnetic and Electric Resonance Coupling Techniques Hardcover, Springer
10,060원
Kicad Eeschema Reference Manual Paperback, 12th Media Services
Kicad Pcbnew Reference Manual Paperback, 12th Media Services
146,260원
Oscillators and Oscillator Systems: Classification Analysis and Synthesis Paperback, Springer
Chaos in Switching Converters for Power Management: Designing for Prediction and Control Paperback, Springer
186,580원
Power Amplifiers for the S- C- X- And Ku-Bands: An Eda Perspective Paperback, Springer
Smart Systems Integration and Simulation Paperback, Springer
96,300원
Arduino I: Getting Started Hardcover, Morgan & Claypool
144,480원
Securing Digital Video: Techniques for Drm and Content Protection Paperback, Springer
114,300원
Automated Hierarchical Synthesis of Radio-Frequency Integrated Circuits and Systems: A Systematic an... Hardcover, Springer
10,100원
Dubliners: Literary Classics Paperback, Independently Published
Simulating Nonlinear Circuits with Python Power Electronics: An Open-Source Simulator Based on Python(tm) Hardcover, Springer
48,720원
Programming and Customizing the Picaxe Microcontroller Paperback, McGraw-Hill Education Tab
50,400원
Introduction to Embedded Systems: Using ANSI C and the Arduino Development Environment Paperback, Morgan & Claypool
8,410원
Make: Volume 52: Virtual Creation - Design and Build in VR Space Paperback, Maker Media, Inc
138,500원
From Artificial Intelligence to Brain Intelligence: AI Compute Symposium 2018 Hardcover, River Publishers
141,650원
Embedded Deep Learning:Algorithms Architectures and Circuits for Always-On Neural Network Proc..., Springer Us
152,980원
Minimizing and Exploiting Leakage in VLSI Design Paperback, Springer
62,800원
Lattice-Based Public-Key Cryptography in Hardware Paperback, Springer, English, 9789813299962
81,200원
On-Chip Current Sensors for Reliable Secure and Low-Power Integrated Circuits Paperback, Springer, English, 9783030293550
65,000원
Complex Digital Circuits Paperback, Springer, English, 9783030126551
191,700원
Control Instrumentation Systems: Proceedings of Ciscon 2018 Paperback, Springer