도서/음반/DVD > 해외도서 > 컴퓨터 > 프로그래밍 > 로직 디자인
234,080원
역대최고가 234,080원
최근평균가 234,080원
역대최저가 198,960원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
211,680원
Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis Paperback, Springer
110,880원
P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired Programmed and Microprogra..., Springer
68,600원
Tetrad Formalism for Exact Cosmological Observables Paperback, Springer
200,480원
A Unified Approach for Timing Verification and Delay Fault Testing Hardcover, Springer
102,080원
Boolean Functions and Computation Models Hardcover, Springer
87,240원
Analysis of Boolean Functions, Cambridge University Press
166,880원
Boolean Algebras in Analysis Hardcover, Springer
196,000원
A Unified Approach for Timing Verification and Delay Fault Testing Paperback, Springer
144,480원
Boolean Functions and Their Applications in Cryptography Hardcover, Springer
246,380원
Static Timing Analysis for Nanometer Designs: A Practical Approach Hardcover, Springer
112,080원
Boolean Functions and Computation Models Paperback, Springer
Boolean Valued Analysis Paperback, Springer
125,700원
(영문도서) Convex Analysis for Optimization: A Unified Approach Hardcover, Springer, English, 9783030418038
190,380원
Static Timing Analysis for Nanometer Designs: A Practical Approach Paperback, Springer
Design-Oriented Analysis of Structures: A Unified Approach Hardcover, Springer
223,980원
Statistical Analysis and Optimization for VLSI: Timing and Power Hardcover, Springer
189,280원
A Guide to Empirical Orthogonal Functions for Climate Data Analysis Hardcover, Springer
167,980원
Boolean Functions and Their Applications in Cryptography Paperback, Springer
Exact Statistical Methods for Data Analysis Paperback, Springer
86,000원
Convex Analysis for Optimization: A Unified Approach Paperback, Springer, English, 9783030418069
190,510원
Analysis and Control of Boolean Networks: A Semi-tensor Product Approach Hardcover, Springer
123,180원
Gravitational Wave Detection and Data Analysis for Pulsar Timing Arrays Hardcover, Springer
135,680원
Boolean Functions: With Engineering Applications and Computer Programs Paperback, Springer
157,200원
(영문도서) Boolean Functions Hardcover, Wiley, English, 9781119517474
155,680원
Subjective Logic: A Formalism for Reasoning Under Uncertainty Hardcover, Springer
Probabilistic Analysis of Belief Functions Hardcover, Springer
Timing Analysis and Optimization of Sequential Circuits Hardcover, Springer
301,280원
Boolean Semantics for Natural Language Hardcover, Springer
156,780원
Constraining Designs for Synthesis and Timing Analysis: A Practical Guide to Synopsys Design Constraints (Sdc) Hardcover, Springer
91,300원
Boolean Functions for Cryptography and Coding Theory Hardcover, Cambridge University Press, English, 9781108473804
100,780원
Construction and Analysis of Cryptographic Functions Hardcover, Springer
Analysis III: Spaces of Differentiable Functions Hardcover, Springer
263,200원
Tensor Analysis and Nonlinear Tensor Functions Hardcover, Springer
Small Rnas:: Analysis and Regulatory Functions Hardcover, Springer
Fourier Analysis and Approximation of Functions Hardcover, Springer
78,380원
Computersysteme -- Aufbau Und Funktionsweise Paperback, Springer
122,080원
Microarchitecture of VLSI Computers Paperback, Springer
Logic in Computer Science: Modelling and Reasoning About Systems, Cambridge Univ Pr
Logic of Computation Paperback, Springer
72,800원
Computation and Reasoning - A Type Theory for Computer Science Hardcover, OUP Oxford
Static Analysis: 16th International Symposium SAS 2009 Los Angeles CA USA August 9-11 2009 Proceedings Paperback, Springer
Algebraic Methodology and Software Technology: 12th International Conference Amast 2008 Urbana Il USA July 28-31 2008 Proceedings Paperback, Springer
Rapid Reliability Assessment of Vlsics Paperback, Springer
Compressed Data Structures for Strings: On Searching and Extracting Strings from Compressed Textual Data Hardcover, Atlantis Press
Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report Paperback, Springer
Reduced Thermal Processing for ULSI Paperback, Springer
126,000원
Decision Theory with Imperfect Information Hardcover, World Scientific Publishing Company
44,780원
Axiomatising the Logic of Computer Programming Paperback, Springer
33,580원
Algebraic Semantics Paperback, Springer
134,380원
On-Chip High-Voltage Generator Design Paperback, Springer
Integrated Formal Methods: 4th International Conference Ifm 2004 Canterbury UK April 4-7 2004 Proceedings Paperback, Springer
Unfoldings: A Partial-Order Approach to Model Checking Paperback, Springer
Circuit Synthesis with VHDL Paperback, Springer
VLSI Specification Verification and Synthesis Paperback, Springer
179,180원
Representations of Discrete Functions Paperback, Springer
Practical Low Power Digital VLSI Design Paperback, Springer
Pattern Calculus: Computing with Functions and Structures Hardcover, Springer
Substrate Noise Coupling in Mixed-Signal Asics Paperback, Springer
Hierarchical Modeling for VLSI Circuit Testing Hardcover, Springer
Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday Paperback, Springer
218,400원
Technological Innovations in Adaptive and Dependable Systems: Advancing Models and Concepts Hardcover, IGI Publishing
222,880원
A Survey of High-Level Synthesis Systems Hardcover, Springer
Ambient Intelligence: Impact on Embedded System Design Paperback, Springer
Introduction to VLSI Process Engineering Paperback, Springer
Low Power Digital CMOS Design Paperback, Springer
Asynchronous Circuits Paperback, Springer
Functional Decomposition with Applications to FPGA Synthesis Paperback, Springer
Low-Energy FPGAs -- Architecture and Design Paperback, Springer
229,600원
Design and Modeling of Low Power VLSI Systems Hardcover, Engineering Science Reference
Place Coding in Analog VLSI: A Neuromorphic Approach to Computation Hardcover, Springer
Representations of Discrete Functions Hardcover, Springer