* 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 開發(fā)框架! 編譯說明： * 若要生成Api Javadoc文檔，請執(zhí)行在當前目錄下執(zhí)行命令"ant javadoc" * 若要新生成FastJar.jar框架運行包，請在當前目錄下執(zhí)行命令"ant jar" 文件組織說明： * build-dependency目錄包含編譯FastJsp所需支持包 * doc目錄下包含相關(guān)軟件用戶及api文檔 * examples下包含F(xiàn)astJsp開發(fā)范例.要運行范例，請運行范例文檔下build.xml中的"deploy"任務 * src目錄下包含F(xiàn)astJsp框架的所有源代碼
上傳時間： 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
蟲蟲下載站版權(quán)所有 京ICP備2021023401號-1
