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