Sciweavers

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