DETERMINISTIC CHAOS AN INTRODUCTION SECOND REVISED EDITION
2222 年出版270 页ISBN：089573611X
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
NETWORK ECONOMICS AND THE ALLOCATION OF SAVINGS:A MODEL OF PEERING IN THE VOICE-OVER-IP TELECOMMUNIC
PHILIPP SERVATIUS2012 年出版297 页ISBN：9783642210952
modeling and analysis of real-time and embedded systems with uml and marte developing cyber-physi
bran selic2014 年出版287 页ISBN：0124166199
ESSA TECHNICAL MEMORANDUM WBTM NMC 46 NOISE ANALYSIS OF A LIMITED-AREA FINE-MESH PREDICTION MODEL
JOSEPH P.GERRITY JR. AND RONALD D.MCPHERSON2222 年出版81 页ISBN：
PSYCHOLOGY TODAY:AN INTRODUCTION SIXTH EDITION
RICHARD R.BOOTZIN GORDON H.BOWER ROBERT B.ZAJONC ELIZABETH HALL1986 年出版758 页ISBN：0075547473
当代心灵哲学导论 a contemporary introduction
（美）约翰·海尔（John Heil）著；高新民，殷筱，徐弢译2006 年出版275 页ISBN：7300065287
本书作者以其对世界构成的形而上学的描述为基础，提出了一种可供选择的关于心灵的构想。
INVESTING IN MORTGAGE-BACKED AND ASSET-BACKED SECURITIES FINANCIAL MODELING WITH R AND OPEN SOURCE A
GLENN M.SCHULTZ2016 年出版390 页ISBN：9781118944004
Bitcoin and Cryptocurrency Technologies: A Comprehensive Introduction
Arvind Narayanan2222 年出版0 页ISBN：
