OPAC

Theoretical Aspects of Software Engineering : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings / edited by Yamine Aït-Ameur, Florin Crăciun
(Lecture Notes in Computer Science. ISSN:16113349 ; 13299)

データ種別	電子ブック
版	1st ed. 2022.
出版者	(Cham : Springer International Publishing : Imprint: Springer)
出版年	2022
大きさ	XV, 426 p. 192 illus., 90 illus. in color : online resource
著者標目	Aït-Ameur, Yamine editor Crăciun, Florin editor SpringerLink (Online service)

URL	巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
URL		射水-電子	007	EB0002191	Computer Scinece R0 2005-6,2022-3				9783031103636

一般注記	Software Engineering -- Theoretical Computer Science in industrial applications -- Software Engineering Methodologies. Formal and theoretical software engineering methods and techniques This 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 HTTP:URL=https://doi.org/10.1007/978-3-031-10363-6
件　名	LCSH:Software engineering LCSH:Database management LCSH:Application software LCSH:Logic programming LCSH:Expert systems (Computer science) LCSH:Natural language processing (Computer science) FREE:Software Engineering FREE:Database Management FREE:Computer and Information Systems Applications FREE:Logic in AI FREE:Knowledge Based Systems FREE:Natural Language Processing (NLP)
分　類	LCC:QA76.758 DC23:005.1
書誌ID	EB00001579
ISBN	9783031103636