Perspectives System Informatics Third (4 results)
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 134.62
US$ 16.16 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 181.39
US$ 16.86 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 540 pages. 9.50x6.25x1.25 inches. In Stock.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 211.20
US$ 33.72 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 174.44
US$ 74.20 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Neuware - Algebraic Specifications.- The Common Framework Initiative for Algebraic Specification and Development of Software.- A Logical Approach to Specification of Hybrid Systems.- Specifications with States.- Algebraic Imperative Specifications.- Enhanced Control Flow Graphs in Montages.- Abstract… State Machines for the Composition of Architectural Styles.- Partial Evaluation and Supercompilation.- The Essence of Program Transformation by Partial Evaluation and Driving.- Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All.- Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification.- Sonic Partial Deduction.- On Perfect Supercompilation.- Linear Time Self-Interpretation of the Pure Lambda Calculus.- An Optimal Algorithm for Purging Regular Schemes.- Polymorphism in OBJ-P.- Concurrency and Parallelism.- Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem.- Serializability Preserving Extensions of Concurrency Control Protocols.- Platform Independent Approach for Detecting Shared Memory Parallelism.- Hierarchical Cause-Effect Structures.- Some Decidability Results for Nested Petri Nets.- Abstract Structures for Communication between Processes.- Logic and Processes.- Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs.- On Semantics and Correctness of Reactive Rule-Based Programs.- Compositional Verification of CCS Processes.- Compositional Style of Programming FPGAs.- Languages and Software.- Using Experiments to Build a Body of Knowledge.- Patterns in Words versus Patterns in Trees: A Brief Survey and New Results.- Extensions: A Technique for Structuring Functional-Logic Programs.- Language Tools and Programming Systems inEducational Informatics.- Database Programming.- Current Directions in Hyper-Programming.- Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data.- A General Object-Oriented Model for Spatial Data.- Object-Oriented Programming.- Twin - A Design Pattern for Modeling Multiple Inheritance.- A Partial Semantics for Object Data Models with Static Binding.- Heterogeneous, Nested STL Containers in C++.- Data Flow Analysis of Java Programs in the Presence of Exceptions.- Late Adaptation of Method Invocation Semantics.- Constraint Programming.- A Control Language for Designing Constraint Solvers.- An Algorithm to Compute Inner Approximations of Relations for Interval Constraints.- Constraint Programming Techniques for Solving Problems on Graphs.- Extensional Set Library for ECLiPSe.- Model & Program Checking.- Introducing Mutual Exclusion in Esterel.- Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications.- Formal Verification of a Compiler Back-End Generic Checker Program.- Construction of Verified Compiler Front-Ends with Program-Checking.- Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker.- Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles.- Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles.- Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique.- Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique.- Natural Communication with Robots.- Approach to Development of a System for Speech Interaction with an Intelligent Robot.- Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for SignLanguages.- Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for Sign Languages.
