Sciweavers

16790 search results - page 201 / 3358
» A Future for Software Engineering
Sort
View
AADEBUG
2000
Springer
14 years 2 months ago
Slicing of Constraint Logic Programs
Gyöngyi Szilágyi, Tibor Gyimóth...
AC
2000
Springer
14 years 2 months ago
An Introduction to Dependent Type Theory
Gilles Barthe, Thierry Coquand
AC
2000
Springer
14 years 2 months ago
Normalization and Partial Evaluation
Peter Dybjer, Andrzej Filinski
AC
2000
Springer
14 years 2 months ago
An Introduction to Low-Density Parity-Check Codes
Mohammad Amin Shokrollahi