* Explains process algebra and protocol specification using µ CRL, a language developed to combine process algebra and abstract data types
* Tex...
ATViewer is a component for Delphi/C++Builder, which allows to view files of various types. There is no edit possibility, just quick view - so it s us...
Exuberant Ctags is a multilanguage reimplementation of the much-underused
ctags(1) program and is intended to be the mother of all ctags programs. It...
Digital Signal and Image Processing Using MATLAB
The most important theoretical aspects of image and signal processing (ISP) for both deterministic a...