 |
|
|
 Delphi 5 Developer's Guide (Developer's Guide)The Delphi 5 Developer's Guide is a complete reference showing developers what they need to know most about Delphi 5. The text begins with a tour of Delphi 5 basics, including improvements since version 1. After observing object-oriented Pascal programming, including advanced language features, the authors turn to the strengths of using the Visual... |  |  A Distributed Pi-CalculusDistributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behavior are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behavior of mobile agents in a distributed world. It is based on an existing formal language, the... |  |  An Introduction to Partial Differential Equations"This is an introductory book on the subject of partial differential equations which is suitable for a large variety of basic courses on this topic. In particular, it can be used as a textbook or self-study book for large classes of readers with interests in mathematics, engineering, and related fields. Its usefulness stems from its clarity,... |
|
 |  |  |  |  Principles of Model CheckingOur growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a... |
|
 |  |  Rationale-Based Software EngineeringMany decisions are required throughout the software development process. These decisions, and to some extent the decision-making process itself, can best be documented as the rationale for the system, which will reveal not only what was done during development but the reasons behind the choices made and alternatives considered and rejected. This... |  |  Logic Pro 8: Audio and Music ProductionLogic is a powerful piece of software that can often prove to be daunting and difficult to navigate but help is at hand whether you are a Pro or Express use. By providing comprehensive and systematic coverage of the software philosophy and the features of the programme in detail, this book will enable you to get the most out of Logic when creating... |
|
| Result Page: 417 416 415 414 413 412 411 410 409 408 407 406 405 404 403 402 401 400 399 |