Ugo Dal Lago – författare

Visar alla böcker från författaren Ugo Dal Lago. Handla med fri frakt och snabb leverans.

5 produkter

Kategorier

5 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
AvUgo Dal Lago,Ricardo Peña
Häftad, Engelska, 2014
462 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
Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
AvRicardo Pena,Ugo Dal Lago
E-bok
PDF, Engelska, 2014
575 kr
Läs direkt efter köp
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
AvMarko van Eekelen,Ugo Dal Lago
Häftad, Engelska, 2016
558 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.
Foundational and Practical Aspects of Resource Analysis
4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
AvUgo Dal Lago,Marko van Eekelen
E-bok
PDF, Engelska, 2016
718 kr
Läs direkt efter köp
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
AvChristel Baier,Ugo Dal Lago
Häftad, Engelska, 2018
575 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.

Ugo Dal Lago – författare

Visar alla böcker från författaren Ugo Dal Lago. Handla med fri frakt och snabb leverans.

5 produkter

Kategorier

5 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
AvUgo Dal Lago,Ricardo Peña
Häftad, Engelska, 2014
462 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
Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
AvRicardo Pena,Ugo Dal Lago
E-bok
PDF, Engelska, 2014
575 kr
Läs direkt efter köp
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
AvMarko van Eekelen,Ugo Dal Lago
Häftad, Engelska, 2016
558 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.
Foundational and Practical Aspects of Resource Analysis
4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
AvUgo Dal Lago,Marko van Eekelen
E-bok
PDF, Engelska, 2016
718 kr
Läs direkt efter köp
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
AvChristel Baier,Ugo Dal Lago
Häftad, Engelska, 2018
575 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.

Ugo Dal Lago – författare

Foundational and Practical Aspects of Resource Analysis

Foundational and Practical Aspects of Resource Analysis

Foundational and Practical Aspects of Resource Analysis

Foundational and Practical Aspects of Resource Analysis

Foundations of Software Science and Computation Structures

Ugo Dal Lago – författare

Foundational and Practical Aspects of Resource Analysis

Foundational and Practical Aspects of Resource Analysis

Foundational and Practical Aspects of Resource Analysis

Foundational and Practical Aspects of Resource Analysis

Foundations of Software Science and Computation Structures