Menade du:
proceedings program » proceedings from
integration python » integration action, integration mrthod, integration methods
integration method » integration methods, iteration method, generation method
program change » program changing, program chapter, program charles
https » http
1
Publicerad 2010
Innehållsförteckning: ...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2014
Innehållsförteckning: ... for Mastering Change: Preliminary Manifesto -- XII Table of Contents – Part I Formal Methods for Collective...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2006
Innehållsförteckning: ... Process Relationship -- Assessing 3-D Integrated Software Development Processes: A New Benchmark...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2010
Ämnen: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2012
Innehållsförteckning: ... Integration in the Networked Healthcare.- Simple Modeling of Executable Role-Based Workflows: An Application...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2012
Innehållsförteckning: ... Programming Language for Provably Correct Dynamic Analyses.- Eternal Embedded Software: Towards Innovation...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2015
Innehållsförteckning: ... School: Review of overall reliability and the domains assessed -- 20 Developing a new method of mobile...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2014
Innehållsförteckning: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2006
Innehållsförteckning: ...Foundation and Rationale for Agile Methods -- A Distributed Cognition Account of Mature XP Teams...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2007
Innehållsförteckning: ... Programming -- Methods and Tools -- A Metamodel for Modeling and Measuring Scrum Development Process...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2007
Innehållsförteckning: ... -- Segmentation of Sequences of Stereoscopic Images for Modelling Artificial Muscles -- A Support Vector Method...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2012
Innehållsförteckning: ...: Numerical Convergence Results -- The COS Method for Pricing Options under Uncertain Volatility -- Fast...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2015
Innehållsförteckning: ... Engineering Education: The Role of Engineering Educators in Making Meaningful Change -- ORAL PAPERS...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2006
Innehållsförteckning: ... complex in the case of infinite Morse indices -- 3.1 The program.-3.2 Fredholm pairs and compact...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2008
Innehållsförteckning: ... of a Level-Set Method in Gas-Liquid Interfacial Flows -- Modelling the Aerodynamics of Coaxial...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2014
Innehållsförteckning: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2010
Innehållsförteckning: ... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2015
Innehållsförteckning: ... by Modified Variational Iteration Method -- Impact of Climate Change on Regionalization Using Fuzzy Clustering...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2008
Innehållsförteckning: ... -- Recommendation Based Process Modeling Support: Method and User Experience -- On the Formal Semantics of Change...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2006
Innehållsförteckning: ...COTS Selection, Integration -- A Goal-Oriented Strategy for Supporting Commercial Off-the-Shelf...
Hämta fulltext
Elektronisk E-bok