Search Sciweavers | Sciweavers

7049 search results - page 12 / 1410

» Data Abstraction for CSP-OZ

click to vote

ERSHOV
2001
Springer

70views Theoretical Computer Science» more ERSHOV 2001»

Abstract Computability of Non-deterministic Programs over Various Data Structures

13 years 12 months ago

Download www.nbuv.gov.ua

Nikolaj S. Nikitchenko

claim paper

Read More »

click to vote

AMAST
2000
Springer

87views Software Engineering» more AMAST 2000»

Random Access to Abstract Data Types

13 years 12 months ago

Download www.fernuni-hagen.de

Martin Erwig

claim paper

Read More »

click to vote

AIMDM
1999
Springer

271views Artificial Intelligence» more AIMDM 1999»

Abstracting Steady Qualitative Descriptions over Time from Noisy, High-Frequency Data

13 years 11 months ago

Download www.ifs.tuwien.ac.at

Silvia Miksch, Andreas Seyfang, Werner Horn, Chris...

claim paper

Read More »

click to vote

FM
1999
Springer

113views Formal Methods» more FM 1999»

Data Abstraction for CSP-OZ

13 years 11 months ago

Download www.cs.uni-paderborn.de

Heike Wehrheim

claim paper

Read More »

click to vote

ICCL
1998
IEEE

206views Programming Languages» more ICCL 1998»

Breaking Abstractions and Unstructuring Data Structures

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers