000 04365nam a22006375i 4500
001 978-3-319-73117-9
003 DE-He213
005 20240423130111.0
007 cr nn 008mamaa
008 171222s2018 sz | s |||| 0|eng d
020 _a9783319731179
_9978-3-319-73117-9
024 7 _a10.1007/978-3-319-73117-9
_2doi
050 4 _aQA76.9.A43
072 7 _aUMB
_2bicssc
072 7 _aCOM051300
_2bisacsh
072 7 _aUMB
_2thema
082 0 4 _a518.1
_223
245 1 0 _aSOFSEM 2018: Theory and Practice of Computer Science
_h[electronic resource] :
_b44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings /
_cedited by A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiří Wiedermann.
250 _a1st ed. 2018.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Edizioni della Normale,
_c2018.
300 _aXV, 698 p. 141 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v10706
505 0 _aFoundations of computer science -- Software engineering: advances methods, applications, and tools -- Data, information and knowledge engineering -- Network science and parameterized complexity -- Model-based software engineering -- Computational models and complexity -- Software quality assurance and transformation -- Graph structure and computation -- Business processes, protocols, and mobile networks -- Mobile robots and server systems -- Automata, complexity, completeness -- Recognition and generation -- Optimization, probabilistic analysis, and sorting -- Filters, configurations, and picture encoding -- Machine learning -- Text searching algorithms -- Data model engineering.
520 _aThis book constitutes the refereed proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2018, held in Krems, Austria, in January/February 2018. The 48 papers presented in this volume were carefully reviewed and selected from 97 submissions. They were organized in topical sections named: foundations of computer science; software engineering: advances methods, applications, and tools; data, information and knowledge engineering; network science and parameterized complexity; model-based software engineering; computational models and complexity; software quality assurance and transformation; graph structure and computation; business processes, protocols, and mobile networks; mobile robots and server systems; automata, complexity, completeness; recognition and generation; optimization, probabilistic analysis, and sorting; filters, configurations, and picture encoding; machine learning; text searching algorithms; anddata model engineering.
650 0 _aAlgorithms.
650 0 _aApplication software.
650 0 _aSoftware engineering.
650 0 _aArtificial intelligence.
650 0 _aCompilers (Computer programs).
650 1 4 _aAlgorithms.
650 2 4 _aComputer and Information Systems Applications.
650 2 4 _aSoftware Engineering.
650 2 4 _aArtificial Intelligence.
650 2 4 _aCompilers and Interpreters.
700 1 _aTjoa, A Min.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aBellatreche, Ladjel.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aBiffl, Stefan.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _avan Leeuwen, Jan.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aWiedermann, Jiří.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319731162
776 0 8 _iPrinted edition:
_z9783319731186
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v10706
856 4 0 _uhttps://doi.org/10.1007/978-3-319-73117-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c185051
_d185051