Search alternatives:
theatre engineering » heat engineering, feature engineering, theory engineering
22heat engineering » heat engineering, sheet engineering, defect engineering

21
Published 2022
Springer Nature Switzerland
Table of Contents: ... -- Urban Heat Island Detection Utilizing Citizen Science -- Using a multi-sourced methodology to identify...

22
Published 2023
Springer Nature Switzerland
Table of Contents: ... Traon and Mike Papadakis A Modeling Concept for Formal Verification of OS-Based Compositional Software...

23
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... in Software Systems -- Patterns -- Formal Foundation for Pattern-Based Modelling -- Problem-Oriented...

24
Published 2017
Springer Berlin Heidelberg
Table of Contents: ... prototype tools -- Software Product Lines -- Family-Based Model Checking with mCRL2 -- Variability-specific...

25
Published 2015
Springer International Publishing
Table of Contents: ... ERT -- Carbon Dioxide Storage in Eastern Brandenburg: Implications for Synergetic Geothermal Heat...

26
Published 2019
Springer International Publishing
Table of Contents: ...FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool...

27
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... -- Reflection-Based, Aspect-Oriented Software Architecture -- Software Architecture Evolution through Dynamic...

28
Published 1980
Springer Berlin Heidelberg
Subjects: ...Software engineering...

29
Published 2016
Springer International Publishing
Table of Contents: ... Delivery of Software Features under Uncertainty -- Open Source in Requirements Engineering -- Do...

30
Published 1991
Springer Netherlands
Table of Contents: ... of Engineering Software -- Authors’ Index...

31
by Oquendo, Flavio
Published 2004
Springer Berlin Heidelberg
Subjects: ...Software engineering...

33
Published 2018
Springer International Publishing
Subjects: ...Software engineering...

34
Published 1974
Springer Berlin Heidelberg
Table of Contents: ...Optimal coupling of an incinerator plant to a district central heating system -- Computer control...

35
Published 2020
Springer International Publishing
Table of Contents: ... Software Engineering -- A Model-based Combination Language for Scheduling Verification -- Resolving...

36
Published 2019
Springer International Publishing
Table of Contents: ... Languages: Extended Case Study -- Technology Enhanced Support for Learning Interactive Software Systems...

37
Published 2023
Springer International Publishing
Subjects: ...Software engineering...

38
Published 1974
Springer Berlin Heidelberg
Table of Contents: ... and Software -- Un software de regulation numérique, regnum -- Ein DDA-Prozessrechner-Zusatz für...

39
Published 1999
Springer US
Table of Contents: ...Techniques and Methods for Software Architecture -- Architectural Concerns in Automating Code...

40
by Jazayeri, Mehdi
Published 1997
Springer Berlin Heidelberg
Subjects: ...Software engineering...