Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
COMPUTER SYSTEMS A PROGRAMMER'S PERSPECTIVE
[美]RANDAL E.BRYANT DAVID R.OHALLARON著2006 年出版978 页ISBN：
COMPUTER ARITHMETIC IN THEORY AND PRACTICE
ULRICH W.KULISCH WILLARD I.MIRANKER2222 年出版249 页ISBN：012428650X
COMPUTER NETWORKS:A TUTORIAL FOURTH EDITION
THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS1984 年出版497 页ISBN：
领导世界还是支配世界？ 冷战后美国国家安全战略 america's national security strategy in the lost-cold war era
朱明权著2005 年出版412 页ISBN：7201050524
本书以“领导世界还是支配世界”为研究框架，探究冷战后美国国家安全战略。并通过这一视角具体分析了从老布什、克林顿到布什府的历年的《美国国家安全战略报告》，从中可见历届美国政府的安全观及国家安全战略...
PRACTICAL DECISION MAKING AN INTERODUCTION TO THE ANALYTIC HIERARCHY PROCESS（AHP）USING SUPER DECISIO
MU·MILAGROS PEREYRA-ROJAS2017 年出版111 页ISBN：9783319338606
A practical guide to the teaching of ENGLISH as a second or foreign language
WILGA M.RIVERS MARY S.TEMPERLEY2222 年出版0 页ISBN：
Lecture Notes in computer science automata
Languages and Programming seventh colloquium Norrdwijkerhout July 14-181980 年出版520 页ISBN：
Lecture Notes in Computer Science 52 Automata
Languages and Programming1977 年出版568 页ISBN：3540083421
