도서/음반/DVD > 해외도서 > 컴퓨터 > 프로그래밍 > 로직 디자인
62,040원
역대최고가 62,040원
최근평균가 62,040원
역대최저가 52,040원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
57,120원
Real Chip Design and Verification Using Verilog and VHDL Paperback, Createspace Independent Publishing Platform
95,200원
Systemverilog Assertions Handbook 4th Edition: ... for Dynamic and Formal Verification Paperback, Createspace Independent Publishing Platform
65,500원
Practical Digital Design: Using SystemVerilog and FPGA Paperback, Createspace Independent Pub..., English, 9781724335098
114,240원
Rtl Modeling with Systemverilog for Simulation and Synthesis: Using Systemverilog for ASIC and FPGA De..., Createspace Independent Publishing Platform
171,500원
Systemverilog for Hardware Description: Rtl Design and Verification Hardcover, Springer
223,980원
SystemVerilog for Design: A Guide to Using SystemVerilog for Hardware Design and Modeling Hardcover, Springer
179,180원
Systemverilog for Design Second Edition: A Guide to Using Systemverilog for Hardware Design and Modeling Paperback, Springer
111,940원
Digital Integrated Circuit Design Using Verilog and Systemverilog Hardcover, Newnes
175,380원
Verification Methodology Manual for Systemverilog Paperback, Springer
14,310원
Conception (Revised): Revised and Re-Edited Paperback, Createspace Independent Publishing Platform
9,370원
A Syllogisms Playbook: Using Pln for Deductive Logic Paperback, Createspace Independent Publishing Platform
301,280원
Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques Paperback, Springer
Digital Systems Design and Practice: Using Verilog Hdl and FPGAs Paperback, Createspace Independent Publishing Platform
Mysticism and Logic Paperback, Createspace Independent Publishing Platform
13,310원
Monitoring and Verification in Arms Control Paperback, Createspace Independent Publishing Platform
14,270원
Beginner Database Design Using Microsoft SQL Server Paperback, Createspace Independent Publishing Platform
36,550원
The Design of Information Dashboards Using SAS Paperback, Createspace Independent Publishing Platform
13,320원
Saragosa: Revised and Expanded Paperback, Createspace Independent Publishing Platform
19,000원
Logic Inductive and Deductive Paperback, Createspace Independent Publishing Platform
23,790원
Logic. Inductive and Deductive Paperback, Createspace Independent Publishing Platform
76,410원
Analog-Mixed Signal Verification Paperback, Createspace Independent Publishing Platform
13,750원
Flow (Revised and Expanded) Paperback, Createspace Independent Publishing Platform
Logic Synthesis and Verification Paperback, Springer
Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques Hardcover, Springer
9,280원
Logic Primer Paperback, Createspace Independent Publishing Platform
9,730원
Revised Orders Paperback, Createspace Independent Publishing Platform
15,260원
Stantasyland: Revised Paperback, Createspace Independent Publishing Platform
11,420원
Star Logic Paperback, Createspace Independent Publishing Platform
23,800원
Learning Logic Paperback, Createspace Independent Publishing Platform
14,280원
Wolf Logic Paperback, Createspace Independent Publishing Platform
9,530원
Enviro Logic Paperback, Createspace Independent Publishing Platform
11,440원
Revised Edition Paperback, Createspace Independent Publishing Platform
19,990원
Rune Logic Paperback, Createspace Independent Publishing Platform
Iceman''s Children Book 2: Exploration and Verification Paperback, Createspace Independent Publishing Platform
100,780원
Recent Trends in Algebraic Development Techniques: 18th International Workshop WADT 2006 La Roche En ..., Springer
100,740원
Verification of Sequential and Concurrent Programs Hardcover, Springer
95,180원
Logic Language Information and Computation Paperback, Springer
110,880원
Advances in Computer Science - ASIAN 2007: Computer and Netowrk Security: 12th Asian Computing Science..., Springer
Scenarios: Models Transformations and Tools: International Workshop Dagstuhl Castle Germany Septem..., Springer
Compiler Construction: 16th International Conference CC 2007 Held as Part of the Joint European Conf..., Springer
Foundations of Software Science and Computation Structures: First International Conference Fossacs''98..., Springer
Compiler Construction: 17th International Conference CC 2008 Held as Part of the Joint European Conf..., Springer
117,600원
Theory of CMOS Digital Circuits and Circuit Failures Paperback, Princeton University Press
122,080원
Verification Model Checking and Abstract Interpretation: 5th International Conference Vmcai 2004 V..., Springer
Foundations of Software Science and Computational Structures: 10th International Conference FOSSACS 2..., Springer
133,280원
Recent Trends in Algebraic Development Techniques: 16th International Workshop Wadt 2002 Frauenchiem..., Springer
155,680원
Automated Technology for Verification and Analysis: Third International Symposium Atva 2005 Taipei ..., Springer
Rapid Prototyping of Digital Systems: A Tutorial Approach Paperback, Springer
189,280원
Concur 2009 - Concurrency Theory: 20th International Conference Concur 2009 Bologna Italy September 1-4 2009 Proceedings Paperback, Springer
Binary Decision Diagrams and Applications for VLSI CAD Hardcover, Springer
231,780원
Computer Aided Logical Design with Emphasis on VLSI Paperback, Wiley
245,280원
Logic Synthesis for Field-Programmable Gate Arrays Paperback, Springer
CMOS VLSI Engineering: Silicon-On-Insulator (Soi) Hardcover, Springer
144,480원
Correct Hardware Design and Verification Methods: 12th Ifip Wg 10.5 Advanced Research Working Conferen..., Springer
Iddq Testing of VLSI Circuits Paperback, Springer
267,680원
The Origins of Digital Computers: Selected Papers Hardcover, Springer
207,200원
Memory Design Techniques for Low Energy Embedded Systems Hardcover, Springer
Formal Approaches to Software Testing: 5th International Workshop Fates 2005 Edinburgh UK July 11 2005 Revised Selected Papers Paperback, Springer
234,080원
Timing Analysis and Optimization of Sequential Circuits Hardcover, Springer
CMOS VLSI Engineering: Silicon-On-Insulator (Soi) Paperback, Springer
200,480원
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference Taca..., Springer
A Unified Approach for Timing Verification and Delay Fault Testing Hardcover, Springer
Recent Developments in Intelligent Nature-Inspired Computing Hardcover, Information Science Reference
Integrated Circuit and System Design: Power and Timing Modeling Optimization and Simulation; 14th Int..., Springer
Fairness Paperback, Springer
CSL ''87: 1st Workshop on Computer Science Logic Karlsruhe Frg October 12-16 1987. Proceedings Paperback, Springer
55,980원
Programs as Data Objects: Proceedings of a Workshop Copenhagen Denmark October 17 - 19 1985 Paperback, Springer
Integrated Formal Methods: 5th International Conference Ifm 2005 Eindhoven the Netherlands Novembe..., Springer
Hardware Specification Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Instit..., Springer
Computer Science Logic: 12th International Workshop CSL''98 Annual Conference of the Eacsl Brno Cze..., Springer