Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
programming constraints » programming constraint, programming constrained, programming constructs
automatic programming » quadratic programming, stochastic programming, mathematical programming
interface automatic » interface automation, interface automata, interface automated
constraints https » constraints haptic, constraints data, constraints chap
programming programming » programming programmed, programming program
programming constraints » programming constraint, programming constrained, programming constructs
automatic programming » quadratic programming, stochastic programming, mathematical programming
interface automatic » interface automation, interface automata, interface automated
constraints https » constraints haptic, constraints data, constraints chap
1
Published 2007
Table of Contents:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Software Upgrades for Distributed Systems -- Demeter Interfaces: Adaptive Programming Without Surprises...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... Languages -- Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs -- Integrative...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Query Containment under Access Limitations -- Similarity and Coherence -- Automatic Extraction...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Linear Approximation of Non-overlap Constraints -- Extremes Are Better: Investigating Mental Map...”View full text
Electronic
eBook
6
Published 2012
Table of Contents:
“... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Building System for Novice Users: A Step-by-Step Approach -- Automatic Lexical Annotation Applied...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... for Problem Frames -- Visualization of Use Cases through Automatically Generated Activity Diagrams...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... with Operating Constraints -- Evaluation of Project Quality: A DEA-Based Approach -- Process Management -- A...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“...D Virtual Agents -- Unbiased Statistics of a Constraint Satisfaction Problem – a Controlled-Bias...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... for Distributed Systems -- Constraint Solving and Programming -- Hybrid CSP Solving -- An Efficient Decision...”View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“... Garner Algorithm for Chinese Remainder Theorem -- dMPI: Facilitating Debugging of MPI Programs via...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Tensor Decomposition -- Color Pair Clustering for Texture Detection -- CPU-GPU Multithreaded Programming...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Constraints on EAST-ADL Models -- SysADL: A SysML Profile for Software Architecture Description -- A...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... and HomePNA3.0 MAC -- Automatic Translation of a Process Level Petri-Net to a Ladder Diagram -- Software...”View full text
Electronic
eBook