Advances in computers. Volume 43 /
Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in hardware and software and in computer theory, design, and applications. It has also provided contributorswith a medium in which they can examine their subjects in greater depth and breadth than th...
Clasificación: | Libro Electrónico |
---|---|
Otros Autores: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
San Diego :
Academic Press,
�1996.
|
Colección: | Advances in computers ;
43 |
Temas: | |
Acceso en línea: | Texto completo Texto completo |
Tabla de Contenidos:
- Front Cover; Advances in Computers, Volume 43; Copyright Page; Contents; Preface; Contributors; Chapter 1. Program Slicing; Chapter 2. Language Features for the Interconnection of Software Components; Chapter 3. Using Model Checking to Analyze Requirements and Designs; Chapter 4. Information Technology and Productivity: A Review of the Literature; Chapter 5. The Complexity of Problems; Chapter 6. 3-D Computer Vision Using Structured Light: Design. Calibration, and Implementation Issues; Author Index; Subject Index; Contents of Volumes in This Series.