1
by Pientka, Brigitte.
Published 2023
Format:
Table of Contents: ... with Communicating Hybrid Programs -- 1 Introduction -- 2 Dynamic Logic of Communicating Hybrid Programs -- 2...
Click to View
2
by Kim, Kyoung-Yun.
Published 2022
Format:
Table of Contents: ... Program Chairs -- Industrial Program Chairs -- Communication and Media Chairs -- Conference Managers...
Click to View
3
4
5
by Su, Wencong.
Published 2018
Format:
Table of Contents: ... -- 1.1.3 Data acquisition in the legacy power system and Energy Internet network -- 1.2 Energy...
Click to View
6
7
8
9
10
by Cohen, Ryan.
Published 2014
Format:
Table of Contents: ... Application Development -- Development Environment of Android Applications -- Cross-Development -- Programming...
Click to View
11
12
by Ravichandran, Aruna.
Published 2016
Format:
Table of Contents: ... -- Summary -- Chapter 2: IT Impasse -- A World of 'Wicked' Business Problems -- The Emergence of Agile...
Click to View
13
by Domingue, John.
Published 2011
Format:
Table of Contents: ... Problems of the Mobile Internet -- Evolution of Flat Architectures -- Distributed Mobility Management...
Click to View
14
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
15
by Schüppstuhl, Thorsten.
Published 2023
Format:
Table of Contents: ... on Sensitive Robotics and Deep Recurrent Q-Learning -- 1 Introduction -- 2 State of the Art -- 3 Problem...
Click to View
16
by Goericke, Stephan.
Published 2019
Format:
Table of Contents: ....8 The (Current) Problem with Certification -- 3 The Tester Skills Program -- 3.1 Skills Focus -- 3.2 New Tester...
Click to View
17
by Schüppstuhl, Thorsten.
Published 2021
Format:
Table of Contents: ....4 Planners -- 4.5 Automated Planning and Acting -- 5 Extension of the Modeling Technique -- 6 Developed...
Click to View
18
by Sadowski, Caitlin.
Published 2019
Format:
Table of Contents: ... Model -- Correlation of COSMIC Sizes with Development Effort -- Automated COSMIC Size Measurement...
Click to View
19
by Schüppstuhl, Thorsten.
Published 2020
Format:
Table of Contents: ... Concepts -- 3 Concept and Development -- 3.1 Qualification Requirements for Industrial Data Science -- 3...
Click to View
20
by Altman, Russ B.
Published 2009
Format:
Table of Contents: ... NONCODING RNA DETECTION -- IDENTIFICATION AND CLASSIFICATION OF SMALL RNAS IN TRANSCRIPTOME SEQUENCE DATA...
Click to View