Advances in Computers
, Volume 65
Volume 65, 2005
isbn 0-12-012165-4
Adrian A. Hopgood
: The state of artificial intelligence. 3-77
Gerard J. Holzmann
: Software model checking with SPIN. 78-109
Jan-Mark Geusebroek
: Early Cognitive Computer Vision. 110-153
Tim Menzies
,
Charles Pecheur
: Verification and Validation and Artificial Intelligence. 154-203
Mark J. Huiskes
,
Eric J. Pauwels
: Indexing, Learning and Content-based Retrieval for Special Purpose Image Databases. 204-259
David N. Card
: Defect Analysis: Basic Techniques for Management and Learning. 260-297
Christopher J. Lokan
: Function Points. 298-349
Peter B. Henderson
: The Role of Mathematics in Computer Science and Software Engineering Education. 350-396
Copyright ©
Sun Nov 15 05:22:05 2009 by
Michael Ley
(
ley@uni-trier.de
)