Ugo Dal Lago - Böcker
Visar alla böcker från författaren Ugo Dal Lago. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Del 8552 - Lecture Notes in Computer Science
Foundational and Practical Aspects of Resource Analysis
Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Häftad, Engelska, 2014
443 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 papers presented in this volume were carefully reviewed and selected from 12 submissions. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of programs.
Foundational and Practical Aspects of Resource Analysis
4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Häftad, Engelska, 2016
536 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions.
Del 10803 - Lecture Notes in Computer Science
Foundations of Software Science and Computation Structures
21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Häftad, Engelska, 2018
552 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.