도서/음반/DVD > 해외도서 > 컴퓨터 > 프로그래밍 > 로직 디자인
110,880원
역대최고가 110,880원
최근평균가 110,880원
역대최저가 90,880원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
94,080원
Logic-Based Program Synthesis and Transformation: 24th International Symposium Lopstr 2014 Canterbur..., Springer
95,880원
Logic-Based Program Synthesis and Transformation: 18th International Symposium LOPSTR 2008 Valencia ..., Springer
Logic-Based Program Synthesis and Transformation: 25th International Symposium Lopstr 2015 Siena It..., Springer
100,780원
Logic-Based Program Synthesis and Transformation: 16th International Symposium LOPSTR 2006 Venice I..., Springer
80,780원
Logic Based Program Synthesis and Transformation: 13th International Symposium Lopstr 2003 Uppsala S..., Springer
80,640원
Logic-Based Program Synthesis and Transformation: 23rd International Symposium Lopstr 2013 Madrid S..., Springer
84,300원
Logic-Based Program Synthesis and Transformation: 29th International Symposium Lopstr 2019 Porto ... Paperback, Springer
Logic-Based Program Synthesis and Transformation: 21st International Symposium Lopstr 2011 Odense D..., Springer
Logic Based Program Synthesis and Transformation: 14th International Symposium Lopstr 2004 Verona I..., Springer
99,200원
Logic-Based Program Synthesis and Transformation: 27th International Symposium Lopstr 2017 Namur ... Paperback, Springer
Logic-Based Program Synthesis and Transformation: 17th International Symposium Lopstr 2007 Kongens L..., Springer
97,200원
Logic-Based Program Synthesis and Transformation: 22nd International Symposium Lopstr 2012 Leuven Belgium Paperback, Springer
Logic-Based Program Synthesis and Transformation: 20th International Symposium LOPSTR 2010 Hagenberg Austria Paperback, Springer
83,900원
Logic-Based Program Synthesis and Transformation: 30th International Symposium Lopstr 2020 Bologna... Paperback, Springer, English, 9783030684457
79,500원
(영문도서) Logic-Based Program Synthesis and Transformation: 32nd International Symposium Lopstr 2022 ... Paperback, Springer, English, 9783031167669
68,300원
(영문도서) Logic-Based Program Synthesis and Transformation: 28th International Symposium Lopstr 2018 ... Paperback, Springer, English, 9783030138370
69,200원
(영문도서) Logic-Based Program Synthesis and Transformation: 31st International Symposium LOPSTR 2021 ... Paperback, Springer, English, 9783030988685
71,000원
(영문도서) Logic-Based Program Synthesis and Transformation: 33rd International Symposium Lopstr 2023 ... Paperback, Springer, English, 9783031457838
Logic Based Program Synthesis and Transformation: 15th International Symposium Paperback, Springer
Logic Based Program Synthesis and Transformation: 12th International Workshop Lopstr 2002 Madrid Sp..., Springer
Logic-Based Program Synthesis and Transformation: 9th International Workshop Lopstr''99 Venice Italy..., Springer
Logic-Based Program Synthesis and Transformation: 8th International Workshop Lopstr''98 Manchester U..., Springer
Logic Based Program Synthesis and Transformation: 10th International Workshop Lopstr 2000 London UK ..., Springer
Logic Based Program Synthesis and Transformation: 11th International Workshop Lopstr 2001 Paphos Cy..., Springer
122,080원
Logic Program Synthesis and Transformation: Proceedings of Lopstr 91 International Workshop on Logic ..., Springer
Logic Program Synthesis and Transformation: Proceedings of Lopstr 92 International Workshop on Logic ..., Springer
Logic Program Synthesis and Transformation: Proceedings of Lopstr 93 International Workshop on Logic ..., Springer
Logic Program Synthesis and Transformation: 5th International Workshop Lopstr''95 Utrecht the Nether..., Springer
Logic Program Synthesis and Transformation: 6th International Workshop Lopstr''96 Stockholm Sweden August 28-30 1996 Proceedings Paperback, Springer
Logic Program Synthesis and Transformation: 7th International Workshop Lopstr ''97 Leuven Belgium July 10-12 1997 Proceedings Paperback, Springer
144,480원
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops L..., Springer
167,980원
Memory-Based Logic Synthesis Paperback, Springer
Memory-Based Logic Synthesis Hardcover, Springer
301,280원
Logic Program Synthesis from Incomplete Information Paperback, Springer
Logic Program Synthesis from Incomplete Information Hardcover, Springer
323,680원
Nineteenth International Seaweed Symposium: Proceedings of the 19th International Seaweed Symposium H..., Springer
78,340원
Theoretische Informatik: Eine Problemorientierte Einfuhrung, Springer
Formal Modeling and Analysis of Timed Systems: 7th International Conference FORMATS 2009 Budapest H..., Springer
Algebraic Methodology and Software Technology: 11th International Conference Amast 2006 Kuressaare ..., Springer
Concur 2003 - Concurrency Theory: 14th International Conference Marseille France September 3-5 2003 Proceedings Paperback, Springer
55,980원
Logics of Programs: Workshop Yorktown Heights NY USA Paperback, Springer
Field-Programmable Logic Smart Applications New Paradigms and Compilers: 6th International Workshop ..., Springer
133,280원
Computer Aided Verification: Fourth International Workshop Cav ''92 Montreal Canada June 29 - July 1 1992. Proceedings Paperback, Springer
Field-Programmable Logic: Architectures Synthesis and Applications: 4th International Workshop on Fie..., Springer
Verification Model Checking and Abstract Interpretation: 8th International Conference Vmcai 2007 N..., Springer
Mathematics of Program Construction: 8th International Conference MPC 2006 Kuressaare Estonia July 3-5 2006 Proceedings Paperback, Springer
Field-Programmable Logic and Applications: 5th International Workshop Fpl ''95 Oxford United Kingdom..., Springer
155,680원
Field-Programmable Logic and Applications. from FPGAs to Computing Paradigm: 8th International Worksho..., Springer
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science: 27th International C..., Springer
Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference Psi 2003 Ak..., Springer
189,280원
Integrated Circuit and System Design: Power and Timing Modeling Optimization and Simulation: 16th Int..., Springer
166,880원
Fsttcs 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International C..., Springer
179,180원
VLSI Placement and Global Routing Using Simulated Annealing Paperback, Springer
178,080원
Integrated Formal Methods: 6th International Conference Ifm 2007 Oxford UK July 2-5 2007 Proceedings Paperback, Springer
190,380원
A Formal Approach to Hardware Design Paperback, Springer
223,980원
Advanced Low-Power Digital Circuit Techniques Hardcover, Springer
A Formal Approach to Hardware Design Hardcover, Springer
234,080원
Introduction to Analog VLSI Design Automation Paperback, Springer
Introduction to Analog VLSI Design Automation Hardcover, Springer
246,380원
Mixed Signal VLSI Wireless Design: Circuits and Systems Hardcover, Springer
257,580원
System-On-A-Chip Verification: Methodology and Techniques Hardcover, Springer
279,980원
Algorithms for Synthesis and Testing of Asynchronous Circuits Hardcover, Springer
28,560원
Propositional Logic as a Boolean Algebra - A New Perspective: Vol. 1 Paperback, Createspace Independent Publishing Platform
66,470원
Signal and Power Integrity in Digital Systems: TTL CMOS and BICMOS Hardcover, McGraw-Hill Companies
Compiler Construction: 15th International Conference CC 2006 Held as Part of the Joint European Conf..., Springer
Formal Methods for Components and Objects Paperback, Springer
Communicating Sequential Processes. the First 25 Years: Symposium on the Occasion of 25 Years of CSP ..., Springer
Fme 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Metho..., Springer
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