역대가

Computer Aided Verification: 18th International Conference CAV 2006 Seattle WA USA August 17-20 2006 Proceedings Paperback, Springer

도서/음반/DVD > 해외도서 > 컴퓨터 > 프로그래밍 > 로직 디자인

Computer Aided Verification: 18th International Conference CAV 2006 Seattle WA USA August 17-20 2006 Proceedings Paperback, Springer

166,880원

공유하기

역대최고가 166,880원

최근평균가 166,880원

역대최저가 141,840원

가격하락확률


▼
지금사야해 구입해봐요 생각해봐요 사지마세요 절대사지마

선택한 알림가격보다 싸지면 알려드려요!
지정가이하 : 원
평균가이하 : 166,880원
최저가근접 : 146,848원
역대최저가 : 141,840원
이 포스팅은 쿠팡 파트너스 활동의 일환으로, 이에 따른 일정액의 수수료를 제공받습니다.
쿠팡사러가기

가격추적 그래프

요일별 가격

이 포스팅은 쿠팡 파트너스 활동의 일환으로,
이에 따른 일정액의 수수료를 제공받습니다.

함께 비교하면 좋은 상품

더보기
Logic Programming: 22nd International Conference Iclp 2006 Seattle Wa USA August 17-20 2006 Proceedings Paperback, Springer

144,480원

Logic Programming: 22nd International Conference Iclp 2006 Seattle Wa USA August 17-20 2006 Proceedings Paperback, Springer
Automated Reasoning: Third International Joint Conference Ijcar 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
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference Seattle WA USA August 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

144,480원

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

166,880원

Computer Aided Verification: 16th International Conference CAV 2004 Boston MA USA July 13-17 2004 Proceedings Paperback, Springer
Computer Aided Verification: 23rd International Conference Cav 2011 Snowbird UT USA July 14-20 2011 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

133,280원

Computer Aided Verification: 8th International Conference Cav ''96 New Brunswick NJ USA July 31 - August 3 1996. Proceedings Paperback, Springer
Computer Aided Verification: 6th International Conference Cav ''94 Stanford California USA June 21-23 1994. Proceedings Paperback, Springer

110,880원

Computer Aided Verification: 6th International Conference Cav ''94 Stanford California USA June 21-23 1994. Proceedings Paperback, Springer
Computer Aided Verification: 12th International Conference Cav 2000 Chicago Il USA July 15-19 2000 Proceedings Paperback, Springer

166,880원

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

144,480원

Computer Aided Verification: 15th International Conference Cav 2003 Boulder Co USA July 8-12 2003 Proceedings Paperback, Springer
Computer Aided Verification: 24th International Conference Cav 2012 Berkeley CA USA July 7-13 2012 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: 28th International Conference Cav 2016 Toronto On Canada July 17-23 2016 Proceedings Part I 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

189,280원

Computer Aided Verification: 28th International Conference Cav 2016 Toronto On Canada July 17-23 2016 Proceedings Part II Paperback, Springer
Computer Aided Verification: 32nd International Conference Cav 2020 Los Angeles Ca Usa July 21-... Paperback, Springer

56,700원

Computer Aided Verification: 32nd International Conference Cav 2020 Los Angeles Ca Usa July 21-... Paperback, Springer
Computer Aided Verification: 32nd International Conference Cav 2020 Los Angeles Ca Usa July 21-... Paperback, Springer

56,700원

Computer Aided Verification: 32nd International Conference Cav 2020 Los Angeles Ca Usa July 21-... Paperback, Springer
Computer Aided Verification: 14th International Conference Cav 2002 Copenhagen Denmark July 27-31 2002 Proceedings 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

144,480원

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

155,680원

Computer Aided Verification: 11th International Conference Cav''99 Trento Italy July 6-10 1999 Proceedings Paperback, Springer
Computer Aided Verification: 19th International Conference CAV 2007 Berlin Germany July 3-7 2007 Proceedings Paperback, Springer

155,680원

Computer Aided Verification: 19th International Conference CAV 2007 Berlin Germany July 3-7 2007 Proceedings Paperback, Springer
(영문도서) Computer Aided Verification: 34th International Conference Cav 2022 Haifa Israel August 7... Paperback, Springer, English, 9783031131844

64,100원

(영문도서) Computer Aided Verification: 34th International Conference Cav 2022 Haifa Israel August 7... Paperback, Springer, English, 9783031131844
Computer Aided Verification: 7th International Conference Cav ''95 Liege Belgium July 3 - 5 1995. 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: 13th International Conference Cav 2001 Paris France July 18-22 2001. 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: 27th International Conference Cav 2015 San Francisco CA USA July 18-24 2015 Proceedings Part II 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

