역대가

Formal Approaches to Software Testing: 5th International Workshop Fates 2005 Edinburgh UK July 11 2005 Revised Selected Papers Paperback, Springer

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

Formal Approaches to Software Testing: 5th International Workshop Fates 2005 Edinburgh UK July 11 2005 Revised Selected Papers Paperback, Springer

100,780원

공유하기

역대최고가 100,780원

최근평균가 100,780원

역대최저가 80,780원

가격하락확률


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

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

가격추적 그래프

요일별 가격

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

함께 비교하면 좋은 상품

더보기
Software Composition: 4th International Workshop SC 2005 Edinburgh UK April 9 2005 Revised Selected Papers Paperback, Springer

100,780원

Software Composition: 4th International Workshop SC 2005 Edinburgh UK April 9 2005 Revised Selected Papers Paperback, Springer
Formal Approaches to Software Testing: 4th International Workshop Fates 2004 Linz Austria Septembe..., Springer

110,880원

Formal Approaches to Software Testing: 4th International Workshop Fates 2004 Linz Austria Septembe..., Springer
Trustworthy Global Computing: International Symposium Tgc 2005 Edinburgh UK April 7-9 2005. Revised Selected Papers Paperback, Springer

107,080원

Trustworthy Global Computing: International Symposium Tgc 2005 Edinburgh UK April 7-9 2005. Revised Selected Papers Paperback, Springer
Fast Software Encryption: 12th International Workshop Fse 2005 Paris France February 21-23 2005 Revised Selected Papers Paperback, Springer 역대최저가

124,480원

Fast Software Encryption: 12th International Workshop Fse 2005 Paris France February 21-23 2005 Revised Selected Papers Paperback, Springer
Privacy Enhancing Technologies: 5th International Workshop Pet 2005 Cavtat Croatia May 30 - June 1 2005 Revised Selected Papers Paperback, Springer

110,880원

Privacy Enhancing Technologies: 5th International Workshop Pet 2005 Cavtat Croatia May 30 - June 1 2005 Revised Selected Papers Paperback, Springer
Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of..., Springer

95,880원

Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of..., Springer
Membrane Computing: 6th International Workshop Wmc 2005 Vienna Austria July 18-21 2005 Revised Selected and Invited Papers Paperback, Springer

122,080원

Membrane Computing: 6th International Workshop Wmc 2005 Vienna Austria July 18-21 2005 Revised Selected and Invited Papers Paperback, Springer
Selected Areas in Cryptography: 12th International Workshop Sac 2005 Kingston On Canada August 11-12 2005 Revised Selected Papers Paperback, Springer

122,080원

Selected Areas in Cryptography: 12th International Workshop Sac 2005 Kingston On Canada August 11-12 2005 Revised Selected Papers Paperback, Springer
Security Protocols: 13th International Workshop Cambridge UK April 20-22 2005 Revised Selected Papers Paperback, Springer

107,080원

Security Protocols: 13th International Workshop Cambridge UK April 20-22 2005 Revised Selected Papers Paperback, Springer
Innovative Internet Community Systems: 5th International Workshop Iics 2005 Paris France June 20-22 2005. Revised Papers Paperback, Springer

100,780원

Innovative Internet Community Systems: 5th International Workshop Iics 2005 Paris France June 20-22 2005. Revised Papers Paperback, Springer
Coding and Cryptography: International Workshop Wcc 2005 Bergen Norway March 14-18 2005 Revised Selected Papers Paperback, Springer

144,480원

Coding and Cryptography: International Workshop Wcc 2005 Bergen Norway March 14-18 2005 Revised Selected Papers Paperback, Springer
Information Hiding: 7th International Workshop Ih 2005 Barcelona Spain June 6-8 2005 Revised Selected Papers Paperback, Springer

144,480원

Information Hiding: 7th International Workshop Ih 2005 Barcelona Spain June 6-8 2005 Revised Selected Papers Paperback, Springer
Mathematical Knowledge Management: 4th International Conference Mkm 2005 Bremen Germany July 15-17 2005 Revised Selected Papers Paperback, Springer 역대최저가

113,280원

Mathematical Knowledge Management: 4th International Conference Mkm 2005 Bremen Germany July 15-17 2005 Revised Selected Papers Paperback, Springer
Autonomic Communication: Second International Ifip Workshop Wac 2005 Athens Greece October 2-5 2005 Revised Selected Papers Paperback, Springer

122,080원

Autonomic Communication: Second International Ifip Workshop Wac 2005 Athens Greece October 2-5 2005 Revised Selected Papers Paperback, Springer
Peer-To-Peer Systems IV: 4th International Workshop Iptps 2005 Ithaca NY USA February 24-25 2005 Revised Selected Papers Paperback, Springer

110,880원

Peer-To-Peer Systems IV: 4th International Workshop Iptps 2005 Ithaca NY USA February 24-25 2005 Revised Selected Papers Paperback, Springer
Fuzzy Logic and Applications: 6th International Workshop Wilf 2005 Crema Italy September 15-17 2005 Revised Selected Papers Paperback, Springer

144,480원

Fuzzy Logic and Applications: 6th International Workshop Wilf 2005 Crema Italy September 15-17 2005 Revised Selected Papers Paperback, Springer
FM 2005: Formal Methods: International Symposium of Formal Methods Europe Newcastle UK July 18-22 2005 Proceedings Paperback, Springer

155,680원

FM 2005: Formal Methods: International Symposium of Formal Methods Europe Newcastle UK July 18-22 2005 Proceedings Paperback, Springer
Technologies for E-Services: 6th International Workshop Tes 2005 Trondheim Norway September 2-3 2005 Revised Selected Papers Paperback, Springer

