Sciweavers

68 search results - page 4 / 14
» The Delft-Java Engine: An Introduction
Sort
View
AC
2000
Springer
15 years 10 months ago
An Introduction to Dependent Type Theory
Gilles Barthe, Thierry Coquand
AC
2000
Springer
15 years 10 months ago
An Introduction to Low-Density Parity-Check Codes
Mohammad Amin Shokrollahi
SEKE
1999
Springer
15 years 10 months ago
Introduction and Motivation
Günther Ruhe, Frank Bomarius
PEPM
1998
ACM
15 years 10 months ago
Introduction to Supercompilation
Morten Heine Sørensen, Robert Glück