133,280원

Computer Aided Verification: 27th International Conference Cav 2015 San Francisco CA USA July 18-24 2015 Proceedings Part I Paperback, Springer
(영문도서) Computer Aided Verification: 35th International Conference Cav 2023 Paris France July 17-... Paperback, Springer, English, 9783031377020

60,900원

(영문도서) Computer Aided Verification: 35th International Conference Cav 2023 Paris France July 17-... Paperback, Springer, English, 9783031377020
Computer Aided Verification: 17th International Conference Cav 2005 Edinburgh Scotland UK July 6-10 2005 Proceedings Paperback, Springer

166,880원

Computer Aided Verification: 17th International Conference Cav 2005 Edinburgh Scotland UK July 6-10 2005 Proceedings Paperback, Springer
Computer Aided Verification: 5th International Conference Cav''93 Elounda Greece June 28 - July 1 1993. 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

189,280원

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

60,900원

(영문도서) 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

60,900원

(영문도서) Computer Aided Verification: 35th International Conference Cav 2023 Paris France July 17-... Paperback, Springer, English, 9783031377051
Computer Aided Verification: 25th International Conference Cav 2013 Saint Petersburg Russia July 13-19 2013 Proceedings Paperback, Springer

187,040원

Computer Aided Verification: 25th International Conference Cav 2013 Saint Petersburg Russia July 13-19 2013 Proceedings Paperback, Springer
(영문도서) Computer Aided Verification: 33rd International Conference Cav 2021 Virtual Event July 20-... Paperback, Springer, English, 9783030816841

54,800원

(영문도서) Computer Aided Verification: 33rd International Conference Cav 2021 Virtual Event July 20-... Paperback, Springer, English, 9783030816841
X-Ray Lasers 2006: Proceedings of the 10th International Conference August 20-25 2006 Berlin Germany Paperback, Springer

491,680원

X-Ray Lasers 2006: Proceedings of the 10th International Conference August 20-25 2006 Berlin Germany Paperback, Springer
Computer Aided Verification: 29th International Conference Cav 2017 Heidelberg Germany July 24-28 2017 Proceedings Part I 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: 2nd Internatonal Conference Cav ''90 New Brunswick NJ USA June 18-21 1990. Proceedings 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

491,680원

X-Ray Lasers 2006: Proceedings of the 10th International Conference August 20-25 2006 Berlin Germany Hardcover, Springer

더보기

같은 카테고리 상품

Handshake Circuits:An Asynchronous Architecture for VLSI Programming, Cambridge University Press

95,740원

Handshake Circuits:An Asynchronous Architecture for VLSI Programming, Cambridge University Press
Integrated Circuit and System Design: Power and Timing Modeling Optimization and Simulation; 14th Int..., Springer

245,280원

Integrated Circuit and System Design: Power and Timing Modeling Optimization and Simulation; 14th Int..., Springer
Reversible Computation: 6th International Conference Rc 2014 Kyoto Japan July 10-11 2014. Proceedings Paperback, Springer

80,640원

Reversible Computation: 6th International Conference Rc 2014 Kyoto Japan July 10-11 2014. Proceedings Paperback, Springer
Programs as Data Objects: Proceedings of a Workshop Copenhagen Denmark October 17 - 19 1985 Paperback, Springer

55,980원

Programs as Data Objects: Proceedings of a Workshop Copenhagen Denmark October 17 - 19 1985 Paperback, Springer
Fsttcs 2006: Foundations of Software Technology and Theoretical Computer Science: 26th International C..., Springer

87,360원

Fsttcs 2006: Foundations of Software Technology and Theoretical Computer Science: 26th International C..., Springer
Fairness Paperback, Springer

122,080원

Fairness Paperback, Springer
Logic-Based Program Synthesis and Transformation: 16th International Symposium LOPSTR 2006 Venice I..., Springer

100,780원

Logic-Based Program Synthesis and Transformation: 16th International Symposium LOPSTR 2006 Venice I..., Springer
Algebraic Informatics: Second International Conference CAI 2007 Thessaloniki Greece May 21-25 200..., Springer

110,880원

Algebraic Informatics: Second International Conference CAI 2007 Thessaloniki Greece May 21-25 200..., Springer
Logic Based Program Synthesis and Transformation: 12th International Workshop Lopstr 2002 Madrid Sp..., Springer

110,880원

