Sciweavers

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