* 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
上传用户：笨小孩
欢迎使用 FastJsp 开发框架! 编译说明： * 若要生成Api Javadoc文档，请执行在当前目录下执行命令"ant javadoc" * 若要新生成FastJar.jar框架运行包，请在当前目录下执行命令"ant jar" 文件组织说明： * build-dependency目录包含编译FastJsp所需支持包 * doc目录下包含相关软件用户及api文档 * examples下包含FastJsp开发范例.要运行范例，请运行范例文档下build.xml中的"deploy"任务 * src目录下包含FastJsp框架的所有源代码
上传时间： 2016-05-06
上传用户：417313137
Welcome to Beginning Algorithms, a step-by-step introduction to computing algorithms for the real world. Developers use algorithms and data structures every day of their working lives. Having a good understanding of these algorithms and knowledge of when to apply them is essential to producing software that not only works correctly, but also performs efficiently. This book aims to explain those algorithms and data structures most commonly encountered in day-today software development, while remaining at all times practical, concise, and to the point, with little or no verbiage to distract from the core concepts and examples.
标签： step-by-step introduction Algorithms algorithms
上传时间： 2016-05-08
上传用户：wlcaption
IBM® Rational® Application Developer V6.0 is the full function Eclipse 3.0 based development platform for developing Java™ 2 Platform Standard Edition (J2SE) and Java 2 Platform Enterprise Edition (J2EE) applications with a focus on applications to be deployed to IBM WebSphere® Application Server and IBM WebSphere Portal. Rational Application Developer provides integrated development tools for all development roles, including Web developers, Java developers, business analysts, architects, and enterprise programmers. This IBM Redbook is a programming guide that highlights the features and tooling included with IBM Rational Application Developer V6.0. Many of the chapters provide working examples that demonstrate how to use the tooling to develop applications as well as achieve the benefits of visual and rapid Web development.
标签： Application development Developer reg
上传时间： 2013-12-16
上传用户：米卡
Real-Time Digital Signal Processing Implementations, Applications, and Experiments with the TMS320C55x John Wiley & Sons, Inc. 2001 By Sen M. Kuo and Bob H. Lee Additional Examples TMS320C5510 EVM – Real-time Dual-channel Audio Example updated, Dec. 8, 2001)
标签： Implementations Applications Experiments Processing
上传时间： 2013-12-14
上传用户：时代电子小智
J2EE性能测试 ·J2EE1.4编程指南－中文版 ·Teach Yourself Java in 21 Days ·ant工具使用 ·Eclipse ME 中文文档 ·2007计算机Bible红版系列图书-JavaScript.Examples.Bible
标签： Yourself Eclipse Teach J2EE
上传时间： 2014-01-09
上传用户：520
This file contains a selection of VHDL source files which serve to illustrate the diversity and power of the language when used to describe various types of hardware. The examp terms of basic logic gates, to more complex systems, such as a behavioural model of a microprocessor and associated memory. All of the examples can be simulated using any synthesised using current synthesis tools.
标签： illustrate diversity selection contains
上传时间： 2016-06-06
上传用户：yimoney
The book is organized around 55 specific guidelines, each of which describes a way to write better C++. Each is backed by concrete examples
标签： guidelines describes organized specific
上传时间： 2014-01-23
上传用户：远远ssad
研华USB温度测量USB-4718， 32-bit DLL Driver Examples for VB, VC++, Delphi and BCB.
上传时间： 2013-11-25
上传用户：kernaling
This book is a complete reference to the C programming language and the C runtime library. As a Nutshell book, its purpose is to serve as a convenient, reliable companion for C programmers in their day-to-day work. It describes all the elements of the language and illustrates their use with numerous examples.
标签： programming reference the complete
上传时间： 2013-12-11
上传用户：天诚24
