Computer Aided Design of Plasticating Screws Programs in FORTRAN AND BASIC
1986 年出版134 页ISBN：3466143319
Lecture Notes in Computer Science 96 Computer Programs for Spelling Correction:An Experiment in Prog
1980 年出版213 页ISBN：3540102590
FAO FISHERIES TECHNICAL PAPER 101 SUPPL.2 COMPUTER PROGRAMS FOR FISH STOCK ASSESSMENT
P.SPARRE1987 年出版218 页ISBN：
Lecture Notes in Computer Science 4502 Types for Proofs and Programs International Workshop
TYPES 2006 Nottingham2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
