Category: Computer Science

View Categories / Computers & the Internet / Computer Science

Sort

Showing 1-5 of 5

Computer Sciences: Macmillan Science Library

By: N/A

Price: $102.00

Publisher: Macmillan Reference USA: 2002-06-10

Seller ID: 0028655664-01

ISBN: 0028655664

Condition: VeryGood

Full set in 4 volumes - crisp clean w/light shelfwear/edgewear - may have remainder markJumbo-sized.
View More...

Image for Artificial Intelligence: An MIT Perspective: Understanding Vision/Manipulation/Computer Design/Symbol Manipulation (Volume 2) (Artificial Intelligence Series)

Artificial Intelligence: An MIT Perspective: Understanding Vision/Manipulation/Computer Design/Symbol Manipulation (Volume 2) (Artificial Intelligence Series)

By: N/A

Price: $5.98

Publisher: The MIT Press: 1982-02-24

Seller ID: M0262730596Z3

ISBN: 0262730596

Condition: Good

Standard-sized. G - Bumped and creased book with tears to the extremities, but not affecting the text block, may have remainder mark or previous owner's name - GOOD
View More...

Image for Computer Aided Verification: 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (1855))

Computer Aided Verification: 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (1855))

By: N/A

Price: $25.98

Publisher: Springer: 2000-06-28

Seller ID: M3540677704Z3

ISBN: 3540677704

Condition: Good

This volume contains the proceedings of the 12th International Conference on Computer Aided Veri?cation (CAV 2000) held in Chicago, Illinois, USA during 15-19 July 2000. The CAV conferences are devoted to the advancement of the theory and practice of formal methods for hardware and software veri?cation. The con- rence covers the spectrum from theoretical foundations to concrete applications, with an emphasis on veri?cation algorithms, methods, and tools together with techniques for their implementation. The conference has traditionally drawn contributions from both researchers and practitioner...
View More...

Moths to the Flame: The Seductions of Computer Technology

By: Gregory J. E. Rawlings

Price: $2.95

Publisher: A Bradford Book: 1997-05-09

Seller ID: M0262680971Z2

ISBN: 0262680971

Condition: VeryGood

In Moths to the Flame, Gregory Rawlins takes us on a humorous yet thought-provoking tour of the world wrought by modern technology.The book's first four chapters explore the worlds of privacy, virtual reality, publishing, and computer networks, while the last four focus on social issues such as warfare, jobs, computer catastrophes, and the future itself. Throughout, eye-opening historical comparisons give a context for the computer age, showing how new technologies have always bred hope and resistance. Provocative yet balanced and sophisticated, Moths to the Flame is an indispensable...
View More...

Complexity Issues in VLSI: Optimal Layouts for the Shuffle-Exchange Graph and Other Networks (Foundations of computing)

By: Leighton, Frank Thomson

Price: $10.96

Publisher: The MIT Press: 1983-09-20

Seller ID: FORN205-324-603

ISBN: 0262121042

Condition: Good

1983 MIT Press hardcover, no dj as issued, with some shelfwear/edgewear, GOODStandard-sized.
View More...

$0.00 (0 Items)

Category: Computer Science

Computer Sciences: Macmillan Science Library

Artificial Intelligence: An MIT Perspective: Understanding Vision/Manipulation/Computer Design/Symbol Manipulation (Volume 2) (Artificial Intelligence Series)

Computer Aided Verification: 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (1855))

Moths to the Flame: The Seductions of Computer Technology

Complexity Issues in VLSI: Optimal Layouts for the Shuffle-Exchange Graph and Other Networks (Foundations of computing)