»
Advances in Computers
 
 

Advances in Computers, 1st Edition

 
Advances in Computers, 1st Edition,Marvin Zelkowitz,ISBN9780080459677
 
 
 

M Zelkowitz   

Academic Press

9780080459677

390

eBook
eBook Overview

VST format:

DRM Free included formats: PDF

USD 185.00
Add to Cart
 
 

Key Features

* In-depth surveys and tutorials on new computer technology.
* Well-known authors and researchers in the field.
* Extensive bibliographies with most chapters.
* Impact of AI on software development and impact of software development on correct AI programs.
* What is the educational role of mathematics in the development of the next generation of computer professional?

Description

This present volume describes some of the latest advances in the computer science field today. This current volume emphasizes information processing with chapters on artificial intelligence, data bases and software engineering. In particular it looks at the interfaces between AI and software development with chapters on how AI affects the development of correct programs, and conversely, how software engineering can affect the development of correct AI programs.

Key Features:

* In-depth surveys and tutorials on new computer technology.
* Well-known authors and researchers in the field.
* Extensive bibliographies with most chapters.
* Impact of AI on software development and impact of software development on correct AI programs.
* What is the educational role of mathematics in the development of the next generation of computer professional?

Readership

Computer Scientists, Professionals in Artificial Intelligence

Marvin Zelkowitz

Ph.D., MS, BS.

Affiliations and Expertise

University of Maryland, Department of Computer Science, College Park, USA

View additional works by Marvin Zelkowitz

Advances in Computers, 1st Edition

Preface.
Contributors.

Chapter 1. The state of artificial intelligence by Adrian A. Hopgood

Chapter 2. Software model checking with SPIN by Gerard J. Holzmann

Chapter 3. Early Cognitive Computer Vision by Jan-Mark Geusebroek

Chapter 4. Verification and Validation and Artificial Intelligence by Tim Menzies and Charles Pecheur

Chapter 5. Indexing, Learning and Content-based Retrieval for Special Purpose Image Databases by Mark J. Huiskes and Eric J. Pauwels

Chapter 6. Defect Analysis: Basic Techniques for Management and Learning by David N. Card

Chapter 7. Function Points by Christopher J. Lokan

Chapter 8. The Role of Mathematics in Computer Science and Software Engineering Education by Peter B. Henderson
 
 
Back To School Sale | Use Promo Code BTS14
Shop with Confidence

Free Shipping around the world
▪ Broad range of products
▪ 30 days return policy
FAQ