Foundational and practical aspects of resource analysis [electronic resource] : third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised selected papers / Ugo Dal Lago, Ricardo Peña (eds.).
2014
QA76.76.D47
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Cite
Citation
Linked e-resources
Linked Resource
Details
Title
Foundational and practical aspects of resource analysis [electronic resource] : third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised selected papers / Ugo Dal Lago, Ricardo Peña (eds.).
Meeting Name
ISBN
9783319124667 electronic book
3319124668 electronic book
9783319124650
3319124668 electronic book
9783319124650
Published
Cham : Springer, 2014.
Language
English
Description
1 online resource (ix, 161 pages) : illustrations.
Item Number
10.1007/978-3-319-12466-7 doi
Call Number
QA76.76.D47
Dewey Decimal Classification
005.1/2
Summary
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.
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed November 12, 2014).
Added Author
Series
Lecture notes in computer science ; 8552.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Record Appears in