國立高雄大學圖資館 |

Language: English

Back

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 /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Foundations of software science and computation structuresedited by Naoki Kobayashi, James Worrell.
Reminder of title:	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.
remainder title:	FOSSACS 2024
other author:	Kobayashi, Naoki.
corporate name:
Published:	Cham :Springer Nature Switzerland :2024.
Description:	xvi, 280 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Computer software
Online resource:	https://doi.org/10.1007/978-3-031-57228-9
ISBN:	9783031572289$q(electronic bk.)

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 /
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 ;4891..

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$q(electronic bk.)

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

252618
Computer software

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

Dewey Class. No.: 005.1

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 /
LDR:02658nmm a2200373 a 4500 001 664544
003 DE-He213
005 20240404125704.0
006 m d
007 cr nn 008maaau
008 241219s2024 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 $3 252618
650 0 $a Software engineering $3 253562
650 1 4 $a Theory of Computation. $3 274475
650 2 4 $a Mathematical Logic and Foundations. $3 274479
650 2 4 $a Data Structures and Information Theory. $3 825714
650 2 4 $a Computer System Implementation. $3 276333
650 2 4 $a Mathematics of Computing. $3 273710
700 1 $a Kobayashi, Naoki. $3 280217
700 1 $a Worrell, James. $3 700062
710 2 $a SpringerLink (Online service) $3 273601
711 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u https://doi.org/10.1007/978-3-031-57228-9
950 $a Computer Science (SpringerNature-11645)