Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
automata programming » automatic programming, automated programming, autocad programming
programming programs » programming program, programming programmed, programming problems
programs constraints » progress constraints, programming constraints, problem constraints
constraints https » constraints haptic, constraints data, constraints chap
automata programming » automatic programming, automated programming, autocad programming
programming programs » programming program, programming programmed, programming problems
programs constraints » progress constraints, programming constraints, problem constraints
constraints https » constraints haptic, constraints data, constraints chap
1
Publié 2007
Table des matières:
“... Databases Under Three-Valued Semantics -- Logic Programming Approach to Automata-Based Decision Procedures...”Accéder au texte intégral
Électronique
eBook
2
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Publié 2007
Table des matières:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Accéder au texte intégral
Électronique
eBook
3
Publié 2008
Table des matières:
“... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”Accéder au texte intégral
Électronique
eBook
4
Publié 2006
Table des matières:
“... for Avoiding Controllability Problems in Distributed Testing -- Generating Test Cases for Constraint Automata...”Accéder au texte intégral
Électronique
eBook
5
Publié 2005
Table des matières:
“... Control -- Timed Shuffle Expressions -- A New Modality for Almost Everywhere Properties in Timed Automata...”Accéder au texte intégral
Électronique
eBook
6
Publié 2010
Table des matières:
“... on Heterogeneous Distributed Systems Using Learning Automata -- Visualization of the Similar Protein Structures...”Accéder au texte intégral
Électronique
eBook
7
Publié 2012
Table des matières:
“... Garner Algorithm for Chinese Remainder Theorem -- dMPI: Facilitating Debugging of MPI Programs via...”Accéder au texte intégral
Électronique
eBook
8
Publié 2012
Table des matières:
“....- LearnLib Tutorial: From Finite Automata to Register Interface Programs.- Automated Learning Setups...”Accéder au texte intégral
Électronique
eBook
9
Publié 2012
Table des matières:
“...-Sports: The Challenge of Small Margin Healthcare Accounting.- Timing Constraints: Theory Meets Practice...”Accéder au texte intégral
Électronique
eBook
10
Publié 2010
Table des matières:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”Accéder au texte intégral
Électronique
eBook
11
Publié 2005
Table des matières:
“... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...”Accéder au texte intégral
Électronique
eBook
12
Publié 2008
Table des matières:
“... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”Accéder au texte intégral
Électronique
eBook
13
Publié 2012
Table des matières:
“...Verification of Behaviour Networks Using Finite-State Automata -- Formal Semantics of Model Fields...”Accéder au texte intégral
Électronique
eBook
14
Publié 2006
Table des matières:
“... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...”Accéder au texte intégral
Électronique
eBook
15
Publié 2007
Table des matières:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Accéder au texte intégral
Électronique
eBook
16
Publié 2010
Table des matières:
“... Concerning Model-Based Background Subtraction -- Efficient Temporal Segmentation for Sports Programs...”Accéder au texte intégral
Électronique
eBook
17
Publié 2007
Table des matières:
“... Distributed Job Workflow Execution -- EPLAS: An Epistemic Programming Language for All Scientists...”Accéder au texte intégral
Électronique
eBook
18
Publié 2005
Table des matières:
“... -- Periodicity-Based Temporal Constraints -- A Survey of Problem Difficulty in Genetic Programming -- Intelligent...”Accéder au texte intégral
Électronique
eBook
19
Publié 2007
Table des matières:
“... Composition -- Operational Semantics of Framed Temporal Logic Programs -- Constraints for Argument Filterings...”Accéder au texte intégral
Électronique
eBook
20
Publié 2011
Table des matières:
“... Engineering -- Modeling for Gesture Set Design Toward Realizing Effective Human-Vehicle Interface -- A Power...”Accéder au texte intégral
Électronique
eBook