東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Concurrency, specification and progr...

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

Linked to 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 /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Concurrency, specification and programming/ edited by Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron.
Reminder of title:	revised selected papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany /
remainder title:	CS&P 2021
other author:	Schlingloff, Bernd-Holger.
corporate name:	International Workshop Concurrency, Specification, and Programming
Published:	Cham :Springer International Publishing : : 2023.,
Description:	xii, 231 p. :ill., digital ;24 cm.
[NT 15003449]:	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
Subject:	Computer multitasking - Congresses. -
Online resource:	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)