Sciweavers

27119 search results - page 111 / 5424
» Languages
Sort
View
152
Voted
IFIP
1994
Springer
15 years 11 months ago
Deriving Partial Correctness Logics From Evolving Algebras
Arnd Poetzsch-Heffter
140
Voted
IFIP
1994
Springer
15 years 11 months ago
Linear-Time Algorithms in Memory Hierarchies
Kenneth W. Regan