國立高雄大學圖資館 |

登入

回首頁

Concurrency, specification and programmingrevised selected papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Concurrency, specification and programmingedited by Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron.
其他題名:	revised selected papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany /
其他題名:	CS&P 2021
其他作者:	Schlingloff, Bernd-Holger.
團體作者:
出版者:	Cham :Springer International Publishing :2023.
面頁冊數:	xii, 231 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Computer multitaskingCongresses.
電子資源:	https://doi.org/10.1007/978-3-031-26651-5
ISBN:	9783031266515$q(electronic bk.)

Concurrency, specification and programmingrevised selected papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany /
Concurrency, specification and programmingrevised selected papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany /[electronic resource] :CS&P 2021edited by Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron. - Cham :Springer International Publishing :2023. - xii, 231 p. :ill., digital ;24 cm. - Studies in computational intelligence,v. 10911860-9503 ;. - Studies in computational intelligence ;v. 216..

Natural Language Processing for Requirements Formalization: How to Derive New Approaches? -- Left Recursion by Recursive Ascent -- An Example of Computation in Interactive Granular Computing -- Extended Future in Testing Semantics for Time Petri Nets -- Toward Recommender Systems Scalability and Efficacy.

This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. A special emphasis is on methods based on artificial intelligence and machine learning techniques. Chapters are revised selected papers from the 29th International Workshop on Concurrency, Specification, and Programming (CS&P 2021), Berlin, Germany. Nine independent chapters cover formal approaches to topics such as requirements formalization, parsing, or granular computing, as well as their applications in recommender systems, decision making, security, optimization, and other areas. The book thus addresses both researchers and practitioners in its field.

ISBN: 9783031266515$q(electronic bk.)

Standard No.: 10.1007/978-3-031-26651-5doiSubjects--Topical Terms:

384470
Computer multitasking
--Congresses.

LC Class. No.: QA76.6

Dewey Class. No.: 005.434

Concurrency, specification and programmingrevised selected papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany /
LDR:02342nmm a2200349 a 4500 001 643213
003 DE-He213
005 20230504180125.0
006 m d
007 cr nn 008maaau
008 231123s2023 sz s 0 eng d
020 $a 9783031266515$q(electronic bk.)
020 $a 9783031266508$q(paper)
024 7 $a 10.1007/978-3-031-26651-5 $2 doi
035 $a 978-3-031-26651-5
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.6
072 7 $a UYQ $2 bicssc
072 7 $a TEC009000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 005.434 $2 23
090 $a QA76.6 $b .I61 2021
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Concurrency, specification and programming $h [electronic resource] : $b revised selected papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany / $c edited by Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron.
246 3 $a CS&P 2021
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2023.
300 $a xii, 231 p. : $b ill., digital ; $c 24 cm.
490 1 $a Studies in computational intelligence, $x 1860-9503 ; $v v. 1091
505 0 $a Natural Language Processing for Requirements Formalization: How to Derive New Approaches? -- Left Recursion by Recursive Ascent -- An Example of Computation in Interactive Granular Computing -- Extended Future in Testing Semantics for Time Petri Nets -- Toward Recommender Systems Scalability and Efficacy.
520 $a This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. A special emphasis is on methods based on artificial intelligence and machine learning techniques. Chapters are revised selected papers from the 29th International Workshop on Concurrency, Specification, and Programming (CS&P 2021), Berlin, Germany. Nine independent chapters cover formal approaches to topics such as requirements formalization, parsing, or granular computing, as well as their applications in recommender systems, decision making, security, optimization, and other areas. The book thus addresses both researchers and practitioners in its field.
650 0 $a Computer multitasking $v Congresses. $3 384470
650 0 $a Computer programming $v Congresses. $3 384564
650 1 4 $a Computational Intelligence. $3 338479
650 2 4 $a Data Engineering. $3 839346
700 1 $a Schlingloff, Bernd-Holger. $3 950761
700 1 $a Vogel, Thomas. $3 950762
700 1 $a Skowron, Andrzej. $3 208238
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Studies in computational intelligence ; $v v. 216. $3 380871
856 4 0 $u https://doi.org/10.1007/978-3-031-26651-5
950 $a Intelligent Technologies and Robotics (SpringerNature-42732)