1
2
by Lambers, Leen.
Published 2023
Format:
Table of Contents: ... Formalism -- 2.2 Model Counting -- 3 The Goal-Conict Resolution Problem -- 4 ACoRe: Automated Goal-Conict...
Click to View
3
by Gruhn, Volker.
Published 2018
Format:
Table of Contents: ... is (like?) software development: -- 2.2.1 Measurement of Laws -- 2.3 Recipes are software -- 2...
Click to View
4
by Goericke, Stephan.
Published 2019
Format:
Table of Contents: ... Conclusions -- References -- Developing Software Quality and Testing Capabilities in Hispanic America...
Click to View
5
6
7
by Felderer, Michael.
Published 2022
Format:
Table of Contents: ...Intro -- Contents -- Ernst Denert Software Engineering Award 2020 -- 1 Introduction -- 2 Overview...
Click to View
8
9
by Cohen, Ryan.
Published 2014
Format:
Table of Contents: ... Hardware and Software -- Power Constraints -- Difficult Development and Debugging -- Typical Architecture...
Click to View
10
11
by Yuan, Philip F.
Published 2021
Format:
Table of Contents: ... Introduction -- 2 Related Work -- 2.1 Image Generation Research via GAN in Computer Science -- 2.2 Plan Drawing...
Click to View
12
by Anisimov, K. V.
Published 2017
Format:
Table of Contents: ... -- References -- 11 Development of Pulsed Solid-State Generators of Millimeter and Submillimeter Wavelengths...
Click to View
13
by Hadjiantonis, Antonis M.
Published 2012
Format:
Table of Contents: ... Assessment Methodology -- Metrics and Measurement Problems -- Towards a Computerized Risk Management...
Click to View
14
by Karner, Michael.
Published 2024
Format:
Table of Contents: ... Problem Statement -- 3 VehicleCAPTAIN-A V2X Platform for Research and Development -- 3.1 The Platform -- 3...
Click to View
15
by Lu, Wei.
Published 2021
Format:
Table of Contents: ... Conclusion and Future Work -- References -- Research on the Development Route of International Communication...
Click to View
16
by Berthold, Michael R.
Published 2012
Format:
Table of Contents: ... -- Computational Creativity -- Koestler's Concept of Bisociation -- Elements of Bisociative Computational...
Click to View
17
by Shim, Jae K.
Published 2012
Format:
Table of Contents: ... Software Packages and E-Budgeting: Computer-based Models, Spreadsheets, and Web-based System.Chapter 20...
Click to View
18
by Bhushan, Bharat.
Published 2023
Format:
Table of Contents: ...Intro -- Preface -- Contents -- Editors and Contributors -- 1 Evolution of Next-Generation...
Click to View
19
by Taha, Walid M.
Published 2020
Format:
Table of Contents: ... Systems -- 1.2.2 Examples -- 1.2.3 Computational vs. Physical Systems -- 1.2.4 Biological and Intelligent...
Click to View
20
by Schüppstuhl, Thorsten.
Published 2020
Format:
Table of Contents: ... into reworking -- 4.1 Scope of functions within the Virtual Environment -- 4.2 Development and setup of a...
Click to View