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
90,780원
Developing Synthetic Transport Systems Paperback, Springer
Synchronous Equivalence: Formal Methods for Embedded Systems Paperback, Springer
Formal Specification and Synthesis of Procedural Controllers for Process Systems Paperback, Springer
Formal Modeling and Analysis of Timed Systems: 4th International Conference 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
84,300원
Formal Modeling and Analysis of Timed Systems: 17th International Conference Formats 2019 Amsterda... 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
107,080원
Qualitative Aspects of Large Scale Systems: Developing Design Rules Using APL Paperback, Springer
Formal Models of Communicating Systems: Languages Automata and Monadic Second-Order Logic Hardcover, Springer
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
73,600원
Descriptional Complexity of Formal Systems: 22nd International Conference Dcfs 2020 Vienna Austri... Paperback, Springer, English, 9783030625351
Formal Modeling and Analysis of Timed Systems: Third International Conference Formats 2005 Uppsala ..., Springer
113,800원
(영문도서) Leveraging Applications of Formal Methods Verification and Validation. Distributed Systems: ... Paperback, Springer, English, 9783030034238
78,380원
Developing Biofuel Bioprocesses Using Systems and Synthetic Biology Paperback, Springer
256,480원
Formal Techniques in Real-Time and Fault-Tolerant Systems Hardcover, 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
44,740원
Formal Moduli of Algebraic Structures Paperback, Springer
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
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
Formal Modeling and Analysis of Timed Systems: 9th International Conference FORMATS 2011 Aalborg De..., 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 Demography 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
105,280원
Descriptional Complexity of Formal Systems: 18th Ifip Wg 1.2 International Conference Dcfs 2016 Buch..., Springer
Formal Syntax and Semantics of Java Paperback, Springer
Formal Models of Operating System Kernels Paperback, Springer
Formal Aspects of Security and Trust Paperback, Springer
120,960원
Descriptional Complexity of Formal Systems: 19th Ifip Wg 1.02 International Conference Dcfs 2017 Mil..., Springer
179,180원
Formal Aspects of Context Hardcover, Springer
267,680원
The Formal Complexity of Natural Language Paperback, Springer
151,880원
Towards a Formal Description of ADA 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
19,050원
Developing Computer Systems Requirements Paperback, Digital Systems Press
Formal Techniques for Distributed Systems: Joint 13th Ifip Wg 6.1 International Conference Paperback, Springer
68,900원
Caregiving Systems: Formal and Informal Helpers Paperback, Routledge
79,000원
Formal Methods for Industrial Critical Systems: 25th International Conference Fmics 2020 Vienna A... Paperback, Springer
346,080원
Axiomatic Formal Ontology Paperback, Springer
Formal Techniques for Safety-Critical Systems: Second International Workshop Ftscs 2013 Queenstown ..., 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
234,080원
Dynamic Formal Epistemology Paperback, Springer
222,880원
Advanced Formal Verification Paperback, Springer
Commutative Formal Groups Paperback, 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
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
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
92,960원
Descriptional Complexity of Formal Systems: 14th International Workshop Dcfs 2012 Braga Portugal July 23-25 2012 Proceedings Paperback, Springer
80,000원
(영문도서) Descriptional Complexity of Formal Systems: 20th Ifip Wg 1.02 International Conference Dcfs ... Paperback, Springer, English, 9783319946306
Introduction to the Principles of Phonological Descriptions Paperback, Springer
111,980원
Map Framework: A Formal Model of Maps as a Fundamental Data Type in Information Systems Hardcover, Springer