Computing and Software Science
Springer International Publishing (Verlag)
978-3-319-91907-2 (ISBN)
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.
Computation and Complexity.- Methods, Languages and Tools for Future System Development.
| Erscheinungsdatum | 25.06.2018 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
| Zusatzinfo | XIX, 590 p. 774 illus., 54 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 926 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Schlagworte | Algorithm analysis and problem complexity • Applications • Artificial Intelligence • Computer Architecture • Computer Science • computer software selection and evaluation • conference proceedings • Hardware • Informatics • Internet • Model Checking • Problem Solving • program compilers • Programming language • Research • Semantics • Software engineering • verification |
| ISBN-10 | 3-319-91907-5 / 3319919075 |
| ISBN-13 | 978-3-319-91907-2 / 9783319919072 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
