Related Books

People and Computers X
Language: en
Pages: 454
Authors: M. A. R. Kirby
Categories: Computers
Type: BOOK - Published: 1995-10-12 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Human Computer Interaction (HCI) is concerned with every aspect of the relationship between computers and people (individuals, groups and society). The annual m
Mac OS X Lion Bible
Language: en
Pages: 866
Authors: Galen Gruman
Categories: Computers
Type: BOOK - Published: 2011-08-04 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

A comprehensive guide to all aspects of Mac's newest operating system, OS X Lion The latest Mac operating system takes full advantage of the latest multi-touch
Formal Methods in Computer Science
Language: en
Pages: 313
Authors: Jiacun Wang
Categories: Computers
Type: BOOK - Published: 2019-06-21 - Publisher: CRC Press

DOWNLOAD EBOOK

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It ha
Library of Congress Subject Headings
Language: en
Pages: 972
Authors: Library of Congress
Categories: Subject headings, Library of Congress
Type: BOOK - Published: 2013 - Publisher:

DOWNLOAD EBOOK

Engineering Societies in the Agents World X
Language: en
Pages: 270
Authors: Huib Aldewereld
Categories: Computers
Type: BOOK - Published: 2009-11-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 10th International Workshop on Engineering Societies in the Agents World, ESAW 2009, held in Utrecht, The