도서/음반/DVD > 해외도서 > 컴퓨터 > 프로그래밍 > 로직 디자인
122,080원
역대최고가 122,080원
최근평균가 122,080원
역대최저가 102,080원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
78,340원
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Des..., Springer
118,280원
Transformation-Based Reactive Systems Development: 4th International Amast Workshop on Real-Time Syste..., Springer
95,880원
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium Ftrtft''98 Lyn..., Springer
80,640원
Formal Techniques for Safety-Critical Systems: 5th International Workshop Ftscs 2016 Tokyo Japan N..., Springer
163,080원
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods I..., Springer
110,880원
Formal Methods for Industrial Critical Systems: 12th International Workshop Fmics 2007 Berlin Germa..., Springer
Formal Methods for Industrial Critical Systems: 14th International Workshop Fmics 2009 Eindhoven th..., Springer
99,790원
Languages Compilers and Run-Time Systems for Scalable Computers: 5th International Workshop Lcr 200..., Springer
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Form..., Springer
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Form..., Springer
95,140원
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Comp..., Springer
Formal Methods for Industrial Critical Systems: 13th International Workshop FMICS 2008 L''Aquila Ita..., Springer
165,430원
Formal Methods for Discrete-Time Dynamical Systems Hardcover, Springer
119,840원
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for..., Springer
82,300원
(영문도서) Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International... Paperback, Springer, English, 9783031212215
74,640원
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Co..., Springer
185,480원
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Joi..., Springer
129,480원
Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala Swede..., Springer
158,080원
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen t..., Springer
334,880원
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / Pstv Xix''99 Paperback, Springer
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / Pstv Xix''99 Hardcover, Springer
Formal Methods for Computational Systems Biology: 8th International School Paperback, Springer
Interactive Distributed Multimedia Systems and Telecommunication Services: 5th International Workshop ..., Springer
222,880원
Foundations of Real-Time Computing: Formal Specifications and Methods Hardcover, Springer
Foundations of Real-Time Computing: Formal Specifications and Methods Paperback, Springer
256,480원
Formal Techniques in Real-Time and Fault-Tolerant Systems Hardcover, Springer
241,480원
Formal Techniques in Real-Time and Fault-Tolerant Systems Paperback, Springer
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium Ftrtft 2002 C..., Springer
Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium Ftrtft 2000 Pu..., Springer
211,680원
FM''99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems Tou..., Springer
174,280원
FM''99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toul..., Springer
Web Services and Formal Methods: 5th International Workshop Ws-FM 2008 Milan Italy September 4-5 2008 Proceedings Paperback, Springer
107,080원
Network and Operating Systems Support for Digital Audio and Video: 5th International Workshop Nossdav..., Springer
94,080원
Formal Techniques for Safety-Critical Systems: Second International Workshop Ftscs 2013 Queenstown ..., Springer
144,480원
Embedded Computer Systems: Architectures Modeling and Simulation: 5th International Workshop Samos ..., Springer
75,300원
(영문도서) Formal Methods Teaching: 5th International Workshop Fmtea 2023 Lübeck Germany March 6 20... Paperback, Springer, English, 9783031275333
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
100,780원
Logic Based Program Synthesis and Transformation: 15th International Symposium Paperback, Springer
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