Sciweavers

16206 search results - page 169 / 3242
» Software Engineering is Not Enough
Sort
View
121
Voted
AC
2000
Springer
15 years 9 months ago
Abstract Machines, Control, and Sequents
Pierre-Louis Curien
133
Voted
AC
2000
Springer
15 years 9 months ago
Normalization and Partial Evaluation
Peter Dybjer, Andrzej Filinski
153
Voted
AC
2000
Springer
15 years 9 months ago
An Introduction to Low-Density Parity-Check Codes
Mohammad Amin Shokrollahi
ADAEUROPE
2000
Springer
15 years 9 months ago
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs
Johann Blieberger, Bernd Burgstaller, Bernhard Sch...