We use cookies to improve your experience with our site.

Properties of Semijoin Sequences
The Determining Method about the Conflict between the Null Constraints and the Set of Functional Dependencies
The Comparison between the Statistical Heuristic Search and A
Synthesis of Communicating Process Skeletons from Temporal-Spatial Logic Specifications
Speedup Studies of Leading Iteration Model for Non-DO Loops in Comparison with Sequential Iteration Model
A New Method for Generating Conic Sections
On the Structure of Binary Feedforward Inverses with Delay 2
Fault-Tolerance Analysis of Multibus Multiprocessor System
A Proof Rule for While Loop in VDM
Monolingual: One Way Towards the Integrated Software Development Environment
Interface for Voice Input and Output to the Transputer System
NDAUTO: An Experimental Software Automation System
Current Issue Cover