156,780원
Formal Semantics and Proof Techniques for Optimizing VHDL Models Paperback, Springer
234,080원
Formal Semantics for VHDL Paperback, Springer
55,980원
Formal Semantics and Pragmatics for Natural Languages Paperback, Springer
163,080원
Syntax-Directed Semantics: Formal Models Based on Tree Transducers Paperback, Springer
334,880원
VHDL for Simulation Synthesis and Formal Proofs of Hardware Paperback, Springer
301,280원
Formal Semantics and Pragmatics for Natural Languages Hardcover, Springer
314,880원
VHDL for Simulation Synthesis and Formal Proofs of Hardware Hardcover, Springer
24,080원
Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic Paperback, College Publications
133,280원
Formal Syntax and Semantics of Java Paperback, Springer
134,380원
Statistical Models for Optimizing Mineral Exploration Paperback, Springer
119,380원
Scalable Techniques for Formal Verification Paperback, Springer
Doing Worlds with Words: Formal Semantics Without Formal Metaphysics Paperback, Springer
100,800원
Formal Models and Techniques for Analyzing Security Protocols: A Tutorial Paperback, Now Publishers
110,250원
Formal Techniques for Distributed Objects Components and Systems Paperback, Springer
110,880원
Formal Specification: Techniques and Applications Paperback, Springer
218,400원
Computational Methods for Optimizing Manufacturing Technology: Models and Techniques Hardcover, Engineering Science Reference
61,580원
Operators for Similarity Search: Semantics Techniques and Usage Scenarios Paperback, Springer
124,480원
Formal Techniques for Data Base Design Paperback, Springer
Doing Worlds with Words: Formal Semantics Without Formal Metaphysics Hardcover, Springer
167,980원
Scalable Techniques for Formal Verification Hardcover, Springer
60,460원
Advances in Proof-Theoretic Semantics Hardcover, Springer
288,960원
Formal Techniques for Networked and Distributed Systems: Forte 2001 Paperback, Springer
200,480원
Formal Approaches to Semantics and Pragmatics: Japanese and Beyond Hardcover, Springer
246,480원
Diplomacy Games: Formal Models and International Negotiations Paperback, Springer
71,680원
Generating Code from Abstract VHDL Models - Basics Semantics Algorithms Paperback, VDM Verlag Dr. Mueller E.K.
245,280원
Formal Methods and Models for System Design: A System Level Perspective Paperback, Springer
90,400원
Computational Intelligence Cyber Security and Computational Models. Models and Techniques for Intel... Paperback, Springer
189,280원
Discrete and Fractional Programming Techniques for Location Models Paperback, Springer
Formal Techniques for Networked and Distributed Systems: Forte 2001 Hardcover, Springer
256,480원
Formal Specification Techniques for Engineering Modular C Programs Paperback, Springer
166,880원
Action Theory and Social Science: Some Formal Models Paperback, Springer
311,470원
Rights and Decisions: Formal Models of Law and Liberalism Paperback, Springer
88,480원
Formal Semantics for Lips Paperback, LAP Lambert Academic Publishing
The Semantics and Proof Theory of the Logic of Bunched Implications Paperback, Springer
63,840원
Formal Semantics and Pragmatics for Natural Language Querying Paperback, Cambridge University Press
100,780원
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Des..., Springer
Semantics-Oriented Natural Language Processing: Mathematical Models and Algorithms Paperback, Springer
83,940원
Numerical Techniques for Global Atmospheric Models Paperback, Springer
178,080원
Formal Models of Operating System Kernels Paperback, Springer
78,380원
Compact Models and Measurement Techniques for High-Speed Interconnects Paperback, Springer
Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineerin..., Springer
80,620원
Formal Semantics Paperback, Cambridge University Press
Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineeri..., Springer
80,600원
Computational Intelligence Cyber Security and Computational Models. Models and Techniques for Intel... Paperback, Springer, English, 9789811596995
109,870원
Towards Analytical Techniques for Optimizing Knowledge Acquisition Processing Propagation and Use i..., Springer
87,400원
(영문도서) Advances in Proof-Theoretic Semantics Paperback, Springer, English, 9783319367811
315,840원
Formal Description Techniques VII Hardcover, Springer
Discrete and Fractional Programming Techniques for Location Models Hardcover, Springer
311,520원
Formal Description Techniques VIII Hardcover, Springer
Formal Specification Techniques for Engineering Modular C Programs Hardcover, Springer
Models and Techniques in Computer Animation Paperback, Springer
Action Theory and Social Science: Some Formal Models Hardcover, Springer
24,640원
Proof-Theoretic Semantics Paperback, College Publications
223,980원
Data Mining: Concepts Models and Techniques Paperback, Springer
222,880원
Models for Parallel and Distributed Computation: Theory Algorithmic Techniques and Applications Paperback, Springer
The Semantics and Proof Theory of the Logic of Bunched Implications Hardcover, Springer
503,980원
Multi-Scale Quantum Models for Biocatalysis: Modern Techniques and Applications Paperback, Springer
124,280원
Semantics-Oriented Natural Language Processing: Mathematical Models and Algorithms, Springer Verlag
241,480원
Formal Techniques in Real-Time and Fault-Tolerant Systems Paperback, Springer
122,080원
Economic Evolution and Demographic Change: Formal Models in Social Sciences Paperback, Springer
100,740원
Formal Pragmatics: Semantics Pragmatics Preposition and Focus Paperback, Wiley-Blackwell
191,600원
Reductive Logic and Proof-Search: Proof Theory Semantics and Control Hardcover, OUP Oxford
135,680원
Models of Sharing Graphs: A Categorical Semantics of Let and Letrec Paperback, Springer
Processes Beliefs and Questions: Essays on Formal Semantics of Natural Language and Natural Language Processing Paperback, Springer
Synthesizable VHDL Design for FPGAs Paperback, Springer
106,100원
Metabiology: Non-Standard Models General Semantics and Natural Evolution Paperback, Springer, English, 9783030327200
75,540원
Numerical Techniques for Global Atmospheric Models, Springer Verlag
422,240원
Formal Description Techniques IX: Theory Application and Tools Hardcover, Springer
Formal Models of Operating System Kernels Hardcover, Springer
144,480원
Robust and Online Large-Scale Optimization: Models and Techniques for Transportation Systems Paperback, Springer
90,720원
Symbolic Logic: Syntax Semantics and Proof Paperback, Rowman & Littlefield Publishers
123,280원
Moving Objects Management: Models Techniques and Applications Paperback, Springer
89,540원
Structures for Semantics Paperback, Springer
61,500원
(영문도서) Peter Schroeder-Heister on Proof-Theoretic Semantics Paperback, Springer, English, 9783031509834
85,060원
Optimizing and Testing WLANs: Proven Techniques for Maximum Performance Paperback, Newnes
87,240원
Type Theory and Formal Proof, Cambridge University Press
144,900원
Formal Semantics and Verification Of Use Case Maps Paperback, Scholars'' Press
Models for Parallel and Distributed Computation: Theory Algorithmic Techniques and Applications Hardcover, Springer
VHDL Coding Styles and Methodologies Paperback, Springer
488,980원
Multi-Scale Quantum Models for Biocatalysis: Modern Techniques and Applications Hardcover, Springer
Formal Techniques in Real-Time and Fault-Tolerant Systems Hardcover, Springer
74,600원
(영문도서) Harmony and Paradox: Intensional Aspects of Proof-Theoretic Semantics Hardcover, Springer, English, 9783031469206
221,740원
Data Mining: Concepts Models and Techniques Hardcover, Springer
Processes Beliefs and Questions: Essays on Formal Semantics of Natural Language and Natural Language Processing Hardcover, Springer
279,980원
Cancer and Zebrafish: Mechanisms Techniques and Models Hardcover, Springer
179,180원
Cognition-Driven Decision Support for Business Intelligence: Models Techniques Systems and Applications Paperback, Springer
95,880원
Formal Methods for Components and Objects Paperback, Springer
157,800원
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communi... Hardcover, Springer
91,400원
Formal Techniques for Distributed Objects Components and Systems: 40th Ifip Wg 6.1 International C... Paperback, Springer
99,790원
67,400원
Formal Techniques for Distributed Objects Components and Systems: 38th Ifip Wg 6.1 International C... Paperback, Springer
185,800원
(영문도서) Arnon Avron on Semantics and Proof Theory of Non-Classical Logics Paperback, Springer, English, 9783030712600
246,380원
Drug Discovery in Pancreatic Cancer: Models and Techniques Paperback, Springer
Business Process Management: Models Techniques and Empirical Studies Paperback, Springer
89,900원
Formal Techniques for Distributed Objects Components and Systems: 39th Ifip Wg 6.1 International C... Paperback, Springer