* Explains process algebra and protocol specification using µ CRL, a language developed to combine process algebra and abstract data types * Text is supported throughout with examples and exercises * Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author s website
标签： specification developed Explains language
上传时间： 2016-04-27
上传用户：笨小孩
A .zip file contains a series of scripts that were used in the MathWorks webinar "Using MATLAB to Develop Portfolio Optimization Models." The scripts generate 3D efficient frontiers for a universe of 44 stocks with time as the third axis. Additional scripts perform various ex-ante and ex-post analyses. Results are generated with and without market adjustments in the data. A readme.txt. file in the .zip folder describes each script and how to use it
标签： MathWorks contains scripts webinar
上传时间： 2014-01-04
上传用户：trepb001
oJPEG2000中DWT的MATLAB实现n the use of discrete cosine transform DCT jpeg compression Matlab source, simple and practical, the Notes have a good time
标签： compression transform discrete MATLAB
上传时间： 2013-12-14
上传用户：luopoguixiong
Agilent.ADS.Using Circuit Simulators[2004-09].pdf
标签： Simulators Agilent Circuit Using
上传时间： 2016-04-28
上传用户：天涯
AC Induction Motor Control Using Constant V/Hz Principle and Space Vector PWM Technique with TMS320C240
标签： Induction Principle Technique Constant
上传时间： 2013-12-25
上传用户：baitouyu
labview uart data recieve and transform...it is useful for you
标签： transform labview recieve useful
上传时间： 2014-08-06
上传用户：cccole0605
基于基本遗传算法的函数最优化 SGA.C A Function Optimizer using Simple Genetic Algorithm developed from the Pascal SGA code presented by David E.Goldberg
标签： Algorithm Optimizer developed Function
上传时间： 2016-05-05
上传用户：520
采用多孔trous算法(undecimated wavelet transform)实现小波变换，希望对大家有用
标签： undecimated transform wavelet trous
上传时间： 2016-05-06
上传用户：gyq
The files include LDPC that using different approach to finish its decoding.And the approach is parallel.
标签： approach different decoding include
上传时间： 2016-05-06
上传用户：zmy123
ppc750 system design simulator using system c
标签： system simulator design using
上传时间： 2014-01-09
上传用户：ghostparker
