Sciweavers

15787 search results - page 154 / 3158
» Is Software Engineering Training Enough for Software Enginee...
Sort
View
121
Voted
AC
2000
Springer
15 years 9 months ago
Abstract Machines, Control, and Sequents
Pierre-Louis Curien
134
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...
124
Voted
AMAST
2000
Springer
15 years 9 months ago
Random Access to Abstract Data Types
Martin Erwig