도서/음반/DVD > 해외도서 > 컴퓨터 > 소프트웨어 > 소프트웨어 개발
46,800원
역대최고가 46,800원
최근평균가 46,800원
역대최저가 39,780원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
153,210원
Proof Theory:A Selection of Papers from the Leeds Proof Theory Programme 1990, Cambridge University Press
109,590원
Structural Proof Theory Hardcover, Cambridge University Press
65,960원
Basic Proof Theory Paperback, Cambridge University Press
48,930원
Structural Proof Theory Paperback, Cambridge University Press
87,240원
Type Theory and Formal Proof, Cambridge University Press
50,140원
Logic Programming:Operational Semantics and Proof Theory, Cambridge University Press
93,740원
What Logics Mean:From Proof Theory to Model-Theoretic Semantics, Cambridge University Press
234,080원
Proof Theory Hardcover, Springer
203,840원
Handbook of Proof Theory Hardcover, Elsevier Science
301,280원
Proof Theory of Modal Logic Hardcover, Springer
20,950원
Proof Theory Paperback, Dover Publications
Proof Theory of Modal Logic Paperback, Springer
38,290원
The Theory of Cultural and Social Selection Paperback, Cambridge University Press
80,860원
The Theory of Cultural and Social Selection Hardcover, Cambridge University Press
117,020원
Representation Theory:Selected Papers, Cambridge University Press
124,990원
"Computation Proof Machine", Cambridge University Press
155,680원
A Proof Theory for General Unification Paperback, Birkhauser
189,280원
A Proof Theory for General Unification Hardcover, Birkhauser
79,780원
Logical Foundations of Proof Complexity, Cambridge University Press
245,280원
Goal-Directed Proof Theory Hardcover, Springer
133,280원
Advances in Proof Theory Hardcover, Birkhauser
Goal-Directed Proof Theory Paperback, Springer
230,880원
Ways of Proof Theory Hardcover, Walter de Gruyter
157,800원
Advances in Proof Theory Paperback, Birkhauser
122,080원
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics Hardcover, Springer
Truth Proof and Infinity: A Theory of Constructive Reasoning Hardcover, Springer
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics Paperback, Springer
Kant`s Transcendental Proof of Realism, Cambridge University Press
67,140원
Proof Theory and Intuitionistic Systems Paperback, Springer
22,960원
Proof Theory of N4-Paraconsistent Logics Paperback, College Publications
27,650원
"Burden of Proof Presumption and Argumentation", Cambridge University Press
63,840원
The History of Mathematical Proof in Ancient Traditions, Cambridge University Press
Truth Proof and Infinity: A Theory of Constructive Reasoning Paperback, Springer
124,480원
Logical Foundations of Proof Complexity Hardcover, Cambridge University Press
96,700원
Phylogenetic Inference Selection Theory and History of Science: Selected Papers of A. W. F. Edward... Hardcover, Cambridge University Press, English, 9781107111721
Software Architectures: Advances and Applications Paperback, Springer
144,480원
Programming Languages and Systems - ESOP ''94: 5th European Symposium on Programming Edinburgh U.K. April 11 - 13 1994. Proceedings Paperback, Springer
58,800원
Scenarios Stories Use Cases: Through the Systems Development Life-Cycle Paperback, Wiley
37,930원
Open-Source ESBs in Action: Example Implementations in Mule and ServiceMix Paperback, Manning Publications
Practical Rails Social Networking Sites Paperback, Apress
46,200원
Amazon Web Services for Mobile Developers: Building Apps with Aws Paperback, Sybex
Moving Wearables Into the Mainstream: Taming the Borg Hardcover, Springer
81,700원
FORTRAN 90 for Scientists and Engineers Paperback, Butterworth-Heinemann
313,580원
Hardware/Software Co-Design and Co-Verification Paperback, Springer
106,400원
Software Technologies: 9th International Joint Conference Icsoft 2014 Vienna Austria August 29-31 2014 Revised Selected Papers Paperback, Springer
Software Development and Reality Construction Paperback, Springer
39,980원
Moving Applications to the Cloud on Windows Azure Paperback, Microsoft Patterns & Practices
105,280원
Software Reuse: Bridging with Social-Awareness: 15th International Conference Icsr 2016 Limassol Cyprus June 5-7 2016 Proceedings Paperback, Springer
100,780원
Studies of Software Design: Icse''93 Workshop Baltimore Maryland USA May (17-18) 1993. Selected Papers Paperback, Springer
42,150원
Practical WebObjects Paperback, Apress
89,580원
Analyzing Computer System Performance with Perl: : PDQ Paperback, Springer
50,390원
Patterns Principles and Practices of Domain-Driven Design, Wrox Pr Inc
44,780원
App4u: Mehrwerte Durch Apps Im B2B Und B2c Paperback, Springer Vieweg
Architecture of Computing Systems - Arcs 2006: 19th International Conference Frankfurt/Main Germany March 13-16 2006 Proceedings Paperback, Springer
78,380원
Graphgrammatiken in Der Softwaretechnik: Theorie Und Anwendungen Paperback, Springer
42,000원
Professional Git, Wrox Pr Inc
109,760원
Transactions on Petri Nets and Other Models of Concurrency XII Paperback, Springer
110,880원
Reflection and Software Engineering Paperback, Springer
89,540원
Software-Architekturen Fur Verteilte Systeme: Prinzipien Bausteine Und Standardarchitekturen Fur Moderne Software Paperback, Springer
55,980원
Einfuhrung in Die Informatik: Objektorientiert Mit Java Paperback, Springer
Pearl 95: Workshop Uber Realzeitsysteme Fachtagung Der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung Pearl Boppard 30.November-1. Paperback, Springer
Pascal for Students (Including Turbo Pascal) Paperback, Butterworth-Heinemann
Embedded Security in Cars: Securing Current and Future Automotive It Applications Paperback, Springer
Objektorientiertes Reverse Engineering: Von Klassischer Zu Objektorientierter Software Paperback, Springer
67,180원
Herausforderungen Durch Echtzeitbetrieb: Echtzeit 2011 Paperback, Springer
Model Checking Software: 10th International SPIN Workshop Portland OR USA May 9-10 2003 Proceedings Paperback, Springer
99,790원
Model Checking Software: 14th International Spin Workshop Berlin Germany July 1-3 2007 Proceedings Paperback, Springer
How to Code .Net: Tips and Tricks for Coding .Net 1.1 and .Net 2.0 Applications Effectively Paperback, Apress
Modern Pirates: Protect Your Company from the Software Police Paperback, Morgan James Publishing
Validated Designs for Object-Oriented Systems Paperback, Springer
28,540원
From Program to Product: Turning Your Code into a Saleable Product, Apress