110,880원

Technologies for E-Services: 6th International Workshop Tes 2005 Trondheim Norway September 2-3 2005 Revised Selected Papers Paperback, Springer
User Modeling 2005: 10th International Conference Um 2005 Edinburgh Scotland UK July 24-29 2005 Proceedings Paperback, Springer

166,880원

User Modeling 2005: 10th International Conference Um 2005 Edinburgh Scotland UK July 24-29 2005 Proceedings Paperback, Springer
Multi-Agent-Based Simulation VI: International Workshop Mabs 2005 Utrecht the Netherlands July 25 2005 Revised and Invited Papers Paperback, Springer

100,780원

Multi-Agent-Based Simulation VI: International Workshop Mabs 2005 Utrecht the Netherlands July 25 2005 Revised and Invited Papers Paperback, Springer
Agent-Oriented Software Engineering V: 5th International Workshop Aose 2004 New York NY USA July 2004 Revised Selected Papers Paperback, Springer

110,880원

Agent-Oriented Software Engineering V: 5th International Workshop Aose 2004 New York NY USA July 2004 Revised Selected Papers Paperback, Springer
Membrane Computing: 9th International Workshop WMC 2008 Edinburgh UK July 28-31 2008 Revised Selected and Invited Papers Paperback, Springer 역대최저가

118,280원

Membrane Computing: 9th International Workshop WMC 2008 Edinburgh UK July 28-31 2008 Revised Selected and Invited Papers Paperback, Springer
Modeling and Retrieval of Context: Second International Workshop Mrc 2005 Edinburgh UK July 31-Aug..., Springer

110,880원

Modeling and Retrieval of Context: Second International Workshop Mrc 2005 Edinburgh UK July 31-Aug..., Springer
Cognitive Systems: Joint Chinese-German Workshop Shanghai China March 7-11 2005 Revised Selected Papers Paperback, Springer

100,780원

Cognitive Systems: Joint Chinese-German Workshop Shanghai China March 7-11 2005 Revised Selected Papers Paperback, Springer
Trends in Enterprise Application Architecture: VLDB Workshop TEAA 2005 Trondheim Norway August 28 2005 Revised Selected Papers Paperback, Springer

110,880원

Trends in Enterprise Application Architecture: VLDB Workshop TEAA 2005 Trondheim Norway August 28 2005 Revised Selected Papers Paperback, Springer
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
Learning Classifier Systems: International Workshops Iwlcs 2003-2005 Revised Selected Papers Paperback, Springer

122,080원

Learning Classifier Systems: International Workshops Iwlcs 2003-2005 Revised Selected Papers Paperback, Springer
Federation Over the Web: International Workshop Dagstuhl Castle Germany May 1-6 2005 Revised Selected Papers Paperback, Springer

110,880원

Federation Over the Web: International Workshop Dagstuhl Castle Germany May 1-6 2005 Revised Selected Papers Paperback, Springer
Agents and Peer-To-Peer Computing: 4th International Workshop AP2PC 2005 Utrecht Netherlands J Uly 25 2005 Revised Papers Paperback, Springer

100,780원

Agents and Peer-To-Peer Computing: 4th International Workshop AP2PC 2005 Utrecht Netherlands J Uly 25 2005 Revised Papers Paperback, Springer
Data Management in Grids: First Vldb Workshop Dmg 2005 Trondheim Norway September 2-3 2005 Revised Selected Papers Paperback, Springer

100,780원

Data Management in Grids: First Vldb Workshop Dmg 2005 Trondheim Norway September 2-3 2005 Revised Selected Papers Paperback, Springer
Machine Learning for Multimodal Interaction: Second International Workshop MLMI 2005 Edinburgh UK ..., Springer

155,680원

Machine Learning for Multimodal Interaction: Second International Workshop MLMI 2005 Edinburgh UK ..., Springer
Database Programming Languages: 10th International Symposium Dbpl 2005 Trondheim Norway August 28-29 2005 Revised Selected Papers Paperback, Springer

95,880원

Database Programming Languages: 10th International Symposium Dbpl 2005 Trondheim Norway August 28-29 2005 Revised Selected Papers Paperback, Springer
Artificial Evolution: 7th International Conference Evolution Artificielle EA 2005 Revised Selected Papers Paperback, Springer

110,880원

Artificial Evolution: 7th International Conference Evolution Artificielle EA 2005 Revised Selected Papers Paperback, Springer
Software and Data Technologies: 5th International Conference Icsoft 2010 Athens Greece July 22-24 2010. Revised Selected Papers Paperback, Springer

100,780원

Software and Data Technologies: 5th International Conference Icsoft 2010 Athens Greece July 22-24 2010. Revised Selected Papers Paperback, Springer
Web Engineering: 5th International Conference Icwe 2005 Sydney Australia July 27-29 2005 Proceedings Paperback, Springer

178,080원

Web Engineering: 5th International Conference Icwe 2005 Sydney Australia July 27-29 2005 Proceedings Paperback, Springer
Brain-Inspired Computing: International Workshop Braincomp 2013 Cetraro Italy July 8-11 2013 Revised Selected Papers Paperback, Springer

80,640원

Brain-Inspired Computing: International Workshop Braincomp 2013 Cetraro Italy July 8-11 2013 Revised Selected Papers Paperback, 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
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
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
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
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
Theory of CMOS Digital Circuits and Circuit Failures Paperback, Princeton University Press

117,600원

Theory of CMOS Digital Circuits and Circuit Failures Paperback, Princeton University Press