Alexandra Silva – författare
Visar alla böcker från författaren Alexandra Silva. Handla med fri frakt och snabb leverans.
12 produkter
Foundations of Probabilistic Programming
Av Gilles Barthe, Joost-Pieter Katoen m. fl.
Inbunden, 2020
877 kr
Lägg i varukorg
What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their …
Foundations of Probabilistic Programming
Av Alexandra Silva, Joost-Pieter Katoen m. fl.
E-bok, 2020
1002 kr
Lägg i varukorg
What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their …
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
Av Alexandra Silva, K. Rustan M. Leino
Häftad, 2021
455 kr
Lägg i varukorg
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed …
Computer Aided Verification
33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
Av Alexandra Silva, K. Rustan M. Leino
Häftad, 2021
455 kr
Lägg i varukorg
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed …
Logic, Language, Information, and Computation
27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings
Av Alexandra Silva, Renata Wassermann m. fl.
Häftad, 2021
811 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The 25 full papers presented included 6 invited …
Logic, Language, Information, and Computation
27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings
Av Ruy de Queiroz, Renata Wassermann m. fl.
E-bok, 2021
1059 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The 25 full papers presented included 6 invited …
Formal Techniques for Distributed Objects, Components, and Systems
37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Av Ahmed Bouajjani, Alexandra Silva
Häftad, 2017
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing …
Formal Techniques for Distributed Objects, Components, and Systems
37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Av Alexandra Silva, Ahmed Bouajjani
E-bok, 2017
739 kr
Lägg i varukorg
This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing …
Logic and Program Semantics
Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Av Robert L. Constable, Alexandra Silva
Häftad, 2012
568 kr
Lägg i varukorg
This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in this volume reflect the breadth of his work and influence. The volume includes 19 full papers related …
Logic and Program Semantics
Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Av Alexandra Silva, Robert L. Constable
E-bok, 2012
755 kr
Lägg i varukorg
This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in this volume reflect the breadth of his work and influence. The volume includes 19 full papers related …
Language, Logic, and Computation
12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Av Alexandra Silva, Sam Staton m. fl.
Häftad, 2019
552 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2017, held in Lagodekhi, Georgia, in September 2017.The volume contains 17 full revised papers presented at the conference from 22 submissions. The aim of this …
Language, Logic, and Computation
12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Av Carla Umbach, Peter Sutton m. fl.
E-bok, 2019
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2017, held in Lagodekhi, Georgia, in September 2017. The volume contains 17 full revised papers presented at the conference from 22 submissions. The aim of this …
