资源列表
[软件工程] SE1-Abstraction-and-Modelling
说明:第1卷,涵盖了基本的原则和技术,形式化方法和抽象造型。首先,这本书提供了一个良好的,但简单的基础上洞察离散数学:号码,电视机, cartesians ,类型,功能,的lambda演算,代数,数理逻辑。那么列车,其读者的基本财产和示范导向的规范原则和技巧。示范导向的观念,是共同的,如语言规范包括b , vdm的-晚上八时,和z是解释,在这里用提高规范语言(出rsl ) 。这本书则涵盖的基本原则的应用(功能) ,势在必行,并发(并行)的规格<Hwang> 在 2024-11-16 上传 | 大小:50.22mb | 下载:0
[软件工程] Line-Coding
说明:this document serves a good introduction to digital communication transmission and gives a comprehensive theory of modulation schemes. it is good for beginners of communication and is brush up for advanced learners. a gr<nir> 在 2024-11-16 上传 | 大小:24kb | 下载:0
[软件工程] SE2-Spec-of-Systems-and-Languages
说明:第二卷涵盖的基本原则和技术的具体制度和语言。它涉及的建模符号(语用,语义和语法的系统和语言) ,空间造型和简单的时间现象,而且这种专门题目为模块化(包括uml类图), petri网,活出序列图,状态图,和颞逻辑学,其中包括持续计算。最后,本书介绍的技术翻译和编译器开发的功能性,势在必行,模块化和并行编程语言。 -The second volume covers the basic principles and techniques of<Hwang> 在 2024-11-16 上传 | 大小:31.02mb | 下载:0
[软件工程] lect_nb_noise
说明:this document serves a good introduction to digital communication transmission and gives a comprehensive theory of modulation schemes. it is good for beginners of communication and is brush up for advanced learners. a gr<nir> 在 2024-11-16 上传 | 大小:30kb | 下载:0
[软件工程] SE3-Domains-Requirements-and-SD
说明:第3卷的基础上,一句格言: "以前的软件可以被设计,其要求必须充分理解,但与之前的规定能适当地表达领域的应用必须有充分的理解。 "这本书涵盖了从进程的发展,域名的描述,经推导要求处方从域模型,以更精确的需求转变为软件设计,也就是架构和组件设计。重点放在如何进入适当域说明,并要求医生处方,如何获取和分析领域知识和要求,期望,以及如何确认和验证域,并要求型号。 -Volume 3 is based on the maxim: "Before<Hwang> 在 2024-11-16 上传 | 大小:6.37mb | 下载:0
[软件工程] ChapterLogic-Design-with-MOSFETs.1-
说明:this document serves a good intoduction to VLSI circuit design. it is a comprehensive descr iption of general circuit design using MOSFET. very useful for beginners in VLSI and mosfet circuit designers. -this document se<nir> 在 2024-11-16 上传 | 大小:1.77mb | 下载:0
[软件工程] Logic-fund.-with-MOSFETs
说明:this document serves a good intoduction to VLSI circuit design. it is a comprehensive descr iption of general circuit design using MOSFET. very useful for beginners in VLSI and mosfet circuit designers. -this document se<nir> 在 2024-11-16 上传 | 大小:1.77mb | 下载:0
[软件工程] ICEE_Paper_Shishegar_HSZ
说明:Global Shape Analysis of Hippocampus in Epilepsy Using Laplace- Beltrami Spectrum<farhad> 在 2024-11-16 上传 | 大小:204kb | 下载:0