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