Alexandre v zamulin (27 resultados)

Hardcover. Condición: Very Good. No Jacket. Hardcover 2004 library bound edition. Ex-library book with minimal stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series : Lecture Notes in Computer Science ;2890. [xv, 572 p. : ill. ; 24 cm]. …

Paperback. Condición: Very Good. Sorry, No international shipping on this item.Ex-library paperback in nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New. In English.

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New. In English.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: New. pp. 600.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Programming Issues.- The Verifying Compiler: A Grand Challenge for Computing Research.- Linear Types for Cashflow Reengineering.- Storing Properties in Grouped Tagged Tuples.- A Polymorphic Radix-n Framework for Fast Fourier Transforms.- Intersecting Classes and Prototypes.- Software Engineering.- Bending without Breaking: Making Software More Flexible.- Program Construction in the Context of Evolutionary Computation.- A Layered Architecture Sustaining Model-Driven and Event-Driven Software Development.- Software Education.- The Outside-In Method of Teaching Introductory Programming.- Program Synthesis, Transformation, and Semantics.- Numeric Types in Formal Synthesis.- On the Possibility of Provably Secure Obfuscating Programs.- Verification-Oriented Language C-Light and Its Structural Operational Semantics.- Proofs-as-Imperative-Programs: Application to Synthesis of Contracts.- Graphical Interfaces.- On the Visualization and Aesthetics of Large Graphs.- Data Mappings in the Model-View-Controller Pattern.- Partial Evaluation and Supercompilation.- The Translation Power of the Futamura Projections.- A Compiler Generator for Constraint Logic Programs.- The Supercompiler SCP4: General Structure.- Partial Evaluation for Common Intermediate Language.- Verification.- Timed Verification with CRL.- Verification of Distributed Dataspace Architectures.- Using SPIN and STeP to Verify Business Processes Specifications.- Integrating Tools for Automatic Program Verification.- Logic and Types.- A Logical Reconstruction of Reachability.- Recent Advances in -Definability over Continuous Data Types.- Concurrent and Distributed Systems.- Open Maps and Trace Semantics for Timed Partial Order Models.- Confidentiality for Multithreaded Programs via Bisimulation.- Dynamic Modification ofSystem Structures Using LLPNs.- Concurrent and Reactive Systems.- Principles for Entity Authentication.- Causality and Replication in Concurrent Processes.- Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems.- Teams of Pushdown Automata.- Program Specification.- Algebraic State Machines: Concepts and Applications to Security.- Combining Aspects of Reactive Systems.- OCL Extended with Temporal Logic.- The Definition of Transitive Closure with OCL - Limitations and Applications -.- Verification and Model Checking.- Improving the Consistency Checking Process by Reusing Formal Verification Knowledge.- Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework.- Polynomial Approximations for Model Checking.- Constraint Programming.- Separating Search and Strategy in Solver Cooperations.- Industrial Application of External Black-Box Functions in Constraint Programming Solver.- LGS: Geometric Constraint Solver.- On Strategies of the Narrowing Operator Selection in the Constraint Propagation Method.- Documentation and Testing.- PROG - A New Program Documentation System.- Integration of Functional and Timed Testing of Real-Time and Concurrent Systems.- Test Case Generation for UML Statecharts.- Databases.- Conceptual Content Modeling and Management.- A Relational Algebra for Functional Logic Deductive Databases.- Implication of Functional Dependencies for Recursive Queries.- TeXOR: Temporal XML Database on an Object-Relational Database System.- Functional Dependencies, from Relational to XML.- Data-Object Replication, Distribution, and Mobility in Network Environments.- Natural Language Processing.- Multi-classification of Patent Applications with Winnow.- Automatic Evaluation of Quality of anExplanatory Dictionary by Comparison of Word Senses.- An Approach to Automatic Construction of a Hierarchical Subject Domain for Question Answering Systems.…

Condición: New. In English.

Condición: New. Includes supplementary material: sn.pub/extrasAlgebraic Specifications.- The Common Framework Initiative for Algebraic Specification and Development of Software.- A Logical Approach to Specification of Hybrid Systems.- Specifications with States.

Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Paperback. Condición: Brand New. 1st edition. 540 pages. 9.50x6.25x1.25 inches. In Stock.

Condición: As New. Unread book in perfect condition.

