Journals in DBLP

Comput. J.
2007, volume: 50, number: 3

1. Fairouz Kamareddine
   Capsule Reviews. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2007, v:50, n:3, pp:251-253 [Journal]
   
2. Tony Hoare
   The Ideal of Program Correctness: Third Computer Journal Lecture. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2007, v:50, n:3, pp:254-260 [Journal]
   
3. 
   Discussion on The Ideal of Program Correctness by Tony Hoare. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2007, v:50, n:3, pp:261-268 [Journal]
   
4. 
   Discussion on The Ideal of Program Correctness: Responses from Tony Hoare. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2007, v:50, n:3, pp:269-273 [Journal]
   
5. Chris Mairs
   Inclusion and Exclusion in the Digital World: Turing Lecture 2006. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2007, v:50, n:3, pp:274-280 [Journal]
   
6. Ing-Ray Chen, Weiping He, Baoshan Gu
   Proxy-based Regional Registration for Integrated Mobility and Service Management in Mobile IP Systems. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2007, v:50, n:3, pp:281-293 [Journal]
   
7. H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede
   Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2007, v:50, n:3, pp:294-314 [Journal]
   
8. Monika Kapus-Kolar
   Testing as Collecting of Evidence: An Integrated Approach to Test Generation for Finite State Machines. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2007, v:50, n:3, pp:315-331 [Journal]
   
9. Doina Bein, Ajoy Kumar Datta, Mehmet Hakan Karaata
   An Optimal Snap-Stabilizing Multi-Wave Algorithm. [Citation Graph (0, 0)][DBLP]
   Comput. J., 2007, v:50, n:3, pp:332-340 [Journal]
   
10. Tzong-Jye Liu, Chia-Lin Lee
    State-Optimal Alternator for Uniform Synchronous Rings. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2007, v:50, n:3, pp:341-347 [Journal]
    
11. George F. Georgakopoulos, Kostas Politopoulos
    MAX-DENSITY Revisited: a Generalization and a More Efficient Algorithm. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2007, v:50, n:3, pp:348-356 [Journal]
    
12. William Chung-Kung Yen
    Edge-Orienting on Split, Planar and Treelike Graphs. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2007, v:50, n:3, pp:357-368 [Journal]
    
13. Peter Grünwald
    Christopher S. Wallace Statistical and Inductive Inference by Minimum Message Length. Springer (2005), ISBN 038723795X 432 pp, Hardbound. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2007, v:50, n:3, pp:369-370 [Journal]
    
14. Mark Levene
    Artificial Intelligence for Games. Series in Interactive 3D Technology. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2007, v:50, n:3, pp:371- [Journal]
    
15. Jorge Martínez Gil
    Thinking on the Web: Berners-Lee, Gödel and Turing. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2007, v:50, n:3, pp:371-372 [Journal]