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
New Algorithms for the Perspective-Three-Point Problem
A Study on Wavelet Data Compression of a Real-Time Monitoring System for Large Hydraulic Machines
From Concepts to Consistent Object Specifications:Translation of a Domain-Oriented Feature Framework into Practice
Dynamic Data Prefetching in Home-Based Software DSMs
A New Approach to Pointer Analysis for Assignments
A Formal Software Development Approach Using Refinement Calculus
CWA Formalizations in Multi-Valued Logics
Relaxation Algorithm of Piecing-Error for Sub-Images
A Loop-Based Apparatus for At-Speed Self-Testing
Type System in Programming Languages
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