Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
programming programmed » processing programmed
simulation programming » simulation program, recreation programming, simulation gaming
programmed constraints » programming constraints, programs constraints, programming constraint
integrated simulation » interactive simulation, integrated navigation
constraints https » constraints haptic, constraints data, constraints chap
programming programmed » processing programmed
simulation programming » simulation program, recreation programming, simulation gaming
programmed constraints » programming constraints, programs constraints, programming constraint
integrated simulation » interactive simulation, integrated navigation
constraints https » constraints haptic, constraints data, constraints chap
1
Gepubliceerd in 2006
Inhoudsopgave:
“... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2012
Onderwerpen:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Volledige tekst
Elektronisch
E-boek
3
Gepubliceerd in 2011
Inhoudsopgave:
“...: Integrating Stochastic Programs and Policy Simulators -- Growth-Security Models and Stochastic Dominance...”Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2014
Inhoudsopgave:
“... and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud -- Applying an Integrated...”Volledige tekst
Elektronisch
E-boek
5
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Gepubliceerd in 2013
Inhoudsopgave:
“... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”Volledige tekst
Elektronisch
E-boek
6
Gepubliceerd in 2005
Inhoudsopgave:
“... -- Distributed Constraint-Based Railway Simulation -- Declarative Programming and Web-Based Systems -- Concurrent...”Volledige tekst
Elektronisch
E-boek
7
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...
Gepubliceerd in 2007
Inhoudsopgave:
“... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”Volledige tekst
Elektronisch
E-boek
8
Gepubliceerd in 2006
Inhoudsopgave:
“... StateMachines -- Facilitating the Definition of General Constraints in UML -- Security -- Towards a MOF/QVT...”Volledige tekst
Elektronisch
E-boek
9
Gepubliceerd in 2014
Inhoudsopgave:
“... for Constraint Solvers -- Lightweight State Capturing for Automated Testing of Multithreaded Programs -- How Test...”Volledige tekst
Elektronisch
E-boek
10
Gepubliceerd in 2006
Inhoudsopgave:
“... Process Relationship -- Assessing 3-D Integrated Software Development Processes: A New Benchmark...”Volledige tekst
Elektronisch
E-boek
11
Gepubliceerd in 2008
Inhoudsopgave:
“... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”Volledige tekst
Elektronisch
E-boek
12
Gepubliceerd in 2007
Inhoudsopgave:
“... Simulator Based on a Generic Model Execution Engine -- Queries and Constraints: A Comprehensive Semantic...”Volledige tekst
Elektronisch
E-boek
13
Gepubliceerd in 2005
Inhoudsopgave:
“... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”Volledige tekst
Elektronisch
E-boek
14
Gepubliceerd in 2005
Inhoudsopgave:
“... for Reconfigurable Packet Processing -- Processor Architectures, Design and Simulation -- Flux Caches: What...”Volledige tekst
Elektronisch
E-boek
15
Gepubliceerd in 2007
Inhoudsopgave:
“...Keynotes -- Software Is the Answer But What Is the Question? -- Integrating VLIW Processors with a...”Volledige tekst
Elektronisch
E-boek
16
Gepubliceerd in 2012
Inhoudsopgave:
“... Security Constraints -- Customizing protocol specifications for detecting resource exhaustion and guessing...”Volledige tekst
Elektronisch
E-boek
17
Gepubliceerd in 2010
Inhoudsopgave:
“... to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO...”Volledige tekst
Elektronisch
E-boek
18
Gepubliceerd in 2008
Inhoudsopgave:
“... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”Volledige tekst
Elektronisch
E-boek
19
Gepubliceerd in 2007
Inhoudsopgave:
“... -- An Approach to Software Evolution Based on Semantic Change -- A Simulation-Oriented Formalization for a...”Volledige tekst
Elektronisch
E-boek
20
Gepubliceerd in 2010
Inhoudsopgave:
“...-Neuron Model of the Oculomotor System -- An Integrated Neuromimetic Model of the Saccadic Eye Movements...”Volledige tekst
Elektronisch
E-boek