도서/음반/DVD > 해외도서 > 컴퓨터 > 프로그래밍 > 로직 디자인
144,480원
역대최고가 144,480원
최근평균가 144,480원
역대최저가 122,800원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
155,680원
Computer Aided Verification: 19th International Conference CAV 2007 Berlin Germany July 3-7 2007 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
Computer Aided Verification: 11th International Conference Cav''99 Trento Italy July 6-10 1999 Proceedings Paperback, Springer
133,280원
Computer Aided Verification: 8th International Conference Cav ''96 New Brunswick NJ USA July 31 - August 3 1996. 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
166,880원
Computer Aided Verification: 16th International Conference CAV 2004 Boston MA USA July 13-17 2004 Proceedings Paperback, Springer
Computer Aided Verification: 17th International Conference Cav 2005 Edinburgh Scotland UK July 6-10 2005 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
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: 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
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
Computer Aided Verification: Fourth International Workshop Cav ''92 Montreal Canada June 29 - July 1 1992. Proceedings Paperback, Springer
Computer Vision Systems: 7th International Conference ICVS 2009 Liege Belgium October 13-15 2009 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
173,600원
Computer Aided Verification: 26th International Conference Cav 2014 Held as Part of the Vienna Summe..., Springer
64,100원
(영문도서) Computer Aided Verification: 34th International Conference Cav 2022 Haifa Israel August 7... Paperback, Springer, English, 9783031131844
122,080원
Computer-Aided Verification: 2nd Internatonal Conference Cav ''90 New Brunswick NJ USA June 18-21 1990. Proceedings Paperback, Springer
VLSI CAD Tools and Applications Paperback, Springer
Relational Methods for Computer Science Applications Paperback, Physica-Verlag
44,780원
Logics of Programs and Their Applications: Proceedings Poznan August 23-29 1980 Paperback, Springer
Embedded Software: Second International Conference Emsoft 2002 Grenoble France October 7-9 2002. Proceedings Paperback, Springer
Many-Valued Logics 2: Automated Reasoning and Practical Applications Paperback, Springer
CSL''88: 2nd Workshop on Computer Science Logic Duisburg Frg October 3-7 1988. Proceedings Paperback, Springer
140,110원
Unfoldings: A Partial-Order Approach to Model Checking, Springer-Verlag New York Inc
Hardware Evolution: Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution Paperback, Springer
Refinement Calculus: A Systematic Introduction Paperback, Springer
Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics Paperback, Springer
179,180원
Adaptive Resonance Theory Microchips: Circuit Design Techniques Paperback, Springer
Fault-Tolerance Techniques for Sram-Based FPGAs Paperback, Springer
Design of Low-Voltage Bipolar Operational Amplifiers Paperback, Springer
Place Coding in Analog VLSI: A Neuromorphic Approach to Computation Paperback, Springer
Data Types and Persistence Paperback, Springer
Iddq Testing of VLSI Circuits Hardcover, Springer
190,380원
VLSI Synthesis of DSP Kernels: Algorithmic and Architectural Transformations Paperback, Springer
Evolutionary Algorithms for VLSI CAD Paperback, Springer
201,580원
Unified Methods for VLSI Simulation and Test Generation Hardcover, Springer
220,640원
Field-Programmable Gate Arrays: Reconfigurable Logic for Rapid Prototyping and Implementation of Digital Systems Hardcover, Wiley-Interscience
222,880원
Petri Net Algebra Paperback, Springer
Introduction to VLSI Process Engineering Hardcover, Springer
223,980원
Sequential Logic Testing and Verification Hardcover, Springer
246,380원
Low-Voltage CMOS Operational Amplifiers: Theory Design and Implementation Hardcover, Springer
VLSI Placement and Global Routing Using Simulated Annealing Hardcover, Springer
256,480원
Building Asips: The Mescal Methodology Paperback, Springer
Spectral Techniques in VLSI CAD Hardcover, Springer
301,280원
On Optimal Interconnections for VLSI Paperback, Springer
334,880원
Logic Synthesis and Optimization Hardcover, Springer
95,140원
Logic for Learning: Learning Comprehensible Theories from Structured Data Hardcover, Springer
111,980원
VLSI Design for Manufacturing: Yield Enhancement Paperback, Springer
100,780원
Trace Theory and VLSI Design Paperback, Springer
61,580원
Learning Ros for Robotics Programming - Second Edition Paperback, Packt Publishing
Finite Representations of CCS and Tcsp Programs by Automata and Petri Nets Paperback, Springer
Designing Correct Circuits: Workshop Jointly Organised by the Universities of Oxford and Glasgow 26-28 September 1990 Oxford Paperback, Springer