Taschenbuch. Condición: 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.…

Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thevolumecomprises nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference Perspectives of System Informatics, Akademgorodok (Novosibirsk, Russia), July 9 12, 2003. The main goal of the conference was to give an overview of research directions that are decisive for growth in the major areas of research activities in system informatics. The conference was held to honor the 70th anniversary of Ershov s closest colleague, the late Prof. Igor Pottosin (1933 2001), and his outstanding cont- bution towards advancing informatics. The rst four Andrei Ershov conferences were held in May 1991, June 1996, July 1999, and July 2001, and they proved to be signi cant international events. Andrei Ershov was one of the early Russian pioneers in the eld of theo- tical and systems programming, a founder of the Siberian School of Computer Science. His closest colleague, Igor Pottosin, worked for the Siberian Branch of the Russian Academy of Sciences from 1958, step by step lling positions from junior researcher to director of the A.P. Ershov Institute of Informatics - stems. In later years he headed the Laboratory of Systems Programming in this institute and the Department of Programming at Novosibirsk State University. 600 pp. Englisch.…

Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Programming Issues.- The Verifying Compiler: A Grand Challenge for Computing Research.- Linear Types for Cashflow Reengineering.- Storing Properties in Grouped Tagged Tuples.- A Polymorphic Radix-n Framework for Fast Fourier Transforms.- Intersecting Classe.…

Condición: New. Print on Demand pp. 600 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Condición: New. PRINT ON DEMAND pp. 600.

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Programming Issues.- The Verifying Compiler: A Grand Challenge for Computing Research.- Linear Types for Cashflow Reengineering.- Storing Properties in Grouped Tagged Tuples.- A Polymorphic Radix-n Framework for Fast Fourier Transforms.- Intersecting Classes and Prototypes.- Software Engineering.- Bending without Breaking: Making Software More Flexible.- Program Construction in the Context of Evolutionary Computation.- A Layered Architecture Sustaining Model-Driven and Event-Driven Software Development.- Software Education.- The Outside-In Method of Teaching Introductory Programming.- Program Synthesis, Transformation, and Semantics.- Numeric Types in Formal Synthesis.- On the Possibility of Provably Secure Obfuscating Programs.- Verification-Oriented Language C-Light and Its Structural Operational Semantics.- Proofs-as-Imperative-Programs: Application to Synthesis of Contracts.- Graphical Interfaces.- On the Visualization and Aesthetics of Large Graphs.- Data Mappings in the Model-View-Controller Pattern.- Partial Evaluation and Supercompilation.- The Translation Power of the Futamura Projections.- A Compiler Generator for Constraint Logic Programs.- The Supercompiler SCP4: General Structure.- Partial Evaluation for Common Intermediate Language.- Verification.- Timed Verification with CRL.- Verification of Distributed Dataspace Architectures.- Using SPIN and STeP to Verify Business Processes Specifications.- Integrating Tools for Automatic Program Verification.- Logic and Types.- A Logical Reconstruction of Reachability.- Recent Advances in -Definability over Continuous Data Types.- Concurrent and Distributed Systems.- Open Maps and Trace Semantics for Timed Partial Order Models.- Confidentiality for Multithreaded Programs via Bisimulation.- Dynamic Modification ofSystem Structures Using LLPNs.- Concurrent and Reactive Systems.- Principles for Entity Authentication.- Causality and Replication in Concurrent Processes.- Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems.- Teams of Pushdown Automata.- Program Specification.- Algebraic State Machines: Concepts and Applications to Security.- Combining Aspects of Reactive Systems.- OCL Extended with Temporal Logic.- The Definition of Transitive Closure with OCL - Limitations and Applications -.- Verification and Model Checking.- Improving the Consistency Checking Process by Reusing Formal Verification Knowledge.- Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework.- Polynomial Approximations for Model Checking.- Constraint Programming.- Separating Search and Strategy in Solver Cooperations.- Industrial Application of External Black-Box Functions in Constraint Programming Solver.- LGS: Geometric Constraint Solver.- On Strategies of the Narrowing Operator Selection in the Constraint Propagation Method.- Documentation and Testing.- PROG - A New Program Documentation System.- Integration of Functional and Timed Testing of Real-Time and Concurrent Systems.- Test Case Generation for UML Statecharts.- Databases.- Conceptual Content Modeling and Management.- A Relational Algebra for Functional Logic Deductive Databases.- Implication of Functional Dependencies for Recursive Queries.- TeXOR: Temporal XML Database on an Object-Relational Database System.- Functional Dependencies, from Relational to XML.- Data-Object Replication, Distribution, and Mobility in Network Environments.- Natural Language Processing.- Multi-classification of Patent Applications with Winnow.- Automatic Evaluation of Quality of anExplanatory Dictionary by Comparison of Word Senses.- An Approach to Automatic Construction of a Hierarchical Subject Domain for Question Answering Systems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 600 pp. Englisch.…