Sciweavers

16541 search results - page 203 / 3309
» Ontologies and Software Engineering
Sort
View
121
Voted
AC
2000
Springer
15 years 9 months ago
Abstract Machines, Control, and Sequents
Pierre-Louis Curien
135
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