東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Concurrency, specification and progr...

International Workshop Concurrency, Specification, and Programming (2021 :)

FindBook

Google Book

Amazon

博客來

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

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Concurrency, specification and programming/ edited 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.
團體作者:	International Workshop Concurrency, Specification, and Programming
出版者:	Cham :Springer International Publishing : : 2023.,
面頁冊數:	xii, 231 p. :ill., digital ;24 cm.
內容註:	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.
Contained By:	Springer Nature eBook
標題:	Computer multitasking - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-031-26651-5
ISBN:	9783031266515

Concurrency, specification and programming = revised 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. 1091..

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

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

1071345
Computer multitasking
--Congresses.

LC Class. No.: QA76.6

Dewey Class. No.: 005.434

Concurrency, specification and programming = revised selected papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany /
LDR:02342nmm a2200349 a 4500 001 2317684
003 DE-He213
005 20230504180125.0
006 m d
007 cr nn 008maaau
008 230902s2023 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 $a International Workshop Concurrency, Specification, and Programming $n (29th : $d 2021 : $c Berlin, Germany) $3 3632036
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 1071345
650 0 $a Computer programming $v Congresses. $3 840468
650 1 4 $a Computational Intelligence. $3 1001631
650 2 4 $a Data Engineering. $3 3409361
700 1 $a Schlingloff, Bernd-Holger. $3 3632037
700 1 $a Vogel, Thomas. $3 3632038
700 1 $a Skowron, Andrzej. $3 577804
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Studies in computational intelligence ; $v v. 1091. $3 3632039
856 4 0 $u https://doi.org/10.1007/978-3-031-26651-5
950 $a Intelligent Technologies and Robotics (SpringerNature-42732)