PASCAL:AN INTRODUCTION TO THE ART AND SCIENCE OF PROGRAMMING FOURTH EDITION
WALTER SAVITCH1995 年出版673 页ISBN：0805374582
INTRODUCTION TO SCIENTIFIC COMPUTING AND DATA ANALYSIS
MARK H.HOLMES2016 年出版496 页ISBN：9783319302546
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：
SCHAUM’S OUTLINE OF THEORY AND PROBLEMS OF PROGRAMMING WITH STRUCTURED BASIC
BYRON S.GOTTFRIED1993 年出版421 页ISBN：
Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
introduction to numerical analysis and scientific computing
nabil nassif and dolly khuwayri fayyad2014 年出版311 页ISBN：1466589485
Lecture Notes in Computer Science 4279 Programming Languages and Systems 4th Asian Symposium
APLAS 20062006 年出版423 页ISBN：9783540489375
Lecture Notes in Computer Science 3676 Generative Programming and Component Engineering 4th Internat
GPCE 20052005 年出版448 页ISBN：3540291385
Lecture Notes in Computer Science 4807 Programming Languages and Systems 5th Asian Symposium
APLAS 20072007 年出版431 页ISBN：9783540766360
