東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

FindBook

Google Book

Amazon

博客來

Foundations of software science and computation structures = 27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.. Part I /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Foundations of software science and computation structures/ edited by Naoki Kobayashi, James Worrell.
其他題名:	27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.
其他題名:	FOSSACS 2024
其他作者:	Kobayashi, Naoki.
團體作者:	FOSSACS (Conference)
出版者:	Cham :Springer Nature Switzerland : : 2024.,
面頁冊數:	xvi, 280 p. :ill. (some col.), digital ;24 cm.
內容註:	Invited Talk -- Ackermannian Completion of Separators -- Infinite Games -- Fair Omega-regular Games -- Stochastic Window Mean-Payoff Games -- Symbolic Solution of Emerson-Lei Games for Reactive Synthesis -- Parity Games on Temporal Graphs -- Categorical Semantics -- Drawing from an Urn is Isometric -- Enriching Diagrams with Algebraic Operations -- Monoidal Extended Stone Duality -- Towards a Compositional Framework for Convex Analysis (with Applications to Probability Theory) -- Automata and Synthesis -- Determinization of Integral Discounted-Sum Automata is Decidable -- Checking History-Determinism is NP-hard for Parity Automata -- Tighter Construction of Tight Büchi Automata -- Synthesis with Privacy Against an Observer.
Contained By:	Springer Nature eBook
標題:	Computer software - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-031-57228-9
ISBN:	9783031572289

Foundations of software science and computation structures = 27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.. Part I /
Foundations of software science and computation structures27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part I /[electronic resource] :FOSSACS 2024edited by Naoki Kobayashi, James Worrell. - Cham :Springer Nature Switzerland :2024. - xvi, 280 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,145741611-3349 ;. - Lecture notes in computer science ;14574..

Invited Talk -- Ackermannian Completion of Separators -- Infinite Games -- Fair Omega-regular Games -- Stochastic Window Mean-Payoff Games -- Symbolic Solution of Emerson-Lei Games for Reactive Synthesis -- Parity Games on Temporal Graphs -- Categorical Semantics -- Drawing from an Urn is Isometric -- Enriching Diagrams with Algebraic Operations -- Monoidal Extended Stone Duality -- Towards a Compositional Framework for Convex Analysis (with Applications to Probability Theory) -- Automata and Synthesis -- Determinization of Integral Discounted-Sum Automata is Decidable -- Checking History-Determinism is NP-hard for Parity Automata -- Tighter Construction of Tight Büchi Automata -- Synthesis with Privacy Against an Observer.

Open access.

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024. The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.

ISBN: 9783031572289

Standard No.: 10.1007/978-3-031-57228-9doiSubjects--Topical Terms:

696751
Computer software
--Congresses.

LC Class. No.: QA76.751 / .F67 2024

Dewey Class. No.: 005.1

Foundations of software science and computation structures = 27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.. Part I /
LDR:02657nmm a2200373 a 4500 001 2369827
003 DE-He213
005 20240404125704.0
006 m d
007 cr nn 008maaau
008 241127s2024 sz s 0 eng d
020 $a 9783031572289 $q (electronic bk.)
020 $a 9783031572272 $q (paper)
024 7 $a 10.1007/978-3-031-57228-9 $2 doi
035 $a 978-3-031-57228-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.751 $b .F67 2024
072 7 $a UYA $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 005.1 $2 23
090 $a QA76.751 $b .F751 2024
111 2 $a FOSSACS (Conference) $n (27th : $d 2024 : $c Luxembourg, Luxembourg) $3 3714779
245 1 0 $a Foundations of software science and computation structures $h [electronic resource] : $b 27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings. $n Part I / $c edited by Naoki Kobayashi, James Worrell.
246 3 $a FOSSACS 2024
246 3 $a ETAPS 2024
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2024.
300 $a xvi, 280 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 1611-3349 ; $v 14574
505 0 $a Invited Talk -- Ackermannian Completion of Separators -- Infinite Games -- Fair Omega-regular Games -- Stochastic Window Mean-Payoff Games -- Symbolic Solution of Emerson-Lei Games for Reactive Synthesis -- Parity Games on Temporal Graphs -- Categorical Semantics -- Drawing from an Urn is Isometric -- Enriching Diagrams with Algebraic Operations -- Monoidal Extended Stone Duality -- Towards a Compositional Framework for Convex Analysis (with Applications to Probability Theory) -- Automata and Synthesis -- Determinization of Integral Discounted-Sum Automata is Decidable -- Checking History-Determinism is NP-hard for Parity Automata -- Tighter Construction of Tight Büchi Automata -- Synthesis with Privacy Against an Observer.
506 $a Open access.
520 $a The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024. The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.
650 0 $a Computer software $x Congresses. $3 696751
650 0 $a Software engineering $x Congresses. $3 696781
650 1 4 $a Theory of Computation. $3 892514
650 2 4 $a Mathematical Logic and Foundations. $3 892656
650 2 4 $a Data Structures and Information Theory. $3 3382368
650 2 4 $a Computer System Implementation. $3 892710
650 2 4 $a Mathematics of Computing. $3 891213
700 1 $a Kobayashi, Naoki. $3 1072568
700 1 $a Worrell, James. $3 2106846
710 2 $a SpringerLink (Online service) $3 836513
711 2 $a ETAPS (Conference) $n (27th : $d 2024 : $c Luxembourg, Luxembourg) $3 3714778
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 14574. $3 3714780
856 4 0 $u https://doi.org/10.1007/978-3-031-57228-9
950 $a Computer Science (SpringerNature-11645)