Computing and Software Science Computing and Software Science

Computing and Software Science

State of the Art and Perspectives

Bernhard Steffen & Gerhard Woeginger
    • $24.99
    • $24.99

Publisher Description

The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title “Computing and Software Science: State of the Art and Perspectives”.
They are organized in two parts:
The first part, Computation and Complexity, presents a collection of expository papers on fashionable themes in algorithmics, optimization, and complexity.
The second part, Methods, Languages and Tools for Future System Development, aims at sketching the methodological evolution that helps guaranteeing that future systems meet their increasingly critical requirements.

Chapter 3 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

GENRE
Computers & Internet
RELEASED
2019
October 4
LANGUAGE
EN
English
LENGTH
609
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
32.2
MB

More Books Like This

Formal Methods Formal Methods
Formal Methods
2023
ModelEd, TestEd, TrustEd ModelEd, TestEd, TrustEd
ModelEd, TestEd, TrustEd
2017
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
2020
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
2019
From Reactive Systems to Cyber-Physical Systems From Reactive Systems to Cyber-Physical Systems
From Reactive Systems to Cyber-Physical Systems
2019
AIxIA 2022 – Advances in Artificial Intelligence AIxIA 2022 – Advances in Artificial Intelligence
AIxIA 2022 – Advances in Artificial Intelligence
2023

More Books by Bernhard Steffen & Gerhard Woeginger

Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
2019
Bridging the Gap Between AI and Reality Bridging the Gap Between AI and Reality
Bridging the Gap Between AI and Reality
2023
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
2022
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
2022
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
2022
Leveraging Applications of Formal Methods, Verification and Validation. Practice Leveraging Applications of Formal Methods, Verification and Validation. Practice
Leveraging Applications of Formal Methods, Verification and Validation. Practice
2022