Computing and Software Science
State of the Art and Perspectives
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…
Mehr
CHF 115.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V112:
Lieferbar in ca. 10-20 Arbeitstagen
Produktdetails
Weitere Autoren: Woeginger, Gerhard (Hrsg.)
- ISBN: 978-3-319-91907-2
- EAN: 9783319919072
- Produktnummer: 31949386
- Verlag: Springer Nature EN
- Sprache: Englisch
- Erscheinungsjahr: 2019
- Seitenangabe: 590 S.
- Masse: H23.5 cm x B15.5 cm 0 g
- Auflage: 1st ed. 2019
- Abbildungen: Farb., s/w. Abb.
- Reihenbandnummer: 10000
- Sonstiges: Research
48 weitere Werke von Bernhard (Hrsg.) Steffen:
SOFSEM 2017: Theory and Practice of Computer Science
State of the Art and Perspectives
State of the Art and Perspectives
Ebook (PDF Format)
CHF 94.50
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
State of the Art and Perspectives
State of the Art and Perspectives
Ebook (PDF Format)
CHF 97.00
Leveraging Applications of Formal Methods
State of the Art and Perspectives
State of the Art and Perspectives
Ebook (PDF Format)
CHF 87.00
Leveraging Applications of Formal Methods, Verification and Validation
State of the Art and Perspectives
State of the Art and Perspectives
Ebook (PDF Format)
CHF 93.50
Leveraging Applications of Formal Methods, Verification, and Validation
State of the Art and Perspectives
State of the Art and Perspectives
Ebook (PDF Format)
CHF 73.50
Model Checking, Synthesis, and Learning
State of the Art and Perspectives
State of the Art and Perspectives
Ebook (PDF Format)
CHF 68.50
Leveraging Applications of Formal Methods, Verification, and Validation
State of the Art and Perspectives
State of the Art and Perspectives
Ebook (PDF Format)
CHF 153.50
Leveraging Applications of Formal Methods, Verification, and Validation
State of the Art and Perspectives
State of the Art and Perspectives
Ebook (PDF Format)
CHF 120.00
Verification, Model Checking, and Abstract Interpretation
State of the Art and Perspectives
State of the Art and Perspectives
Ebook (PDF Format)
CHF 106.50
Leveraging Applications of Formal Methods, Verification and Validation
State of the Art and Perspectives
State of the Art and Perspectives
Ebook (PDF Format)
CHF 64.00
Leveraging Applications of Formal Methods, Verification and Validation
State of the Art and Perspectives
State of the Art and Perspectives
Ebook (PDF Format)
CHF 180.50
Transactions on Foundations for Mastering Change I
State of the Art and Perspectives
State of the Art and Perspectives
Ebook (PDF Format)
CHF 106.50
Leveraging Applications of Formal Methods, Verification and Validation
State of the Art and Perspectives
State of the Art and Perspectives
Ebook (PDF Format)
CHF 82.50
Bewertungen
Anmelden