도서/음반/DVD > 해외도서 > 컴퓨터 > 프로그래밍 > 로직 디자인
166,880원
역대최고가 166,880원
최근평균가 166,880원
역대최저가 141,840원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
144,480원
Logic Programming: 22nd International Conference Iclp 2006 Seattle Wa USA August 17-20 2006 Proceedings Paperback, Springer
189,280원
Automated Reasoning: Third International Joint Conference Ijcar 2006 Seattle Wa USA August 17-20 2006 Proceedings Paperback, Springer
133,280원
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference Seattle WA USA August 2006 Proceedings Paperback, Springer
Term Rewriting and Applications: 17th International Conference RTA 2006 Seattle WA USA August 12-14 2006 Proceedings Paperback, Springer
Computer Aided Verification: 16th International Conference CAV 2004 Boston MA USA July 13-17 2004 Proceedings Paperback, Springer
155,680원
Computer Aided Verification: 23rd International Conference Cav 2011 Snowbird UT USA July 14-20 2011 Proceedings Paperback, Springer
Computer Aided Verification: 8th International Conference Cav ''96 New Brunswick NJ USA July 31 - August 3 1996. Proceedings Paperback, Springer
110,880원
Computer Aided Verification: 6th International Conference Cav ''94 Stanford California USA June 21-23 1994. 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: 12th International Conference Cav 2000 Chicago Il USA July 15-19 2000 Proceedings Paperback, Springer
Computer Aided Verification: 15th International Conference Cav 2003 Boulder Co USA July 8-12 2003 Proceedings 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
56,700원
Computer Aided Verification: 32nd International Conference Cav 2020 Los Angeles Ca Usa July 21-... Paperback, Springer
178,080원
Computer Aided Verification: 14th International Conference Cav 2002 Copenhagen Denmark July 27-31 2002 Proceedings Paperback, Springer
Computer Aided Verification: 9th International Conference Cav''97 Haifa Israel June 22-25 1997 Proceedings Paperback, Springer
Computer Aided Verification: 11th International Conference Cav''99 Trento Italy July 6-10 1999 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: 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
64,100원
(영문도서) Computer Aided Verification: 34th International Conference Cav 2022 Haifa Israel August 7... Paperback, Springer, English, 9783031131844
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
60,900원
(영문도서) Computer Aided Verification: 35th International Conference Cav 2023 Paris France July 17-... Paperback, Springer, English, 9783031377020
54,800원
(영문도서) Computer Aided Verification: 33rd International Conference Cav 2021 Virtual Event July 20-... Paperback, Springer, English, 9783030816841
Computer Aided Verification: 17th International Conference Cav 2005 Edinburgh Scotland UK July 6-10 2005 Proceedings Paperback, Springer
187,040원
Computer Aided Verification: 25th International Conference Cav 2013 Saint Petersburg Russia July 13-19 2013 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: 21st International Conference CAV 2009 Grenoble France June 26-July 2 2009 Proceedings Paperback, Springer
(영문도서) 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
491,680원
X-Ray Lasers 2006: Proceedings of the 10th International Conference August 20-25 2006 Berlin Germany Paperback, Springer
160,850원
Computer Aided Verification: 29th International Conference Cav 2017 Heidelberg Germany July 24-28 2017 Proceedings Part I Paperback, Springer
122,080원
Computer-Aided Verification: 2nd Internatonal Conference Cav ''90 New Brunswick NJ USA June 18-21 1990. Proceedings Paperback, Springer
X-Ray Lasers 2006: Proceedings of the 10th International Conference August 20-25 2006 Berlin Germany Hardcover, Springer
100,780원
Recent Trends in Algebraic Development Techniques: 18th International Workshop WADT 2006 La Roche En ..., Springer
Formal Approaches to Software Testing: 5th International Workshop Fates 2005 Edinburgh UK July 11 2005 Revised Selected Papers Paperback, Springer
100,740원
Verification of Sequential and Concurrent Programs Hardcover, Springer
95,180원
Logic Language Information and Computation Paperback, Springer
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
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
Recent Trends in Algebraic Development Techniques: 16th International Workshop Wadt 2002 Frauenchiem..., Springer
Automated Technology for Verification and Analysis: Third International Symposium Atva 2005 Taipei ..., Springer
Rapid Prototyping of Digital Systems: A Tutorial Approach Paperback, Springer
Concur 2009 - Concurrency Theory: 20th International Conference Concur 2009 Bologna Italy September 1-4 2009 Proceedings Paperback, Springer
223,980원
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
301,280원
CMOS VLSI Engineering: Silicon-On-Insulator (Soi) Hardcover, Springer
267,680원
The Origins of Digital Computers: Selected Papers Hardcover, Springer
Correct Hardware Design and Verification Methods: 12th Ifip Wg 10.5 Advanced Research Working Conferen..., Springer
Iddq Testing of VLSI Circuits Paperback, Springer
207,200원
Memory Design Techniques for Low Energy Embedded Systems Hardcover, 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