Lecture Notes in Computer Science 92 Robin Milner A Calculus of Communicating Systems
1980 年出版171 页ISBN：3540102353
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN：
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN：
A MATHEMATICS ACTIVITY CURRICULUM FOR EARLY CHILDHOOD AND SPECIAL EDUCATION
LLOYD I.RICHARDSON KATHY L.GOODMAN1980 年出版433 页ISBN：0023997109
Lecture Notes in Computer Science 3277 Job Scheduling Strategies for Parallel Processing 10th Intrna
JSSPP 20042005 年出版317 页ISBN：3540253300
Lecture Notes in Computer Science 4382 Languages and Compilers for Parallel Computing 19th Internati
LCPC 20062007 年出版366 页ISBN：9783540725206
Lecture Notes in Computer Science 2017 Languages and Compilers for Parallel Computing 13th Internati
LCPC 20002001 年出版381 页ISBN：3540428623
Lecture Notes in Computer Science 4761 Software Technologies for Embedded and Ubiquitous Systems 5th
SEUS 20072007 年出版563 页ISBN：9783540756637
Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern
ATVA 20072007 年出版566 页ISBN：9783540755951
Lecture Notes in Computer Science 3811 Technologies for E-Services 6th International Workshop
TES 20052006 年出版127 页ISBN：3540310673
