The ADA Programming Language:A Tutorial
Sabina Hl.Saib and Robert E.Fritz1983 年出版538 页ISBN：
ADA 95 FROM THE BEGINNING THIRD EDITION
JAN SKANSHOLM1997 年出版656 页ISBN：0201403765
Lecture Notes in Computer Science 4349 Verification
Model Checking2007 年出版0 页ISBN：
Lecture Notes in Computer Science 3385 Verification
Moel Checking2005 年出版0 页ISBN：
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
王昀，张捍平，赵冠男等2015 年出版79 页ISBN：9787112179923
本书正是对国内这首家建筑画廊从策划到改造，直至正式开幕举办首展的过程进行的全面的记录和陈述。对当今国内建筑界，引入和介绍建筑画廊这样一个概念，并将这样一个概念落地实现的本身就具有很高的学术意义。这...
Biometrics:Advanced Identity Verification The Complete Guide
2000 年出版201 页ISBN：1852332433
The ADA Programming Language A Guide For Programmers
1981 年出版294 页ISBN：0130039217
UNDERSTANDING ADA WITH ABSTRACT DATA TYPES SECOND EDITION
1989 年出版780 页ISBN：0471605204
