1
Wydane 2010
Spis treści: ... of Distributed Java Programs -- A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2006
Spis treści: ... -- Formalising Progress Properties of Non-blocking Programs -- Towards a Fully Generic Theory of Data...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2008
Spis treści: ...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2010
Spis treści: ... Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2005
Spis treści: ... Mathematical Programming -- The Arithmetic-Geometric Progression Abstract Domain -- An Overview of Semantics...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2007
Spis treści: ...On Embedding Task Memory in Services Composition Frameworks -- A QoS Test-Bed Generator for Web...
Dokumenty pełnotekstowe
Elektroniczne E-book