Sciweavers

15860 search results - page 166 / 3172
» Agent-Based Software Engineering
Sort
View
86
Voted
AADEBUG
2000
Springer
15 years 7 months ago
Slicing of Constraint Logic Programs
Gyöngyi Szilágyi, Tibor Gyimóth...
107
Voted
AC
2000
Springer
15 years 7 months ago
An Introduction to Dependent Type Theory
Gilles Barthe, Thierry Coquand
107
Voted
AC
2000
Springer
15 years 7 months ago
Abstract Machines, Control, and Sequents
Pierre-Louis Curien
118
Voted
AC
2000
Springer
15 years 7 months ago
Normalization and Partial Evaluation
Peter Dybjer, Andrzej Filinski
135
Voted
AC
2000
Springer
15 years 7 months ago
An Introduction to Low-Density Parity-Check Codes
Mohammad Amin Shokrollahi