1
出版事項 2008
目次: ...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...
全文の入手
電子媒体 eBook
2
出版事項 2006
目次: ... Analysis -- Regular Papers -- Infinite Qualitative Simulations by Means of Constraint Programming...
全文の入手
電子媒体 eBook
3
出版事項 2014
目次: ... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...
全文の入手
電子媒体 eBook
4
出版事項 2007
目次: ... for Constraint Satisfaction Problems -- On the Power of k-Consistency -- Complexity of Propositional Proofs Under...
全文の入手
電子媒体 eBook
5
出版事項 2005
目次: ...: A Practical Solution Incorporating Constraint Programming and Heuristics -- An Interactive Tool...
全文の入手
電子媒体 eBook
6
出版事項 2006
目次: ... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...
全文の入手
電子媒体 eBook
7
出版事項 2015
目次: ... Consistency: An Experience Report on a Middle-Sized Case Study -- A constraint optimization model for analysis...
全文の入手
電子媒体 eBook
8
出版事項 2010
目次: ... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...
全文の入手
電子媒体 eBook
9
出版事項 2008
目次: ... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...
全文の入手
電子媒体 eBook
10
出版事項 2007
目次: ... Simulator Based on a Generic Model Execution Engine -- Queries and Constraints: A Comprehensive Semantic...
全文の入手
電子媒体 eBook
11
出版事項 2008
目次: ... and Scheduling Modeling Tool: The Workflow Patterns Approach -- Constraint Satisfaction and Optimization -- A...
全文の入手
電子媒体 eBook
12
出版事項 2008
目次: ... Simulators to Analysis Models -- Conceptual Models, UML -- Orthographic Modeling Environment -- HOL-OCL: A...
全文の入手
電子媒体 eBook
13
出版事項 2014
目次: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
全文の入手
電子媒体 eBook
14
出版事項 2010
目次: ... of Robot-Environment Interaction Have a Meaning? -- Information Dynamics of Evolved Agents -- Taming...
全文の入手
電子媒体 eBook
15
出版事項 2012
目次: ...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...
全文の入手
電子媒体 eBook
16
出版事項 2007
目次: ... Systems -- Organization Oriented Programming: From Closed to Open Organizations -- Analysis, Design...
全文の入手
電子媒体 eBook
17
出版事項 2007
目次: ... Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context...
全文の入手
電子媒体 eBook
18
出版事項 2012
目次: ... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...
全文の入手
電子媒体 eBook
19
出版事項 2014
目次: ... Prediction -- Multi-context logics-a general introduction -- Constraint programming for context comprehension...
全文の入手
電子媒体 eBook
20
出版事項 2008
目次: ... Evacuation Simulations -- A Multi-agent Environment for Serving Proof Explanations in the Semantic Web -- A...
全文の入手
電子媒体 eBook