Journals in DBLP

Comput. J.
1999, volume: 42, number: 3

1. Harry W. Agius, Marios C. Angelides
   COSMOS - Content Oriented Semantic Modelling Overlay Scheme. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1999, v:42, n:3, pp:153-176 [Journal]
   
2. Richard Bornat, Bernard Sufrin
   Animating Formal Proof at the Surface: The Jape Proof Calculator. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1999, v:42, n:3, pp:177-192 [Journal]
   
3. Hugh E. Williams, Justin Zobel
   Compressing Integers for Fast File Access. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1999, v:42, n:3, pp:193-201 [Journal]
   
4. Weijia Jia, Jiannong Cao, To-Yat Cheung, Xiaohua Jia
   A Multicast Protocol Based on a Single Logical Ring Using a Virtual Token and Logical Clocks. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1999, v:42, n:3, pp:202-220 [Journal]
   
5. Kecheng Liu, Tina Ong
   A Modelling Approach for Handling Business Rules and Exceptions. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1999, v:42, n:3, pp:221-231 [Journal]
   
6. Ahmad A. Hiasat, Hoda S. Abdel-Aty-Zohdy
   Semi-Custom VLSI Design and Implementation of a New Efficient RNS Division Algorithm. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1999, v:42, n:3, pp:232-240 [Journal]
   
7. Neven Tomov, Euan W. Dempster, M. Howard Williams, Peter J. B. King, Albert Burger
   Approximate Estimation of Transaction Response Time. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1999, v:42, n:3, pp:241-250 [Journal]