178,080원
Formal Descriptions of Developing Systems Paperback, Springer
122,080원
Systems of Formal Logic Paperback, Springer
110,880원
Formal Methods in Systems Engineering Paperback, Springer
Verification of Reactive Systems: Formal Methods and Algorithms Paperback, Springer
85,780원
A Formal Model of Visualization in Computer Graphics Systems Paperback, Springer
145,580원
Embedded Systems Design Based on Formal Models of Computation Paperback, Springer
Introduction to the Formal Design of Real-Time Systems Paperback, Springer
133,280원
Formal Development of Reactive Systems: Case Study Production Cell Paperback, Springer
Developing Expert CAD Systems Paperback, Springer
Synchronous Equivalence: Formal Methods for Embedded Systems Paperback, Springer
Formal Modeling and Analysis of Timed Systems: 4th International Conference Paperback, Springer
Formal Specification and Synthesis of Procedural Controllers for Process Systems Paperback, Springer
55,580원
Open and Distance Non-Formal Education in Developing Countries Paperback, Springer
144,480원
Formal Power Series and Linear Systems of Meromorphic Ordinary Differential Equations Paperback, Springer
Formal Hardware Verification: Methods and Systems in Comparison Paperback, Springer
110,250원
Formal Techniques for Distributed Objects Components and Systems Paperback, Springer
74,640원
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Co..., Springer
211,680원
FM''99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems Tou..., Springer
129,480원
Energy Systems Analysis for Developing Countries Paperback, Springer
189,280원
Synchronous Equivalence: Formal Methods for Embedded Systems Hardcover, Springer
165,430원
Formal Methods for Discrete-Time Dynamical Systems Hardcover, Springer
78,340원
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Des..., Springer
Formal Models of Communicating Systems: Languages Automata and Monadic Second-Order Logic Paperback, Springer
95,880원
Formal Methods for Computational Systems Biology: 8th International School Paperback, Springer
155,680원
Formal Systems Specification: The RPC-Memory Specification Case Study Paperback, Springer
241,480원
Formal Techniques in Real-Time and Fault-Tolerant Systems Paperback, Springer
Duration Calculus: A Formal Approach to Real-Time Systems Paperback, Springer
288,960원
Formal Techniques for Networked and Distributed Systems: Forte 2001 Paperback, Springer
119,840원
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for..., Springer
200,480원
Formal Power Series and Linear Systems of Meromorphic Ordinary Differential Equations Hardcover, Springer
78,900원
Formal Modeling and Analysis of Timed Systems: 18th International Conference Formats 2020 Vienna ... Paperback, Springer
70,620원
Formal Methods in Systems Biology, Springer-Verlag New York Inc
Digital Systems for Open Access to Formal and Informal Learning Paperback, Springer
245,280원
Formal Verification of Circuits Paperback, Springer
Formal Models of Communicating Systems: Languages Automata and Monadic Second-Order Logic Hardcover, Springer
107,080원
Qualitative Aspects of Large Scale Systems: Developing Design Rules Using APL Paperback, Springer
73,600원
Descriptional Complexity of Formal Systems: 22nd International Conference Dcfs 2020 Vienna Austri... Paperback, Springer, English, 9783030625351
91,840원
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International Scho..., Springer
80,640원
Formal Modeling and Analysis of Timed Systems: 12th International Conference Formats 2014 Florence ..., Springer
113,800원
(영문도서) Leveraging Applications of Formal Methods Verification and Validation. Distributed Systems: ... Paperback, Springer, English, 9783030034238
256,480원
Formal Techniques in Real-Time and Fault-Tolerant Systems Hardcover, Springer
78,380원
Developing Biofuel Bioprocesses Using Systems and Synthetic Biology Paperback, Springer
170,350원
Duration Calculus: A Formal Approach to Real-Time Systems Hardcover, Springer
Formal Techniques for Networked and Distributed Systems: Forte 2001 Hardcover, Springer
90,700원
Formal Methods for Industrial Critical Systems, Springer-Verlag New York Inc
100,780원
Modeling Telecom Networks and Systems Architecture: Conceptual Tools and Formal Methods Paperback, Springer
Formal Methods for Embedded Distributed Systems: How to Master the Complexity Paperback, Springer
158,300원
(영문도서) Formal Methods for Discrete-Time Dynamical Systems Paperback, Springer, English, 9783319844855
225,400원
Building Resilience of Human-Natural Systems of Pastoralism in the Developing World: Interdisciplina... Paperback, Springer
100,740원
Formal Correctness of Security Protocols Paperback, Springer
44,740원
Formal Moduli of Algebraic Structures Paperback, Springer
94,080원
Formal Modeling and Analysis of Timed Systems: 13th International Conference Formats 2015 Madrid Sp..., Springer
Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Con..., Springer
141,780원
Formal Development of a Network-Centric Rtos: Software Engineering for Reliable Embedded Systems Hardcover, Springer
Formal Modeling and Analysis of Timed Systems: 15th International Conference Formats 2017 Berlin Ge..., Springer
105,600원
Descriptional Complexity of Formal Systems: 21st Ifip Wg 1.02 International Conference Dcfs 2019 K... Paperback, Springer
Formal Modeling and Analysis of Timed Systems: 10th International Conference Formats 2012 London UK..., Springer
Formal Logic Paperback, Springer
79,800원
Formal Methods for Industrial Critical Systems: 23rd International Conference Fmics 2018 Maynooth ... Paperback, Springer
320,320원
Formal Methods for Open Object-Based Distributed Systems: Volume 2 Hardcover, Springer
Digital Systems for Open Access to Formal and Informal Learning Hardcover, Springer
214,800원
(영문도서) Stochastic Systems with Time Delay: Probabilistic and Thermodynamic Descriptions of Non-Marko... Paperback, Springer, English, 9783030807733
82,960원
Intuitive Formal Modelling of Biological Systems Paperback, LAP Lambert Academic Publishing
Formal Syntax and Semantics of Java Paperback, Springer
105,280원
Descriptional Complexity of Formal Systems: 18th Ifip Wg 1.2 International Conference Dcfs 2016 Buch..., Springer
151,880원
Towards a Formal Description of ADA Paperback, Springer
230,280원
Formal Verification of Circuits Hardcover, Springer
Formal Models of Operating System Kernels Paperback, Springer
Formal Aspects of Security and Trust Paperback, Springer
267,680원
The Formal Complexity of Natural Language Paperback, Springer
190,380원
Rural Electrification Through Decentralised Off-Grid Systems in Developing Countries Paperback, Springer
334,880원
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / Pstv Xix''99 Paperback, Springer
346,080원
Axiomatic Formal Ontology Paperback, Springer
Formal Techniques for Distributed Systems: Joint 13th Ifip Wg 6.1 International Conference Paperback, Springer
Formal Techniques for Safety-Critical Systems: Second International Workshop Ftscs 2013 Queenstown ..., Springer
68,900원
Caregiving Systems: Formal and Informal Helpers Paperback, Routledge
19,050원
Developing Computer Systems Requirements Paperback, Digital Systems Press
79,000원
Formal Methods for Industrial Critical Systems: 25th International Conference Fmics 2020 Vienna A... Paperback, Springer
103,180원
Modeling Telecom Networks and Systems Architecture: Conceptual Tools and Formal Methods Hardcover, Springer
Formal Methods for Embedded Distributed Systems: How to Master the Complexity Hardcover, Springer
165,100원
Flow Modelling and Control in Pipeline Systems: A Formal Systematic Approach Hardcover, Springer
68,600원
(영문도서) Formal Modeling and Analysis of Timed Systems: 19th International Conference Formats 2021 P... Paperback, Springer, English, 9783030850364
Descriptional Complexity of Formal Systems: 16th International Workshop Dcfs 2014 Turku Finland August 5-8 2014 Proceedings Paperback, Springer
234,080원
Dynamic Formal Epistemology Paperback, Springer
Introduction to the Principles of Phonological Descriptions Paperback, Springer
222,880원
Advanced Formal Verification Paperback, Springer
Commutative Formal Groups Paperback, Springer
91,200원
(영문도서) Formal Modeling and Analysis of Timed Systems: 20th International Conference Formats 2022 W... Paperback, Springer, English, 9783031158384
99,100원
(영문도서) Descriptional Complexity of Formal Systems: 24th IFIP WG 1.02 International Conference DCFS ... Paperback, Springer, English, 9783031132568
69,600원
(영문도서) Formal Modeling and Analysis of Timed Systems: 21st International Conference Formats 2023 A... Paperback, Springer, English, 9783031426254
76,100원
(영문도서) Descriptional Complexity of Formal Systems: 25th Ifip Wg 1.02 International Conference Dcfs ... Paperback, Springer, English, 9783031343254
92,960원
Descriptional Complexity of Formal Systems: 15th International Workshop Dcfs 2013 London Canada July 22-25 2013 Proceedings Paperback, Springer
80,000원
(영문도서) Descriptional Complexity of Formal Systems: 20th Ifip Wg 1.02 International Conference Dcfs ... Paperback, Springer, English, 9783319946306
111,980원
Map Framework: A Formal Model of Maps as a Fundamental Data Type in Information Systems Hardcover, Springer
81,200원
Theory of Formal Systems. (Am-47) Volume 47 Paperback, Princeton University Press
Automata-Theoretic Aspects of Formal Power Series Paperback, Springer