Sciweavers

16725 search results - page 254 / 3345
» Engineering Software Correctness
Sort
View
73
Voted
AC
1991
Springer
15 years 7 months ago
Public Key Cryptography
Marijke De Soete
99
Voted
AMAST
1991
Springer
15 years 7 months ago
Extracting Recursive Programs in Type Theory
Scott F. Smith
112
Voted
APL
1991
ACM
15 years 7 months ago
Mastering J
Donald B. McIntyre