theory on networked control for discrete-time systems date-rate theorem = 离散系统网络化控制理论传输速率定理

modeling and analysis of real-time and embedded systems with uml and marte developing cyber-physical

中华人民共和国国家标准 GB/T17907-1999 机械式停车设备 通用安全要求=Mechanical parking systems-General safety requirement

Database management systems designing and building business applications = 数据库管理系统（英文版·第3版）

本书涵盖了构建数据库前的两个关键主题：数据库设计（规范化）和SQL（查询）。这两个主题跨越所有主要的数据库系统。规范化说明了如何细致设计数据库以获得DBMS手段的能力。SQL是一种标准查询语言，事实上用于应用程序...

THE STATE OF THE WORLD'S LAND AND WATER RESOURCES FOR FOOD AND AGRICULTURE MANAGING SYSTEMS AT RISK

DL/T 5240-2010 火力发电厂燃烧系统设计计算技术规范 Technical code for design and calculation of combustion system o

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

EASY MONEY THE GREATEST PONZI SCHEME EVER AND HOW IT IS SET TO DESTROY THE GLOBAL FINANCIAL SYSTEM

The design and implementation of the FreeBSD operating system (2nd Edition) = FreeBSD 操作系统设计与实现 (第2版

modeling and analysis of real-time and embedded systems with uml and marte developing cyber-physi