We use cookies to improve your experience with our site.
All
Title
Author
Keyword
Abstract
DOI
Category
Address
Fund
Advanced Search
All
Title
Author
Keyword
Abstract
DOI
Category
Address
Fund
PACS
EEACC
Select articles
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
Cover Articles
Top Cited Papers
Top Most Read
Download Templates
Datasets & Toolsets
×
Close
Export File
Citation
Format
RIS(for EndNote,Reference Manager,ProCite)
BibTex
Txt
Content
Citation Only
Citation and Abstract
×
Close
Citation