Search Sciweavers | Sciweavers

7049 search results - page 12 / 1410

» Data Abstraction for CSP-OZ

105

click to vote

ERSHOV
2001
Springer

70views Theoretical Computer Science» more ERSHOV 2001»

Abstract Computability of Non-deterministic Programs over Various Data Structures

15 years 10 months ago

Download www.nbuv.gov.ua

Nikolaj S. Nikitchenko

claim paper

Read More »

136

click to vote

AMAST
2000
Springer

87views Software Engineering» more AMAST 2000»

Random Access to Abstract Data Types

15 years 10 months ago

Download www.fernuni-hagen.de

Martin Erwig

claim paper

Read More »

160

click to vote

AIMDM
1999
Springer

271views Artificial Intelligence» more AIMDM 1999»

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

15 years 10 months ago

Download www.ifs.tuwien.ac.at

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

claim paper

Read More »

121

click to vote

FM
1999
Springer

113views Formal Methods» more FM 1999»

Data Abstraction for CSP-OZ

15 years 10 months ago

Download www.cs.uni-paderborn.de

Heike Wehrheim

claim paper

Read More »

175

click to vote

ICCL
1998
IEEE

206views Programming Languages» more ICCL 1998»

Breaking Abstractions and Unstructuring Data Structures

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers