Revival

Foundations of Dependable Computing: Models and Frameworks for Dependable Systems (The Springer International Series in Engineering and Computer Science, 283)

Incentive Regulation and the Regulation of Incentives (Topics in Regulatory Economics and Policy, 17)

Explorations in Automatic Thesaurus Discovery (The Springer International Series in Engineering and Computer Science, 278)

Compositional Translation (The Springer International Series in Engineering and Computer Science, 273)

Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis (The Springer International Series in Engineering and Computer Science, 270)

Physical Design for Multichip Modules (The Springer International Series in Engineering and Computer Science, 267)

Silicon Implementation of Pulse Coded Neural Networks (The Springer International Series in Engineering and Computer Science, 266)

Foundations of Dependable Computing: System Implementation (The Springer International Series in Engineering and Computer Science, 285)