Thomas Wies – författare
Visar alla böcker från författaren Thomas Wies. Handla med fri frakt och snabb leverans.
12 produkter
Verification, Model Checking, and Abstract Interpretation
23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
Av Bernd Finkbeiner, Thomas Wies
Häftad, 2022
987 kr
Lägg i varukorg
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI …
Automated Verification of Concurrent Search Structures
Av Siddharth Krishna, Nisarg Patel m. fl.
Häftad, 2021
606 kr
Lägg i varukorg
Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associated with a key. Concurrent search structures are parallel algorithms to speed access to search structures on multicore and distributed …
Automated Verification of Concurrent Search Structures
Av Thomas Wies, Dennis Shasha m. fl.
E-bok, 2022
815 kr
Lägg i varukorg
Search structures support the fundamental data storage primitives on key-value pairs: insert a pair, delete by key, search by key, and update the value associated with a key. Concurrent search structures are parallel algorithms to speed access to search structures on multicore and distributed …
Programming Languages and Systems
32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
Av Thomas Wies
Häftad, 2023
456 kr
Lägg i varukorg
This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 20 regular papers presented in this …
Networked Systems
11th International Conference, NETYS 2023, Benguerir, Morocco, May 22–24, 2023, Proceedings
Av David Mohaisen, Thomas Wies
Häftad, 2023
677 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Conference on Networked Systems, NETYS 2023, held in Benguerir, Morocco, during May 22–24, 2023.The 9 full papers and 3 short papers presented were carefully reviewed and selected from 31 submissions. The scope of the …
Networked Systems
11th International Conference, NETYS 2023, Benguerir, Morocco, May 22–24, 2023, Proceedings
Av Thomas Wies, David Mohaisen
E-bok, 2023
923 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Conference on Networked Systems, NETYS 2023, held in Benguerir, Morocco, during May 22–24, 2023. The 9 full papers and 3 short papers presented were carefully reviewed and selected from 31 submissions. The scope of the …
On the Pursuit of Insight and Elegance
Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday
Av Daniel Dietsch, Andrey Rybalchenko m. fl.
Häftad, 2026
568 kr
Lägg i varukorg
Andreas Podelski is one of the leading researchers in formal verification and software engineering, in particular automata and formal languages. After a Ph.D. from the University of Paris 7 in 1992 under the guidance of Maurice Nivat, he had research positions at DEC PRL and the Max Planck …
On the Pursuit of Insight and Elegance
Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday
Av Thomas Wies, Martin Schaf m. fl.
E-bok, 2026
755 kr
Lägg i varukorg
Andreas Podelski is one of the leading researchers in formal verification and software engineering, in particular automata and formal languages. After a Ph.D. from the University of Paris 7 in 1992 under the guidance of Maurice Nivat, he had research positions at DEC PRL and the Max Planck …
Verified Software. Theories, Tools, and Experiments
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Av Andrei Paskevich, Thomas Wies
Häftad, 2017
568 kr
Lägg i varukorg
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 …
Verified Software. Theories, Tools, and Experiments
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Av Thomas Wies, Andrei Paskevich
E-bok, 2017
739 kr
Lägg i varukorg
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented were carefully revised and selected from 20 …
