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
A General and Formal Method for the Program Static Analysis
Shape Grammars and Shape Rules
Two Algorithms for Variable Allocation in an Interpreted Scheme
An Analysis of WS and PFF Algorithms
The Duodirun Merging Algorithm
Proof Techniques for Port-Directed Communication and Broadcast
A Routing Algorithm for Distributed Optimal Double Loop Computer Networks
Three-Valued Diagnosable Systems: Diagnosability, Optimal Design and Fault Identification Algorithm
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