1
出版事項 2012
目次: ... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...
全文の入手
電子媒体 eBook
2
出版事項 2005
目次: ... Management -- 2/3 Alternating Simulation Between Interface Automata -- Development -- Formal Model-Driven...
全文の入手
電子媒体 eBook
3
出版事項 2013
目次: ... of Mathematics Teachers of the GIFT Program Using Success Case Methodology -- Cultivating an Interface Through...
全文の入手
電子媒体 eBook
4
出版事項 2012
目次: ... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...
全文の入手
電子媒体 eBook
5
出版事項 2010
目次: ... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...
全文の入手
電子媒体 eBook
6
出版事項 2007
目次: ... -- Developing Character Input Methods for Driver Information Systems -- Linguistic Analysis of Websites: A New...
全文の入手
電子媒体 eBook
7
出版事項 2005
目次: ... and How Usability Techniques and Activities Should Be Integrated -- Coping with Complexity -- Towards a...
全文の入手
電子媒体 eBook
8
出版事項 2015
目次: ... Valorisation -- Part III: Methods and Applications -- Global Optimization of Simulation Based Complex Systems...
全文の入手
電子媒体 eBook
9
出版事項 2010
目次: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
全文の入手
電子媒体 eBook
10
出版事項 2014
目次: ... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...
全文の入手
電子媒体 eBook
11
出版事項 2011
目次: ... Software Development Projects -- Classification of Software Projects' Complexity -- Application of Project...
全文の入手
電子媒体 eBook
12
出版事項 2010
目次: ...’ Information Retrieval Environment. -Genetic Programming Modeling and Complexity Analysis...
全文の入手
電子媒体 eBook
13
出版事項 2007
目次: ... Scheduling with a Tabu Search Strategy -- Nature-inspired methods -- Solving the Capacitated Multi-Facility...
全文の入手
電子媒体 eBook
14
出版事項 2010
目次: ... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...
全文の入手
電子媒体 eBook
15
著者: Hollenstein, Tom., Hollenstein, Tom.
出版事項 2013
主題: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
全文の入手
電子媒体 eBook
16
主題: ...Mechanical Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/T17004...
全文の入手
電子媒体 eBook
17
主題: ...Mechanical Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/T17004...
全文の入手
電子媒体 eBook
18
目次: ... for Interface Driven Architecture: Easing the Transition from Prototype to Application -- Development Tools...
全文の入手
電子媒体 eBook
19
出版事項 2007
目次: ...Fault Tolerance -- On Fault Tolerance in Law-Governed Multi-agent Systems -- On Developing Open...
全文の入手
電子媒体 eBook
20
出版事項 2005
目次: ... Process to Meet Agile Needs Using Method Engineering -- A Generative Approach for Multi-agent System...
全文の入手
電子媒体 eBook