Lecture Notes in Computer Science 4762 Automated Technology for Verification and Analysis 5th Intern

下载此书RAR压缩包在线购买PDF电子书

ATVA 20072007 年出版566 页ISBN：9783540755951

Lecture Notes in Conputer Science 4218 Automated Technology for Verification and Analysis 4th Intern

下载此书RAR压缩包在线购买PDF电子书

ATVA 20062006 年出版540 页ISBN：3540472371

台湾的民主转型 从权威型的党国体系到竞争性的政党体系 fron an authoritarian party-state system to a competitive party system

下载此书RAR压缩包在线购买PDF电子书

吴文程著1996 年出版445 页ISBN：9578890052

C语言编程 一本全面的C语言入门教程 a complete introduction to the C programming language

下载此书RAR压缩包在线购买PDF电子书

（美）Stephen G. Kochan著；张小潘译2006 年出版543 页ISBN：7121007355

本书是一本完完整整介绍C语言基础的书籍。本书最大的特色在于举例精妙，讲解生动。通过一系列实际情形的需求，引入关于程序设计的基本知识，加上由浅入深地比较了C语言不同语法以及各种语句的区别，能够全面掌握C...

中华人民共和国国家计量检定系统=The People's Republic of China National Metrological Verification Schemes

下载此书RAR压缩包在线购买PDF电子书

1991 年出版646 页ISBN：

中华人民共和国国家标准 GB/T16825-1997 拉力试验机的检验=Verification of tensile testing machines

下载此书RAR压缩包在线购买PDF电子书

2222 年出版0 页ISBN：

language acquisition in study abroad and formal instruction contexts

下载此书RAR压缩包在线购买PDF电子书

2222 年出版0 页ISBN：

A Second Course in Formal Languages and Automata Theory

下载此书RAR压缩包在线购买PDF电子书

2009 年出版240 页ISBN：9780521865722

FORMAL MODELS AND PRACTICAL TOOLS FOR INFORMATION SYSTEMS DESIGN

下载此书RAR压缩包在线购买PDF电子书

1979 年出版297 页ISBN：0444853944

FORMAL VLSI SPECIFICATION AND SYNTHESIS VLSI Design Methods-I

下载此书RAR压缩包在线购买PDF电子书

1990 年出版413 页ISBN：044488372x