Книги. Художественная литература. Учебники и пособия.

-

Donna L. Baker

Adobe Acrobat is one of the most widely recognized tools for document management, office communications, and improved workflow, and Acrobat 8 is the most powerful version yet, introducing new tools for shared reviews, creating automated forms, license management, additional security, and many others. Now that PDF has become the ubiquitous electronic document format, industries as diverse as engineering, legal, manufacturing, and government all rely on Acrobat to make their tasks run smoother and more efficiently. Here to help guide you, Acrobat expert Donna Baker presents real-life scenarios that you can apply to any situation in which document control and management is an issue. With practical advice, productivity tips, and step-by-step directions for using the latest Acrobat features, Acrobat 8 in the Office will help you understand the broad capabilities of this a€?what-can’t-it-do?a€? software. Among other useful features, this book also • Shows you how...

This volume presents proceedings from the 19th IFIP World Computer Congress in Santiago, Chile. The proceedings of the World Computer Congress are a product of the gathering of 2,000 delegates from more than 70 countries to discuss a myriad of topics in the ICT domain. Of particular note, this marks the first time that a World Computer Congress has been held in a Latin American country. Topics in this series include: The 4th International Conference on Theoretical Computer Science Education for the 21st Century- Impact of ICT and Digital Resources Mobile and Wireless Communication Networks Ad-Hoc Networking Network Control and Engineering for QoS, Security, and Mobility The Past and Future of Information Systems: 1976-2006 and Beyond History of Computing and Education Biologically Inspired Cooperative Computing Artificial Intelligence in Theory and Practice Applications in Artificial Intelligence Advanced Software Engineering: Expanding the Frontiers of...

This proceedings volume documents recent cutting-edge developments in multi-robot systems research. This volume is the result of the Third International workshop on Multi-Robot Systems that was held in March 2005 at the Naval Research Laboratory in Washington, D.C. This workshop brought together top researchers working in areas relevant to designing teams of autonomous vehicles, including robots and unmanned ground, air, surface, and undersea vehicles. The workshop focused on the challenging issues of team architectures, vehicle learning and adaptation, heterogeneous group control and cooperation, task selection, dynamic autonomy, mixed initiative, and human and robot team interaction. A broad range of applications of this technology are presented in this volume, including UCAVS (Unmanned Combat Air Vehicles), micro-air vehicles, UUVs (Unmanned Underwater Vehicles), UGVs (Unmanned Ground vehicles), planetary exploration, assembly in space, clean-up, and urban search and rescue. This...

Jerry Banks, John Carson, Barry L. Nelson, David Nicol

This book provides a basic treatment of discrete-event simulation, including the proper collection and analysis of data, the use of analytic techniques, verification and validation of models, and designing simulation experiments. Contains up-to-date treatment of simulation of manufacturing and material handling systems. Includes numerous solved examples. Offers an integrated website. Explains how to interpret simulation software output. For those interested in learning more about discrete-event simulation.

Kay Johnson, Elaine Magusin

Exploring the Digital Library, a volume in The Jossey-Bass Online Teaching and Learning series, addresses the key issue of library services for faculty and their students in the online learning environment. Written by librarians at Athabasca University, a leading institution in distance education, this book shows how faculty can effectively use digital libraries in their day-to-day work and in the design of electronic courses. Exploring the Digital Library is filled with information, ideas, and Discusses how information and communication technologies are transforming scholarship communication Provides suggestions for integrating digital libraries into teaching and course development Describes approaches to promoting information literacy skills and integrating these skills across the curriculum Outlines the skills and knowledge required in digital library use Suggests opportunities for faculty and librarians to collaborate...

Colleen Macdonell

-

Mark Utting, Bruno Legeard

This book gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics. The book focuses on the mainstream practice of functional black-box testing and covers different styles of models, especially transition-based models (UML state machines) and pre/post models (UML/OCL specifications and B notation). The steps of applying model-based testing are demonstrated on examples and case studies from a variety of software domains, including embedded software and information systems. From this book you will learn: * The basic principles and terminology of model-based testing * How model-based testing differs from other testing processes * How model-based testing fits into typical software lifecycles such as agile methods and the...

Kirk Steers

-

D. Paul Benjamin