Works matching IS 00104620 AND DT 2007 AND VI 50 AND IP 3
Results: 15
Capsule Reviews.
- Published in:
- Computer Journal, 2007, v. 50, n. 3, p. 251, doi. 10.1093/comjnl/bxm015
- Publication type:
- Article
Inclusion and Exclusion in the Digital World.
- Published in:
- Computer Journal, 2007, v. 50, n. 3, p. 274, doi. 10.1093/comjnl/bxm001
- By:
- Publication type:
- Article
State-Optimal Alternator for Uniform Synchronous Rings1Some of the results in this paper were published at the 19th International Conference on Advanced Information Networking and Applications, pp. 847–852, 2005.
- Published in:
- Computer Journal, 2007, v. 50, n. 3, p. 341, doi. 10.1093/comjnl/bxl085
- By:
- Publication type:
- Article
Thinking on the Web: Berners-Lee, Gödel and Turing.
- Published in:
- Computer Journal, 2007, v. 50, n. 3, p. 371, doi. 10.1093/comjnl/bxl084
- By:
- Publication type:
- Article
Proxy-based Regional Registration for Integrated Mobility and Service Management in Mobile IP Systems.
- Published in:
- Computer Journal, 2007, v. 50, n. 3, p. 281, doi. 10.1093/comjnl/bxl083
- By:
- Publication type:
- Article
Max-Density Revisited: a Generalization and a More Efficient Algorithm.
- Published in:
- Computer Journal, 2007, v. 50, n. 3, p. 348
- By:
- Publication type:
- Article
An Optimal Snap-Stabilizing Multi-Wave Algorithm.
- Published in:
- Computer Journal, 2007, v. 50, n. 3, p. 332, doi. 10.1093/comjnl/bxl081
- By:
- Publication type:
- Article
Discussion on The Ideal of Program Correctness: Responses from Tony Hoare.
- Published in:
- Computer Journal, 2007, v. 50, n. 3, p. 269, doi. 10.1093/comjnl/bxl080
- Publication type:
- Article
Discussion on The Ideal of Program Correctness by Tony Hoare.
- Published in:
- Computer Journal, 2007, v. 50, n. 3, p. 261, doi. 10.1093/comjnl/bxl079
- Publication type:
- Article
The Ideal of Program Correctness.
- Published in:
- Computer Journal, 2007, v. 50, n. 3, p. 254, doi. 10.1093/comjnl/bxl078
- Publication type:
- Article
Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants.
- Published in:
- Computer Journal, 2007, v. 50, n. 3, p. 294, doi. 10.1093/comjnl/bxl074
- By:
- Publication type:
- Article
Artificial Intelligence for Games. Series in Interactive 3D Technology.
- Published in:
- Computer Journal, 2007, v. 50, n. 3, p. 371, doi. 10.1093/comjnl/bxl071
- By:
- Publication type:
- Article
Testing as Collecting of Evidence: An Integrated Approach to Test Generation for Finite State Machines.
- Published in:
- Computer Journal, 2007, v. 50, n. 3, p. 315, doi. 10.1093/comjnl/bxl070
- By:
- Publication type:
- Article
Edge-Orienting on Split, Planar and Treelike Graphs.
- Published in:
- Computer Journal, 2007, v. 50, n. 3, p. 357, doi. 10.1093/comjnl/bxl068
- By:
- Publication type:
- Article
Christopher S. Wallace Statistical and Inductive Inference by Minimum Message Length. Springer (2005). ISBN 038723795X. £46.00. 432 pp. Hardbound.
- Published in:
- Computer Journal, 2007, v. 50, n. 3, p. 369, doi. 10.1093/comjnl/bxl027
- By:
- Publication type:
- Article