Structures Of Social Action Studies In Conversation Analysis
J.Maxwell Atkinson and John Heritage1984 年出版446 页ISBN：0521318629
SURGERY OF THE SMALL INTESTINE IN THE ADULT
BENTLEY P.COLCOCK JOHN W.BRAASCH1968 年出版220 页ISBN：0721626386
Symmetries in science IV biological and biophysical systems
bruno gruber and john H.yopp1990 年出版244 页ISBN：0306435020
AMERICAN CRIMINAL COURTS LEGAL PROCESS AND SOCIAL CONTEXT
CASEY WELCH AND JOHN RANDOLPH FULLER2014 年出版592 页ISBN：1455725994
COMPUTED TOMOGRAPHY OF THE WHOLE BODY VOLUME ONE
JOHN R.HAAGA RALPH J.ALFIDI1983 年出版512 页ISBN：0801620473
A REPUBLIC OF STATUTES THE NEW AMERICAN CONSTITUTION
WILLIAM N.ESKRIDGE AND JOHN FEREJOHN2010 年出版582 页ISBN：0300120885
STUDENT SOLUTIONS MANUAL TO ACCOMPANY PHYSICS FIFTH EDITION
JOHN D.CUTNELL KENNETH W.JOHNSON2001 年出版318 页ISBN：0471355836
THE FACTS ON FILE DICTIONARY OF EARTH SCIENCE
JOHN O.E.CLARK STELLA STIEGELER2000 年出版362 页ISBN：0816042888
（美）John Farserotu，（美）Ramjee Prasad著；谷深远，黄国策等译2003 年出版240 页ISBN：7505388800
本书主要针对卫星移动LMS系统展开，介绍了当前世界上主要的卫星移动通信系统与技术，包括：卫星移动通信的信道衰落、系统设计、多址技术、MPSK TCM、多媒体信息业务、业务模型、运营开销等内容。重点讨论IP/ATM...
（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
