166,880원
Algebraic Foundations of Systems Specification Paperback, Springer
110,880원
Specification of Software Systems Paperback, Springer
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints Paperback, Springer
Specification of Software Systems Hardcover, Springer
178,080원
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics Paperback, Springer
234,080원
Algebraic Foundations of Many-Valued Reasoning Paperback, Springer
144,480원
Algebraic Systems Paperback, Springer
107,080원
Specification and Verification of Concurrent Systems Paperback, Springer
334,880원
Software Engineering with Obj: Algebraic Specification in Action Paperback, Springer
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints Hardcover, Springer
Algebraic Specification Techniques in Object Oriented Programming Environments Paperback, Springer
179,180원
Algebraic Foundations of Many-Valued Reasoning Hardcover, Springer
200,480원
Foundations of Intelligent Systems Paperback, Springer
155,680원
Formal Systems Specification: The RPC-Memory Specification Case Study Paperback, Springer
133,280원
Software Engineering 2: Specification of Systems and Languages Paperback, Springer
180,700원
Parametric Interval Algebraic Systems Paperback, Springer
95,880원
Specification and Compositional Verification of Real-Time Systems Paperback, Springer
Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language Paperback, Springer
Software Engineering with Obj: Algebraic Specification in Action Hardcover, Springer
301,280원
Foundations of Learning Classifier Systems Paperback, Springer
From Specification to Embedded Systems Application Paperback, Springer
189,280원
The Temporal Logic of Reactive and Concurrent Systems: Specification Paperback, Springer
65,960원
Algebraic Specification of Communication Protocols, Cambridge University Press
170,350원
Foundations of Intelligent Systems, Springer Verlag
Specification and Analysis of Concurrent Systems: The Cosy Approach Paperback, Springer
89,580원
Architectural Design: Conception and Specification of Interactive Systems Hardcover, Springer
56,200원
Logical Foundations of Cyber-Physical Systems Paperback, Springer
Casl User Manual: Introduction to Using the Common Algebraic Specification Language Paperback, Springer
Dynamics of Information Systems: Mathematical Foundations Paperback, Springer
163,080원
Smartkom: Foundations of Multimodal Dialogue Systems Paperback, Springer
78,340원
Algorithmic Foundations of Geographic Information Systems Paperback, Springer
72,340원
Integrable Systems in the Realm of Algebraic Geometry Paperback, Springer
122,080원
Foundations of Information and Knowledge Systems Paperback, Springer
Formal Specification and Synthesis of Procedural Controllers for Process Systems Paperback, Springer
167,980원
Parametric Interval Algebraic Systems Hardcover, Springer
20,100원
Foundations of Algebraic Topology Paperback, Andesite Press
111,480원
Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components Paperback, Springer
Algebraic Systems of Equations and Computational Complexity Theory, Springer
222,880원
Resolution Proof Systems: An Algebraic Theory Paperback, Springer
From Specification to Embedded Systems Application Hardcover, Springer
Foundations of Learning Classifier Systems Hardcover, Springer
51,520원
Boundedly Controlled Topology: Foundations of Algebraic Topology and Simple Homotopy Theory Paperback, Springer
Algebraic Methods for Nonlinear Control Systems Paperback, Springer
The Temporal Logic of Reactive and Concurrent Systems: Specification Hardcover, Springer
134,380원
Foundations of Synergetics I: Distributed Active Systems Paperback, Springer
157,980원
Algebraic Formalization of Smart Systems: Theory and Practice Hardcover, Springer
136,400원
Software Engineering: Specification Of Systems And Languages, Springer-Verlag New York Inc
Smartkom: Foundations of Multimodal Dialogue Systems Hardcover, Springer
Specification and Design Methodology for Real-Time Embedded Systems Paperback, Springer
143,350원
Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components Hardcover, Springer
190,510원
Specification and Verification of Multi-agent Systems, Springer-Verlag New York Inc
123,100원
(영문도서) Architectural Design: Conception and Specification of Interactive Systems Paperback, Springer, English, 9783319827834
Mathematical Foundations of the State Lumping of Large Systems Paperback, Springer
Architecture of Integrated Information Systems: Foundations of Enterprise Modelling Paperback, Springer
156,780원
Mathematical Foundations of Quantum Statistical Mechanics: Continuous Systems Paperback, Springer
Specification and Development of Interactive Systems: Focus on Streams Interfaces and Refinement Paperback, Springer
169,100원
Algebraic Identification of Smart Systems: Theory аnd Practice Hardcover, Springer
31,300원
Foundations of Algebraic Topology Hardcover, Andesite Press
201,580원
Algebraic Methods for Nonlinear Control Systems Hardcover, Springer
LISP Lore and Logic: An Algebraic View of LISP Programming Foundations and Applications Paperback, Springer
33,010원
Foundations of Algebraic Topology - Scholar''s Choice Edition Paperback
Structural Analysis and Design of Multivariable Control Systems: An Algebraic Approach Paperback, Springer
Design Specification and Verification of Interactive Systems ''98: Proceedings of the Eurographics Wor..., Springer
Resolution Proof Systems: An Algebraic Theory Hardcover, Springer
Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday Paperback, Springer
Design Specification and Verification of Interactive Systems ''96: Proceedings of the Eurographics Wor..., Springer
119,380원
Algebraic Theory of Linear Feedback Systems with Full and Decentralized Compensators Paperback, Springer
44,780원
The Numerical Solution of Differential-Algebraic Systems by Runge-Kutta Methods Paperback, Springer
Design Specification and Verification of Interactive Systems ''97: Proceedings of the Eurographics Wor..., Springer
Dynamical Systems of Algebraic Origin Paperback, Birkhauser
135,600원
Algorithms of Estimation for Nonlinear Systems: A Differential and Algebraic Viewpoint Paperback, Springer
UML-B Specification for Proven Embedded Systems Design Hardcover, Springer
33,580원
Specification and Design of Software Systems: Conference on Operating Systems. Visegrad Hungary January 23-27 1982; Proceedings Paperback, Springer
267,680원
Logics of Specification Languages Paperback, Springer
145,580원
Theoretical Foundations of Synchrotron and Storage Ring RF Systems Paperback, Springer
Algebraic Geometry II: Cohomology of Algebraic Varieties. Algebraic Surfaces Paperback, Springer
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems Paperback, Springer
Mathematical Methods of Specification and Synthesis of Software Systems ''85: Proceedings of the Intern..., Springer
224,080원
Intelligent Autonomous Systems: Foundations and Applications Paperback, Springer
211,680원
Computer Algebra Handbook: Foundations - Applications - Systems Paperback, Springer
223,980원
Logical Foundations for Rule-Based Systems Paperback, Springer
Semantic Agent Systems: Foundations and Applications Paperback, Springer
140,680원
Distributed Systems: Methods and Tools for Specification. an Advanced Course Paperback, Springer
187,300원
(영문도서) Algebraic Formalization of Smart Systems: Theory and Practice Paperback, Springer, English, 9783030083588
Specification and Development of Interactive Systems: Focus on Streams Interfaces and Refinement Hardcover, Springer
Linear Time-Varying Systems: Algebraic-Analytic Approach, Springer Verlag
100,780원
Y12m Solution of Large and Sparse Systems of Linear Algebraic Equations: Documentation of Subroutines Paperback, Springer
Algebraic Integrability of Nonlinear Dynamical Systems on Manifolds: Classical and Quantum Aspects Paperback, Springer
78,380원
Categories of Algebraic Systems: Vector and Projective Spaces Semigroups Rings and Lattices Paperback, Springer
Mathematical Foundations of the State Lumping of Large Systems Hardcover, Springer
169,600원
(영문도서) Foundations of Embedded Systems Hardcover, Springer, English, 9783030119607
190,380원
Mathematical Foundations of Quantum Statistical Mechanics: Continuous Systems Hardcover, Springer
Embedded Systems Specification and Design Languages: Selected Contributions from Fdl''07 Paperback, Springer
Leśniewski''s Systems of Logic and Foundations of Mathematics Paperback, Springer
256,480원
Logic and Algebra of Specification Paperback, Springer
89,540원
Elements of Algebraic Coding Systems Paperback, Momentum Press