| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466446103316 |
|
|
Titolo |
Computing and Software Science [[electronic resource] ] : State of the Art and Perspectives / / edited by Bernhard Steffen, Gerhard Woeginger |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2019.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIX, 590 p. 774 illus., 54 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 10000 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Software engineering |
Compilers (Computer programs) |
Electronic digital computers—Evaluation |
Algorithms |
Artificial intelligence |
Computer Science |
Software Engineering |
Compilers and Interpreters |
System Performance and Evaluation |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
| |