1
出版事項 2006
目次: ... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...
全文の入手
電子媒体 eBook
2
出版事項 2012
主題: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
全文の入手
電子媒体 eBook
3
出版事項 2011
目次: ...: Integrating Stochastic Programs and Policy Simulators -- Growth-Security Models and Stochastic Dominance...
全文の入手
電子媒体 eBook
4
出版事項 2014
目次: ... and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud -- Applying an Integrated...
全文の入手
電子媒体 eBook
5
出版事項 2013
目次: ... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...
全文の入手
電子媒体 eBook
6
出版事項 2005
目次: ... -- Distributed Constraint-Based Railway Simulation -- Declarative Programming and Web-Based Systems -- Concurrent...
全文の入手
電子媒体 eBook
7
出版事項 2007
目次: ... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...
全文の入手
電子媒体 eBook
8
出版事項 2006
目次: ... StateMachines -- Facilitating the Definition of General Constraints in UML -- Security -- Towards a MOF/QVT...
全文の入手
電子媒体 eBook
9
出版事項 2014
目次: ... for Constraint Solvers -- Lightweight State Capturing for Automated Testing of Multithreaded Programs -- How Test...
全文の入手
電子媒体 eBook
10
出版事項 2006
目次: ... Process Relationship -- Assessing 3-D Integrated Software Development Processes: A New Benchmark...
全文の入手
電子媒体 eBook
11
出版事項 2008
目次: ... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...
全文の入手
電子媒体 eBook
12
出版事項 2007
目次: ... Simulator Based on a Generic Model Execution Engine -- Queries and Constraints: A Comprehensive Semantic...
全文の入手
電子媒体 eBook
13
出版事項 2005
目次: ... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...
全文の入手
電子媒体 eBook
14
出版事項 2005
目次: ... for Reconfigurable Packet Processing -- Processor Architectures, Design and Simulation -- Flux Caches: What...
全文の入手
電子媒体 eBook
15
出版事項 2007
目次: ...Keynotes -- Software Is the Answer But What Is the Question? -- Integrating VLIW Processors with a...
全文の入手
電子媒体 eBook
16
出版事項 2012
目次: ... Security Constraints -- Customizing protocol specifications for detecting resource exhaustion and guessing...
全文の入手
電子媒体 eBook
17
出版事項 2010
目次: ... to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO...
全文の入手
電子媒体 eBook
18
出版事項 2008
目次: ... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...
全文の入手
電子媒体 eBook
19
出版事項 2007
目次: ... -- An Approach to Software Evolution Based on Semantic Change -- A Simulation-Oriented Formalization for a...
全文の入手
電子媒体 eBook
20
出版事項 2010
目次: ...-Neuron Model of the Oculomotor System -- An Integrated Neuromimetic Model of the Saccadic Eye Movements...
全文の入手
電子媒体 eBook