Cover Image
Read Now

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Web Scale Computing: The Power of Infrastructure as a Service -- Services in the Long Tail World...”
Cover Image
Read Now

3
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”
Cover Image
Read Now

4
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”
Cover Image
Read Now

5
Published 2018
Springer International Publishing
Table of Contents: “... Compilation Models -- From Computational Thinking to Constructive Design with Simple Models -- Design...”
Cover Image
Read Now

7
Published 2018
Springer International Publishing
Table of Contents: “... Adding Variety to Simplicity -- Fun with Bitcoin smart contracts -- Computing Exact Worst-Case Gas...”
Cover Image
Read Now

9
Published 1996
Springer Berlin Heidelberg
Subjects: “...Computer Communication Networks...”
Cover Image
Read Now

11
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... for the Efficient Verification of Parametric MDPs -- JANI: Quantitative Model and Tool Interaction -- Computing...”
Cover Image
Read Now

13
Published 2016
Springer International Publishing
Table of Contents: “...-Based Self-Adaptive Computing Systems -- A Calculus for Open Ensembles and Their Composition -- Logic...”
Cover Image
Read Now

15
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... in Finite State Space Computations --...”
Cover Image
Read Now

16
Published 2021
Springer International Publishing
Table of Contents: “...From Verification to Explanation (Track Introduction) -- An Algorithm to Compute a Strict Partial...”