Refinement Calculus: A Systematic Introduction, Springer-Verlag.
- Published in:
- 1999
- By:
- Publication type:
- Book Review
Works matching IS 00104620 AND DT 1999 AND VI 42 AND IP 7
Results: 9
1
2
Predictive Data Mining: A Practical Guide.
- Published in:
- 1999
- By:
- Publication type:
- Book Review
3
Objects, Components, and Frameworks with UML: The Catalysis Approach.
- Published in:
- 1999
- By:
- Publication type:
- Book Review
4
Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks.
- Published in:
- Computer Journal, 1999, v. 42, n. 7, p. 613, doi. 10.1093/comjnl/42.7.613
- By:
- Publication type:
- Article
5
Distributed Algorithms for Finding Central Paths in Tree Networks.
- Published in:
- Computer Journal, 1999, v. 42, n. 7, p. 609, doi. 10.1093/comjnl/42.7.609
- By:
- Publication type:
- Article
6
Managing Replicated Remote Procedure Call Transactions.
- Published in:
- Computer Journal, 1999, v. 42, n. 7, p. 592, doi. 10.1093/comjnl/42.7.592
- By:
- Publication type:
- Article
7
Computational Models for Information Reuse.
- Published in:
- Computer Journal, 1999, v. 42, n. 7, p. 582, doi. 10.1093/comjnl/42.7.582
- By:
- Publication type:
- Article
8
A Flexible Approach to Secure and Fair Document Exchange.
- Published in:
- Computer Journal, 1999, v. 42, n. 7, p. 569, doi. 10.1093/comjnl/42.7.569
- By:
- Publication type:
- Article
9
A Model for Representing and Retrieving Heterogeneous Structured Documents Based on Evidential Reasoning.
- Published in:
- Computer Journal, 1999, v. 42, n. 7, p. 547, doi. 10.1093/comjnl/42.7.547
- By:
- Publication type:
- Article