000 | 03181nam a22006255i 4500 | ||
---|---|---|---|
001 | 978-3-031-10363-6 | ||
003 | DE-He213 | ||
005 | 20240730175053.0 | ||
007 | cr nn 008mamaa | ||
008 | 220701s2022 sz | s |||| 0|eng d | ||
020 |
_a9783031103636 _9978-3-031-10363-6 |
||
024 | 7 |
_a10.1007/978-3-031-10363-6 _2doi |
|
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
072 | 7 |
_aUMZ _2thema |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aTheoretical Aspects of Software Engineering _h[electronic resource] : _b16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings / _cedited by Yamine Aït-Ameur, Florin Crăciun. |
250 | _a1st ed. 2022. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2022. |
|
300 |
_aXV, 426 p. 192 illus., 90 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v13299 |
|
505 | 0 | _aSoftware Engineering -- Theoretical Computer Science in industrial applications -- Software Engineering Methodologies. Formal and theoretical software engineering methods and techniques. | |
520 | _aThis book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques. | ||
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aDatabase management. _93157 |
|
650 | 0 |
_aApplication software. _9115300 |
|
650 | 0 |
_aLogic programming. _92730 |
|
650 | 0 |
_aExpert systems (Computer science). _93392 |
|
650 | 0 |
_aNatural language processing (Computer science). _94741 |
|
650 | 1 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aDatabase Management. _93157 |
650 | 2 | 4 |
_aComputer and Information Systems Applications. _9115301 |
650 | 2 | 4 |
_aLogic in AI. _933012 |
650 | 2 | 4 |
_aKnowledge Based Systems. _979172 |
650 | 2 | 4 |
_aNatural Language Processing (NLP). _931587 |
700 | 1 |
_aAït-Ameur, Yamine. _eeditor. _0(orcid) _10000-0003-4582-9712 _4edt _4http://id.loc.gov/vocabulary/relators/edt _9115302 |
|
700 | 1 |
_aCrăciun, Florin. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9115303 |
|
710 | 2 |
_aSpringerLink (Online service) _9115304 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783031103629 |
776 | 0 | 8 |
_iPrinted edition: _z9783031103643 |
830 | 0 |
_aLecture Notes in Computer Science, _x1611-3349 ; _v13299 _923263 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-031-10363-6 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c89766 _d89766 |