Sciweavers

43 search results - page 1 / 9
» ac 2000
Sort
View
99
Voted
AC
2000
Springer
15 years 28 days ago
Numerical weather prediction
Ferdinand Baer
94
Voted
AC
2000
Springer
15 years 5 months ago
Abstract Machines, Control, and Sequents
Pierre-Louis Curien
122
Voted
AC
2000
Springer
15 years 5 months ago
An Introduction to Low-Density Parity-Check Codes
Mohammad Amin Shokrollahi
94
Voted
AC
2000
Springer
15 years 5 months ago
An Introduction to Dependent Type Theory
Gilles Barthe, Thierry Coquand