Review: Book Review.
- Published in:
- Computer Journal, 1994, v. 37, n. 7, p. 649
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 1994 AND VI 37 AND IP 7
Results: 18
1
2
Corrigendum to A Correctness Proof of a One-bit Sliding Window Protocol in μCRL.
- Published in:
- Computer Journal, 1994, v. 37, n. 7, p. 651
- By:
- Publication type:
- Article
3
Review: Book Review.
- Published in:
- Computer Journal, 1994, v. 37, n. 7, p. 649
- By:
- Publication type:
- Article
4
Review: Book Review.
- Published in:
- Computer Journal, 1994, v. 37, n. 7, p. 647
- By:
- Publication type:
- Article
5
Review: Book Review.
- Published in:
- Computer Journal, 1994, v. 37, n. 7, p. 647
- By:
- Publication type:
- Article
6
Review: Book Review.
- Published in:
- Computer Journal, 1994, v. 37, n. 7, p. 646
- By:
- Publication type:
- Article
7
Review: Book Review.
- Published in:
- Computer Journal, 1994, v. 37, n. 7, p. 646
- By:
- Publication type:
- Article
8
Review: Book Review.
- Published in:
- Computer Journal, 1994, v. 37, n. 7, p. 645
- By:
- Publication type:
- Article
9
Review: Book Review.
- Published in:
- Computer Journal, 1994, v. 37, n. 7, p. 644
- By:
- Publication type:
- Article
10
Review: Book Review.
- Published in:
- Computer Journal, 1994, v. 37, n. 7, p. 644
- By:
- Publication type:
- Article
11
Optimal and Random Partitions of Random Graphs.
- Published in:
- Computer Journal, 1994, v. 37, n. 7, p. 641
- By:
- Publication type:
- Article
12
Optimal Drivers for the ‘Random’ Iteration Algorithm.
- Published in:
- Computer Journal, 1994, v. 37, n. 7, p. 629
- By:
- Publication type:
- Article
13
Supporting Software Development Processes in Adele 2.
- Published in:
- Computer Journal, 1994, v. 37, n. 7, p. 621
- By:
- Publication type:
- Article
14
Stack Cache Memory for Block-Structured Programs.
- Published in:
- Computer Journal, 1994, v. 37, n. 7, p. 610
- By:
- Publication type:
- Article
15
A New Technique for Enhancing Linked-List Data Retrieval: Reorganize Data Using Artifically Synthesized Queries.
- Published in:
- Computer Journal, 1994, v. 37, n. 7, p. 598
- By:
- Publication type:
- Article
16
A Temporal Database Model Supporting Relative and Absolute Time.
- Published in:
- Computer Journal, 1994, v. 37, n. 7, p. 588
- By:
- Publication type:
- Article
17
Design and Implementation of Extended Boolean and Comparison Operators for Time-Oriented Query Languages.
- Published in:
- Computer Journal, 1994, v. 37, n. 7, p. 576
- By:
- Publication type:
- Article
18
A Semantic Approach to Enforce Correctness of Data Distribution Schemes.
- Published in:
- Computer Journal, 1994, v. 37, n. 7, p. 561
- By:
- Publication type:
- Article