Lecture Notes in Computer Science 4313 Leveraging Applications of Formal Methods First International

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

ISOLA 20042006 年出版197 页ISBN：9783540489283

Lecture Notes in Computer Science 2165 Process Algebra and Probabilistic Methods Performance Modelli

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

PAPM-PROBMIV 20012001 年出版217 页ISBN：354042556X

Analysis and Design of Nonlinear Control Systems 英文

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

2010 年出版545 页ISBN：9787030259646

本书全面介绍了非线性控制系统的分析与设计。全书共分为两部分。其中第一部分为第1～4章。第1章介绍了拓扑空间，第2章介绍了微流形，第3章介绍了代数、Lie群和Lie代数，它们为本书提供了研究数学背景。第二部分包...

Lecture Notes in Computer Science 4346 Formal Methods:Applications and Technology 11th International

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

FMICS 20062007 年出版364 页ISBN：9783540709510

high frequency techniques an introduction to rf and microwave design and computer simulation

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

2222 年出版0 页ISBN：

Large-scale solar power system design an engineering guide for grid-connected solar power generation

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

Peter Gevorkian2014 年出版680 页ISBN：7560345055

Computer Vision and Mathematical Methods in Medical and Biomedical Image Analysis ECCV 2004 Workshop

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

2004 年出版438 页ISBN：3540226753

Lecture Notes in Computer Science 3028 Probabilistic and Statistical Methods in Cryptology An Introd

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

2004 年出版158 页ISBN：3540220011

Lecture Notes in Computer Science 4054 Formal Methods and Stochastic Models for Performance Evaluati

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

EPEW 20062006 年出版238 页ISBN：3540353623

LOGIC AND COMPUTER DESIGN FUNDAMENTALS FOURTH EDITION

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

M.MORRIS MANO CHARLES R.KIME2010 年出版678 页ISBN：7111303105

本书组织良好，内容简洁、全面，从当代工程观点来进行表述。书中以清晰的解释和逐步延伸的实例来帮助读者理解内容，实例涵盖了从简单的组合应用到建立在RISC内核基础上的CISC结构。它全面覆盖了传统的内容，更加重...