搜索资源列表
Matlab 在微積分課程之應用
- matlab 使用方式 Matlab 在微積分課程之應用,matlab use calculus courses in Matlab Application
calculnumericID
- number calculus, gauss method, jordan descr iption
fengli
- 数值计算方法程序及试题，有关于二分查找，牛顿迭代法-The numerical calculus method procedures and the test question, have about two point search, Newton iteration method and so on
OSWork
- 实现操作系统中的三种存储管理方式演算过程-To achieve the operating system of the three kinds of memory management process calculus
matlab
- 这是初学者学习Matlab的经典课件，第一到五章，包含微积分问题、线性代数问题以及数据拟合方法等-This is the classic beginner learning courseware Matlab, first to the five chapters, including the issue of calculus, linear algebra problems, and data fitting methods
mathmaticsandpdeinimageprocess
- 数学在数字图像处理中的研究及应用，包括家是变分法、偏微分方程等-Mathematics in the digital image processing research and applications, including home is the calculus of variations, partial differential equations, etc.
systemdesign
- 应用π演算方法,结合Petri网中的面向对象Petri网和时间Petri网,建立了嵌入式系统软件体系结构抽 象模型ESAM,研究了ESAM模型的动态演化、一致性和死锁。应用ESAM抽象模型,对车站信号联锁控制器进行了 建模与分析。-Application of π calculus, combined with Petri nets in object-oriented Petri nets and time Petri nets, embedded system software ar
Isabelle98.tar
- 用做定理证明、推理。可以扩展，比如与Z specification结合使用，做后期的verification。这个软件是软件工程学中formal method的一个很好的代表。-Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a lo
The-Matrix-CokeBook
- The Matrix CokeBook Excelent E-Book About Matrix Calculus
Vector-Calculus-Paul
- Vector Calculus theorem
Common-programming-calculus-notes
- 常見程式演算筆記 -Common programming calculus notes
[Solutions-Manual]-Anton-Bivens-Davis-CALCULUS-ea
- [Solutions Manual] Anton Bivens Davis CALCULUS early transcendentals 8th edition-[Solutions Manual] Anton Bivens Davis CALCULUS early transcendentals 8th edition
Vector-Calculus
- Vector Calculus, Linear Algebra and Differential Forms A Unified Approach
Integral-Calculus
- mathematica里面关于积分部分的讲解. 简单实用啦.-This is about the integral calculus in the Mathematica. Simple and useful.
Mathematics-Calculus
- Mathematics-CALCULUS FORMULAS
MATLAB-symbolic-calculus
- MATLAB的符号 微积分运算，包括：求极限，微分运算，积分运算。-MATLAB symbolic calculus, including: limit, differential, integral calculus.
Calculus 2008
- Calculus II for Dummies 2008
《A tutorial implementation of a dependently typed Lambda Calculus》
- 《A tutorial implementation of a dependently typed Lambda Calculus》
《An Introduction to Functional Programming through Lambda Calculus》
- 《An Introduction to Functional Programming through Lambda Calculus》
《Programming Languages and Lambda Calculus》
- 《Programming Languages and Lambda Calculus》