도서/음반/DVD > 해외도서 > 컴퓨터 > 프로그래밍 > 로직 디자인
166,880원
역대최고가 166,880원
최근평균가 166,880원
역대최저가 141,840원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
155,680원
Computer Aided Verification: 11th International Conference Cav''99 Trento Italy July 6-10 1999 Proceedings Paperback, Springer
User Modeling 2005: 10th International Conference Um 2005 Edinburgh Scotland UK July 24-29 2005 Proceedings Paperback, Springer
178,080원
Computer Aided Verification: 14th International Conference Cav 2002 Copenhagen Denmark July 27-31 2002 Proceedings Paperback, Springer
151,880원
Computer Aided Verification: 13th International Conference Cav 2001 Paris France July 18-22 2001. Proceedings Paperback, Springer
144,480원
Computer Aided Verification: 7th International Conference Cav ''95 Liege Belgium July 3 - 5 1995. Proceedings Paperback, Springer
Computer Aided Verification: 19th International Conference CAV 2007 Berlin Germany July 3-7 2007 Proceedings Paperback, Springer
Computer Aided Verification: 16th International Conference CAV 2004 Boston MA USA July 13-17 2004 Proceedings Paperback, Springer
187,040원
Computer Aided Verification: 25th International Conference Cav 2013 Saint Petersburg Russia July 13-19 2013 Proceedings Paperback, Springer
146,720원
Computer Aided Verification: 24th International Conference Cav 2012 Berkeley CA USA July 7-13 2012 Proceedings Paperback, Springer
Computer Aided Verification: 23rd International Conference Cav 2011 Snowbird UT USA July 14-20 2011 Proceedings Paperback, Springer
Computer Aided Verification: 12th International Conference Cav 2000 Chicago Il USA July 15-19 2000 Proceedings Paperback, Springer
135,680원
Computer Aided Verification: 5th International Conference Cav''93 Elounda Greece June 28 - July 1 1993. Proceedings Paperback, Springer
Computer Aided Verification: 15th International Conference Cav 2003 Boulder Co USA July 8-12 2003 Proceedings Paperback, Springer
189,280원
Computer Aided Verification: 21st International Conference CAV 2009 Grenoble France June 26-July 2 2009 Proceedings Paperback, Springer
160,850원
Computer Aided Verification: 29th International Conference Cav 2017 Heidelberg Germany July 24-28 2017 Proceedings Part I Paperback, Springer
133,280원
Computer Aided Verification: 29th International Conference Cav 2017 Heidelberg Germany July 24-28 2017 Proceedings Part II Paperback, Springer
Computer Aided Verification: 10th International Conference Cav''98 Vancouver BC Canada June 28-July 2 1998 Proceedings Paperback, Springer
56,700원
Computer Aided Verification: 32nd International Conference Cav 2020 Los Angeles Ca Usa July 21-... Paperback, Springer
119,840원
Computer Aided Verification: 28th International Conference Cav 2016 Toronto On Canada July 17-23 2016 Proceedings Part I Paperback, Springer
Computer Aided Verification: 28th International Conference Cav 2016 Toronto On Canada July 17-23 2016 Proceedings Part II Paperback, Springer
Computer Aided Verification: 8th International Conference Cav ''96 New Brunswick NJ USA July 31 - August 3 1996. Proceedings Paperback, Springer
Computer Aided Verification: 3rd International Workshop Cav ''91 Aalborg Denmark July 1-4 1991. Proceedings Paperback, Springer
106,400원
Computer Aided Verification: 27th International Conference Cav 2015 San Francisco CA USA July 18-24 2015 Proceedings Part II Paperback, Springer
Computer Aided Verification: 27th International Conference Cav 2015 San Francisco CA USA July 18-24 2015 Proceedings Part I Paperback, Springer
Database Theory - Icdt 2005: 10th International Conference Edinburgh UK January 5-7 2005 Proceedings Paperback, Springer
Computer Aided Verification: 9th International Conference Cav''97 Haifa Israel June 22-25 1997 Proceedings Paperback, Springer
54,800원
(영문도서) Computer Aided Verification: 33rd International Conference Cav 2021 Virtual Event July 20-... Paperback, Springer, English, 9783030816841
60,900원
(영문도서) Computer Aided Verification: 35th International Conference Cav 2023 Paris France July 17-... Paperback, Springer, English, 9783031377020
(영문도서) Computer Aided Verification: 35th International Conference Cav 2023 Paris France July 17-... Paperback, Springer, English, 9783031377082
(영문도서) Computer Aided Verification: 35th International Conference Cav 2023 Paris France July 17-... Paperback, Springer, English, 9783031377051
Algebra and Coalgebra in Computer Science: First International Conference CALCO 2005 Swansea UK September 3-6 2005 Proceedings Paperback, Springer
Computer Aided Verification: Fourth International Workshop Cav ''92 Montreal Canada June 29 - July 1 1992. Proceedings Paperback, Springer
Computer Aided Verification: 18th International Conference CAV 2006 Seattle WA USA August 17-20 2006 Proceedings Paperback, Springer
110,880원
Computer Aided Verification: 6th International Conference Cav ''94 Stanford California USA June 21-23 1994. Proceedings Paperback, Springer
Web Engineering: 5th International Conference Icwe 2005 Sydney Australia July 27-29 2005 Proceedings Paperback, Springer
55,980원
International Symposium on Theoretical Programming Paperback, Springer
100,780원
Recht Ex Machina: Formalisierung Des Rechts Im Internet Der Dienste Hardcover, Springer
70,680원
Topology Via Logic, Cambridge University Press
78,380원
Systementwurf Mit Netzen Paperback, Springer
230,720원
Reuse Techniques for VLSI Design Hardcover, Springer
234,080원
Noise Analysis of Radio Frequency Circuits Hardcover, Springer
Power-Constrained Testing of VLSI Circuits: A Guide to the IEEE 1149.4 Test Standard Hardcover, Springer
Modern Placement Techniques Hardcover, Springer
Principles of VLSI System Planning: A Framework for Conceptual Design Hardcover, Springer
257,580원
Substrate Noise Coupling in Mixed-Signal Asics Hardcover, Springer
246,380원
Logic Synthesis Using Synopsys(r) Hardcover, Springer
252,000원
Semiconductor Materials and Process Technology Handbook Hardcover, William Andrew
256,480원
Spectral Techniques in VLSI CAD Paperback, Springer
Circuit Synthesis with VHDL Hardcover, Springer
267,680원
Field-Programmable Gate Arrays Paperback, Springer
301,280원
Accelerator Data-Path Synthesis for High-Throughput Signal Processing Applications Hardcover, Springer
Algorithmic and Register-Transfer Level Synthesis: The System Architect''s Workbench: The System Architect''s Workbench Hardcover, Springer
313,580원
System-On-Chip for Real-Time Applications Paperback, Springer
334,880원
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2 Hardcover, OUP Oxford
Towards One-Pass Synthesis Hardcover, Springer
Concur 2008 - Concurrency Theory: 19th International Conference Concur 2008 Toronto Canada August 19-22 2008 Proceedings Paperback, Springer
179,180원
Advanced Low-Power Digital Circuit Techniques Paperback, Springer
Neural Models and Algorithms for Digital Testing Hardcover, Springer
201,580원
System-On-A-Chip Verification: Methodology and Techniques Paperback, Springer
211,680원
High-Performance Digital VLSI Circuit Design Paperback, Springer
222,880원
Ambient Intelligence: Impact on Embedded System Design Hardcover, Springer
223,980원
VLSI Synthesis of DSP Kernels: Algorithmic and Architectural Transformations Hardcover, Springer
Delay Fault Testing for VLSI Circuits Hardcover, Springer
122,080원
Numbers and Computers Paperback, Springer
Algebraic Informatics: 3rd International Conference on Algebraic Informatics Cai 2009 Thessaloniki Greece Mai 19-22 2009 Paperback, Springer
Designing Evolutionary Algorithms for Dynamic Environments Hardcover, Springer
VLSI Design of Neural Networks Paperback, Springer
Integrated Circuit and System Design: Power and Timing Modeling Optimization and Simulation Paperback, Springer
Many-Valued Logics 2: Automated Reasoning and Practical Applications Hardcover, Springer
Formal Methods in Computer-Aided Design: 5th International Conference Fmcad 2004 Austin Texas USA November 15-17 2004 Proceedings Paperback, Springer
CONCUR 2006 - Concurrency Theory: 17th International Conference CONCUR 2006 Bonn Germany August 27-30 2006 Paperback, Springer