Computing and Software Science
State of the Art and Perspectives
-
- $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
Tools and Algorithms for the Construction and Analysis of Systems
2019
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
2018
Let’s Talk AI
2025
Bridging the Gap Between AI and Reality
2025
Bridging the Gap Between AI and Reality
2025
Formal Methods for Industrial Critical Systems
2025