Cover Image
Read Now

1
Published 1997
Springer London
Table of Contents: “... -- 1.5 Achieving and Assessing Dependability -- 2 Getting the Culture Right -- 2.1 Introduction -- 2.2...”
Cover Image
Read Now

2
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Dependability of Critical Infrastructures -- Security Policy Configuration Issues in Grid Computing...”
Cover Image
Read Now

3
by Tai, Ann T., Meyer, John F., Avizienis, Algirdas
Published 1996
Springer US
Table of Contents: “... Concepts -- 2.2 Developments and Applications -- 3 Framework of Software Performability Modeling -- 3.1...”
Cover Image
Read Now

4
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- The Application of Dependence Analysis to Software Architecture Descriptions -- Validating Distributed Object...”
Cover Image
Read Now

5
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... Verfahren -- Zuverlässigkeitsbewertung / Reliability Evaluation -- Approximate Dependability Analysis of a...”
Cover Image
Read Now

6
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... -- Chaotic fixpoint iteration guided by dynamic dependency -- Fast abstract interpretation using sequential...”
Cover Image
Read Now

7
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...Progress of Ada as an international standard: ISO/IEC JTC1/SC22 WG9 Ada status -- Graphics...”
Cover Image
Read Now

8
Published 1997
Springer US
Table of Contents: “... Client-Server Databases -- 22 Beehive: Global Multimedia Database Support for Dependable, Real-Time...”
Cover Image
Read Now

9
by Kitagawa, Hiroyuki, Kunii, Tosiyasu L.
Published 1989
Springer Japan
Table of Contents: “...1 Introduction -- 2 Historical Background -- 2.1 Form Data Model -- 2.2 Form System -- 2.3 Form...”
Cover Image
Read Now

10
by Hofmann, Martin
Published 1997
Springer London
Table of Contents: “... Method -- 1.4 Applications -- 1.5 Overview -- 2. Syntax and semantics of dependent types -- 2.1 Syntax...”
Cover Image
Read Now

11
by Cockshott, Paul, Renfrew, Kenneth
Published 2004
Springer London
Table of Contents: “... -- Appendix A Compiler Porting Tools -- A.1 Dependencies -- A.2 Compiler Structure -- A.2.1 Vectorisation -- A...”
Cover Image
Read Now

12
by Hunt, John
Published 1997
Springer London
Table of Contents: “... and Patterns for Object Oriented Design -- 4: Testing and Style -- 22. Testing Object Oriented Systems -- 23...”
Cover Image
Read Now

13
by Kunii, Hideko S.
Published 1990
Springer Japan
Table of Contents: “... Overview -- 2.2 Schema -- 2.3 Elementary Data Operations -- 3. Data Definition Language -- 3.1 Overview...”
Cover Image
Read Now

14
Published 1995
Springer US
Table of Contents: “... responses for drag dominated offshore structures -- 8 Parameter-dependent integrals: some mathematical tools...”
Cover Image
Read Now

15
Published 2001
Springer US
Table of Contents: “... for Unsupervised Clustering -- 22 High-Performance Singular Value Decomposition -- 23 Mining High-Dimensional...”
Cover Image
Read Now

16
by Neumann, Klaus, Schwindt, Christoph, Zimmermann, Jürgen
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... of the problem -- 2.2 Cycle structures in activity-on-node project networks -- 2.3 Properties of the feasible...”
Cover Image
Read Now

17
by Michalewicz, Zbigniew, Fogel, David B.
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- XIII What Was the Length of the Rope? -- 13 Fuzzy Systems -- XIV Everything Depends on Something Else...”
Cover Image
Read Now

18
Published 1989
Springer US
Table of Contents: “... issues for dependable software -- 11.1 Introduction -- 11.2 The importance of policies -- 11.3 Multiple...”
Cover Image
Read Now

19
Published 1997
Springer US
Table of Contents: “...-Independent Data-Sampled Analog Systems -- 1.4. Network-Dependent Data-Sampled Analog Systems -- 1.5. Summary...”
Cover Image
Read Now

20
by Gschwind, Hans W.
Published 1967
Springer Vienna
Table of Contents: “... Number Systems -- 2.2. Arithmetic Operations in Unconventional Number Systems -- 2.3. Conversions -- 2.4...”