wyszukanych pozycji: 4
![]() |
Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, Fopara 2015, London, Uk, April 11, 2015. Revised Selected Papers
ISBN: 9783319465586 / Angielski / Miękka / 2016 / 127 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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.
This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held ...
|
cena:
193,19 zł |
![]() |
Trends in Functional Programming Volume 6
ISBN: 9781841501765 / Angielski / Miękka / 2013 / 200 str. Termin realizacji zamówienia: ok. 30 dni roboczych. This book presents latest research developments in the area of functional programming. The contributions in this volume cover a wide range of topics from theory, formal aspects of functional programming, transformational and generic programming to type checking and designing new classes of data types.Not all papers in this book belong to the category of research papers. Also, the categories of project description (at the start of a project) and project evaluation (at the end of a project) papers are represented. Particular trends in this volume are: - software engineering techniques such as...
This book presents latest research developments in the area of functional programming. The contributions in this volume cover a wide range of topics f...
|
cena:
221,43 zł |
![]() |
Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2010, Revi
ISBN: 9783642153303 / Angielski / Miękka / 2010 / 170 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The First International Workshop on FOundational and Practical Aspects of Resource Analysis (FOPARA) was initiated to serve as a forum for presenting originalresearchresultsthatarerelevanttothe analysisofresource(time, space) consumption by computer programs. FOPARA aimed to bring together the - searchers working on foundational issues with the researchers focusing more on practical results. Therefore, both theoretical and practical contributions were encouraged.The contributions coveredthe following topics: resourceanalysisfor embedded systems, logical and machine-independent...
The First International Workshop on FOundational and Practical Aspects of Resource Analysis (FOPARA) was initiated to serve as a forum for presenting ...
|
cena:
193,19 zł |
![]() |
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings
ISBN: 9783642228629 / Angielski / Miękka / 2011 / 383 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011.
The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry,... This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, T...
|
cena:
193,19 zł |