LEADER 03251nam  22007215  450 
001 996466446103316
005 20230411163954.0
010   $a3-319-91908-3
024 7 $a10.1007/978-3-319-91908-9
035   $a(CKB)4100000009453341
035   $a(DE-He213)978-3-319-91908-9
035   $a(MiAaPQ)EBC5925263
035   $a(PPN)242849474
035   $a(EXLCZ)994100000009453341
100   $a20191004d2019      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aComputing and Software Science$b[electronic resource] $eState of the Art and Perspectives /$fedited by Bernhard Steffen, Gerhard Woeginger
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (XIX, 590 p. 774 illus., 54 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10000
311   $a3-319-91907-5 
320   $aIncludes bibliographical references and index.
330   $aThe 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10000
606   $aComputer science
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aElectronic digital computers?Evaluation
606   $aAlgorithms
606   $aArtificial intelligence
606   $aComputer Science
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aSystem Performance and Evaluation
606   $aAlgorithms
606   $aArtificial Intelligence
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aElectronic digital computers?Evaluation.
615  0$aAlgorithms.
615  0$aArtificial intelligence.
615 14$aComputer Science.
615 24$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aSystem Performance and Evaluation.
615 24$aAlgorithms.
615 24$aArtificial Intelligence.
676   $a004
702   $aSteffen$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWoeginger$b Gerhard$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466446103316
996   $aComputing and Software Science$92536094
997   $aUNISA