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