PROGRAMMING LOGICS AN INTERODUCTION TO VERIFICATION AND SEMANTICS
RAYMOND D.GUMB2222 年出版334 页ISBN：
INTRODUCTION TO BASIC PROGRAMMING A STRUCTURED APPROACH SECOND EDITION
1980 年出版438 页ISBN：0395327504
INTRODUCTION TO SIMULATION Programming Techniques and Methods of Analysis
1982 年出版324 页ISBN：0070489459
INTRODUCTION TO SENSITIVITY AND STABILITY ANALYSIS IN NONLINEAR PROGRAMMING
ANTHONY V.FIACCO1983 年出版367 页ISBN：
An introduction to essential algebraic structures
Martyn R. Dixon ; Leonid A. Kurdachenko ; Igor Ya. Subbotin2015 年出版232 页ISBN：1118459829
USING PASCAL AN INTRODUCTION TO COMPUTER SCIENCE 1
DAVID D.RILEY1987 年出版608 页ISBN：0878352341
JavaScript编程精解 书名原文：ELOQUENT JAVASCRIPT:A MODERN INTRODUCTION TO PROGRAMMING
（美）Marijn Haverbeke著2012 年出版0 页ISBN：
AN INTRODUCTION TO THE ELASTIC STABILITY OF STRUCTURES
1976 年出版253 页ISBN：013481200X
AN INTRODUCTION TO FORMAL PROGRAM VERIFICATION
ALI MILI1985 年出版291 页ISBN：0442263228
