Computer Vision for Biomedical Image Applications First international Workshop
CVBIA 20052005 年出版563 页ISBN：3540294112
Lecture Notes in Computer Science 125 Logic of Programs Workshop
ETH Zurich1981 年出版245 页ISBN：
TRS-80 Color Programs Programs for Color BASIC and Extended Color BASIC on the TRS-80 Color Computer
1982 年出版333 页ISBN：0918398614
Lecture Notes in Computer Science 96 Computer Programs for Spelling Correction:An Experiment in Prog
1980 年出版213 页ISBN：3540102590
EQUATIONS MODELS AND PROGRAMS A MATHEMATICAL INTRODUCTION TO COMPUTER SCIENCE
THOMAS J.MYERS1988 年出版512 页ISBN：
Computer Aided Design of Plasticating Screws Programs in FORTRAN AND BASIC
1986 年出版134 页ISBN：3466143319
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：
Computer Vision and Mathematical Methods in Medical and Biomedical Image Analysis ECCV 2004 Workshop
2004 年出版438 页ISBN：3540226753
