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