1
Udgivet 2007
Indholdsfortegnelse: ... -- Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters -- Modelling...
Få fuldtekst
Electronisk eBog
2
Udgivet 2012
Indholdsfortegnelse: ... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...
Få fuldtekst
Electronisk eBog
3
Udgivet 2005
Indholdsfortegnelse: ... Management -- 2/3 Alternating Simulation Between Interface Automata -- Development -- Formal Model-Driven...
Få fuldtekst
Electronisk eBog
4
Udgivet 2013
Indholdsfortegnelse: ... of Mathematics Teachers of the GIFT Program Using Success Case Methodology -- Cultivating an Interface Through...
Få fuldtekst
Electronisk eBog
5
Udgivet 2012
Indholdsfortegnelse: ... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...
Få fuldtekst
Electronisk eBog
6
Udgivet 2010
Indholdsfortegnelse: ... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...
Få fuldtekst
Electronisk eBog
7
Udgivet 2007
Indholdsfortegnelse: ... -- Developing Character Input Methods for Driver Information Systems -- Linguistic Analysis of Websites: A New...
Få fuldtekst
Electronisk eBog
8
Udgivet 2005
Indholdsfortegnelse: ... and How Usability Techniques and Activities Should Be Integrated -- Coping with Complexity -- Towards a...
Få fuldtekst
Electronisk eBog
9
Udgivet 2015
Indholdsfortegnelse: ... Valorisation -- Part III: Methods and Applications -- Global Optimization of Simulation Based Complex Systems...
Få fuldtekst
Electronisk eBog
10
Udgivet 2010
Indholdsfortegnelse: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
Få fuldtekst
Electronisk eBog
11
Udgivet 2014
Indholdsfortegnelse: ... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...
Få fuldtekst
Electronisk eBog
12
Udgivet 2011
Indholdsfortegnelse: ... Software Development Projects -- Classification of Software Projects' Complexity -- Application of Project...
Få fuldtekst
Electronisk eBog
13
Udgivet 2010
Indholdsfortegnelse: ...’ Information Retrieval Environment. -Genetic Programming Modeling and Complexity Analysis...
Få fuldtekst
Electronisk eBog
14
Fag: ...Developmental Psychology. https://scigraph.springernature.com/ontologies/product-market-codes/Y...
Få fuldtekst
Electronisk eBog
15
Udgivet 2007
Indholdsfortegnelse: ... Scheduling with a Tabu Search Strategy -- Nature-inspired methods -- Solving the Capacitated Multi-Facility...
Få fuldtekst
Electronisk eBog
16
Udgivet 2010
Indholdsfortegnelse: ... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...
Få fuldtekst
Electronisk eBog
17
Indholdsfortegnelse: ... for Interface Driven Architecture: Easing the Transition from Prototype to Application -- Development Tools...
Få fuldtekst
Electronisk eBog
18
Fag: ...Mechanical Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/T17004...
Få fuldtekst
Electronisk eBog
19
Fag: ...Mechanical Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/T17004...
Få fuldtekst
Electronisk eBog
20
Udgivet 2011
Indholdsfortegnelse: ... -- MicroRNA Northern Blotting, Precursor Cloning, and Ago2-Improved RNA Interference -- MiRNA Profiling...
Få fuldtekst
Electronisk eBog