Вы здесь

Главная

Lecture Notes in Computer Science

Связанные издания:

A Brief Introduction to Coloured Petri Nets
A Brief Summary of VSPEC
A Brief Survey of Quantum Programming Languages
A Broader Class of Trees for Recursive Type Definitions for HOL
A Browser Computability Testing Method Based on Combinatorial Testing
Abstract Algebraic Logic
Abstract and Model Check While You Prove
Abstract Behavior Types: A Foundation Model for Components and Their Composition
Abstract Compilation: A New Implementation Paradigm for Static Analysis
Abstract Compilation for Sharing Analysis
Abstract Complexity of Prolog Based on WAM
Abstract Computability of Non-deterministic Programs over Various Data Structures
Abstract Data Types in Computer Algebra
Abstract Debugging of Logic Programs
Abstract Description of Distributed Object Systems
Abstract Diagnosis of Functional Programs
Abstract Domains for Sharing Analysis by Optimal Semantics
Abstracting Numerical Values in CLP(H,N)
Abstracting Services in a Heterogeneous Environment
Abstracting s-semantics Using a Model-Theoretic Approach
Abstracting Synchronization in Concurrent Constraint Programming
Abstract Interpretation and Finite Domain Symbolic Constraints
Abstract Interpretation-Based Certification of Assembly Code
Abstract Interpretation Basedd Semantics of Sequent Calculy
Abstract Interpretation Based Formal Methods and Future Challenges
Abstract Interpretation-Based Static Analysis of Mobile Ambients
Abstract Interpretation of Programs as Markov Decision Processes
Abstract Interpretation of Prolog Programs
Abstract Interpretation of Proofs: Classical Propositional Calculus
Abstract Interpretation of Small-Step Semantics
Abstract Interpretation of the -Calculus
Abstract Interpretation Using TDGs
Abstract Interpretattion of Probabilistic Semantics
Abstraction and Modularization in the BETA Programming Language
Abstraction and Modular Verification of Infinite-State Reactive Systems
Abstraction and Reuse Mechanisms in Web Application Models
Abstraction and Testing
Abstraction as the Key for Invariant Verification
Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification
Abstraction in Real Time Process Algebra
Abstraction in Software Model Checking: Principles and Practice
Abstraction Levels for Entity-Relationship Schemas
Abstraction of Expectation Functions Using Gaussian Distributions
Abstractions and Infrastructures for the Design and Development of Mobile Agent Organizations
Abstractions for Continuous-Media Programming
Abstraction Techniques for Modeling Real-World Interface Chips
Abstract Iterpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs
Abstract Machines, Control, and Sequents
Abstract Model Checking of Infinite Specifications
Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets