Satisfiability: From Core Algorithms to Novel Application Domains - Image 1

£82.00

Südwestdeutscher Verlag für Hochschulschriften Satisfiability: From Core Algorithms to Novel Application Domains

Computing & Internet

Price data last checked 52 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

Last 39 days • 39 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 39 days • 1 price levels

Days at Price

Price Analysis

Most common price: £82 (39 days, 100.0%)

Price range: £82 - £82

Price levels: 1 different prices over 39 days

Product Specifications

Brand: Südwestdeutscher Verlag für Hochschulschriften
Format: paperback
ASIN: 3838101022
Category: Books > Subjects > Computing & Internet
Domain: Amazon UK
Publication Date: 12 February 2009
Listed Since: 26 February 2009

Barcode

No barcode data available

Südwestdeutscher Verlag für Hochschulschriften Satisfiability: From Core Algorithms to Novel Application Domains

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Weak System Models for Distributed Agreement Problems: Algorithms and Lower Bounds

Scalable Analytical Query Processing

On the influence of non-perfect randomness on probabilistic algorithms

Metastability in Stochastic Dynamics: Contributions to the Potential Theoretic Approach

CSP as a Coordination Language: A CSP-based Approach to the Coordination of Concurrent Systems

Engineering Self-Organizing Dynamics in Distributed Systems:: A Systemic Approach

Railway Track Allocation: Models and Algorithms

Improving Schema Mapping by Exploiting Domain Knowledge

New Aspects of Flavour Model Building: in Supersymmetric Grand Unification

Die Absorptionsfähigkeit von Technologie Startups

Time-Constrained Web Services for Industrial Automation

Mining and Checking Object Behavior: Efficient Mining of Object Behavior Models

Interpretation of Behaviour Models at Runtime: Performance Benchmark and Case Studies

Using Search Term Positions for Determining Document Relevance

Integrated Management Framework for Dynamic Virtual Organisations: Concepts and their Application in the Data Centre

Voice Modeling Methods: for Automatic Speaker Recognition

Interactive High Performance Volume Rendering

Using Weighted Constraints To Build Tutoring Systems: A Study Case in Logic Programming

Fully Realistic Multi-Criteria Timetable Information Systems: Models, Algorithms, and Prototypes

Some Asymptotic Properties of Stochastic Flows: Isotropic Brownian Flows and beyond

Distributed Shared Memory and Data Consistency: for Wireless Sensor Networks - Assessment of the feasibility

Transient Faults in Quasi Delay-Insensitive Logic: Effects and Mitigation

Maintenance Strategies under Consideration of Logistic Processes: Modelling, Simulation and Optimization

Policies for Web Services: Improving the Description of Services