books shopping
HP Pavilion DV2050US 14.1
27 Oct 2008 Author: ray In: laptop computers
Microsoft Windows Vista Computer Based Training CD - Learn MS Windows Vista Operating System with 6 Hours of Lessons on CD That Are Well Organized From Basic to Advanced Features. Over 200 Vista OS Features Explained By an Experienced MS Vista Instructor: Brush up on Your Computer Software Skills with CBT Microsoft Vista Training: Software
27 Oct 2008 Author: ray In: computer systems
Electric Quilt Stash Spring 2008 Fabric Computer Software: Office Products
27 Oct 2008 Author: ray In: computer systems
Price:
$24.95
Practical Guide to Software Quality Management (Artech House Computer Library): John W. Horch: Books
27 Oct 2008 Author: ray In: computer systems
List Price:
$98.00
Price:
$78.40
& this item ships for FREE with Super Saver Shipping.
Details
You Save:
$19.60
(20%)
Special Offers Available
Editorial Reviews
Product Description
For professionals who need to design, implement or manage a quality software program, this volume identifies ten major components that make up a solid program in line with ISO 9001 quality management precepts. This second edition is expanded by over 20 per cent, with updated references, text revisions and new chapters on software safety and software risk management. It seeks to provide the starting points for a standardized documentation system, and better understanding of the individual program components and how they integrate to form the whole system.
About the Author
John W. Horch is certified as a Software Quality Analyst, Software Quality Examiner and Software Test Engineer. He presently verifies and validates documentation and software development programs on behalf of government and commercial clients and presents software quality seminars and workshops worldwide. A senior member of the IEEE and the ASQ, Dr. Horch chaired the IEEE Computer Society Software Subcommittee for 7 years. He holds an M.Sc. and a Ph.D. in information systems.
Product Details
Hardcover: 308 pages
Publisher: Artech House Publishers; 2nd edition (February 2003)
Language: English
ISBN-10: 1580535275
ISBN-13: 978-1580535274
Product Dimensions:
9.3 x 7.2 x 1 inches
By
Computational Logic (NATO ASI Series / Computer and Systems Sciences): Ulrich Berger, Helmut Schwichtenberg: Books
27 Oct 2008 Author: ray In: computer systems
List Price:
$156.00
Price:
$156.00
& this item ships for FREE with Super Saver Shipping.
Details
Special Offers Available
Editorial Reviews
Product Description
Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).
Product Details
Hardcover: 444 pages
Publisher: Springer; 1 edition (May 14, 1999)
Language: English
ISBN-10: 3540645896
ISBN-13: 978-3540645894
Product Dimensions:
9.2 x 6.1 x 1 inches
Lenovo ThinkPad T60 2007-4DU 14.1
27 Oct 2008 Author: ray In: laptop computers
Handbook of Human-Computer Interaction: m Helander: Books
27 Oct 2008 Author: ray In: computer systems
Editorial Reviews
Review
…a wealth of information that will extend most readers’ understanding of HCI and it forms an essential reference text for those working in this area. — Current Psychology Research
Digital Crime and Forensic Science in Cyberspace: Panagiotis Kanellis, Evangelos Kiountouzis, Nicholas Kolokotronis, Drakoulis Martakos: Books
27 Oct 2008 Author: ray In: computer systems
List Price:
$94.95
Price:
$94.95