Logic Based Program Synthesis and Transformation: 12th International Workshop Lopstr 2002 Madrid Sp..., Springer
Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping: Second International Wo..., Springer

110,880원

Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping: Second International Wo..., Springer
Automated Technology for Verification and Analysis: 5th International Symposium ATVA 2007 Tokyo Japa..., Springer

155,680원

Automated Technology for Verification and Analysis: 5th International Symposium ATVA 2007 Tokyo Japa..., Springer
CSL ''87: 1st Workshop on Computer Science Logic Karlsruhe Frg October 12-16 1987. Proceedings Paperback, Springer

122,080원

CSL ''87: 1st Workshop on Computer Science Logic Karlsruhe Frg October 12-16 1987. Proceedings Paperback, Springer
Logic Design and Verification Using Systemverilog (Revised) Paperback, Createspace Independent Publishing Platform

62,040원

Logic Design and Verification Using Systemverilog (Revised) Paperback, Createspace Independent Publishing Platform
Formal Methods in Programming and Their Applications: International Conference Academgorodok Novosib..., Springer

133,280원

Formal Methods in Programming and Their Applications: International Conference Academgorodok Novosib..., Springer
Integrated Formal Methods: 5th International Conference Ifm 2005 Eindhoven the Netherlands Novembe..., Springer

133,280원

Integrated Formal Methods: 5th International Conference Ifm 2005 Eindhoven the Netherlands Novembe..., Springer
Hardware Specification Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Instit..., Springer

133,280원

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

133,280원

Computer Science Logic: 12th International Workshop CSL''98 Annual Conference of the Eacsl Brno Cze..., Springer
Foundations of Software Science and Computational Structures: 11th International Conference Fossacs 2..., Springer

155,680원

Foundations of Software Science and Computational Structures: 11th International Conference Fossacs 2..., Springer
Recent Developments in Intelligent Nature-Inspired Computing Hardcover, Information Science Reference

207,200원

Recent Developments in Intelligent Nature-Inspired Computing Hardcover, Information Science Reference
CMOS VLSI Engineering: Silicon-On-Insulator (Soi) Paperback, Springer

301,280원

CMOS VLSI Engineering: Silicon-On-Insulator (Soi) Paperback, Springer
Timing Analysis and Optimization of Sequential Circuits Hardcover, Springer

234,080원

Timing Analysis and Optimization of Sequential Circuits Hardcover, Springer
A Unified Approach for Timing Verification and Delay Fault Testing Hardcover, Springer

200,480원

A Unified Approach for Timing Verification and Delay Fault Testing Hardcover, Springer
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference Taca..., Springer

200,480원

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference Taca..., Springer
Compiler Construction: 16th International Conference CC 2007 Held as Part of the Joint European Conf..., Springer

110,880원

Compiler Construction: 16th International Conference CC 2007 Held as Part of the Joint European Conf..., Springer
Binary Decision Diagrams and Applications for VLSI CAD Hardcover, Springer

223,980원

Binary Decision Diagrams and Applications for VLSI CAD Hardcover, Springer
Computer Aided Logical Design with Emphasis on VLSI Paperback, Wiley

231,780원

Computer Aided Logical Design with Emphasis on VLSI Paperback, Wiley
Logic Synthesis for Field-Programmable Gate Arrays Paperback, Springer

245,280원

Logic Synthesis for Field-Programmable Gate Arrays Paperback, Springer
The Origins of Digital Computers: Selected Papers Hardcover, Springer

267,680원

The Origins of Digital Computers: Selected Papers Hardcover, Springer
Logic Language Information and Computation Paperback, Springer

95,180원

Logic Language Information and Computation Paperback, Springer
Verification of Sequential and Concurrent Programs Hardcover, Springer

100,740원

Verification of Sequential and Concurrent Programs Hardcover, Springer
Recent Trends in Algebraic Development Techniques: 18th International Workshop WADT 2006 La Roche En ..., 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,780원

Formal Approaches to Software Testing: 5th International Workshop Fates 2005 Edinburgh UK July 11 2005 Revised Selected Papers Paperback, Springer
Advances in Computer Science - ASIAN 2007: Computer and Netowrk Security: 12th Asian Computing Science..., 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

110,880원

Scenarios: Models Transformations and Tools: International Workshop Dagstuhl Castle Germany Septem..., Springer
Foundations of Software Science and Computation Structures: First International Conference Fossacs''98..., Springer

110,880원

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

110,880원

Compiler Construction: 17th International Conference CC 2008 Held as Part of the Joint European Conf..., Springer