Automata
|
|
|
| |
 enlarge
| | Cellular Automata: Theory and Experiment (Special Issues of Physica D)
Author: Howard Gutowitz
List Price: $52.00
Buy New: $38.90
You Save: $13.10 (25%)
New (10) Used (8) from $7.95
Avg. Customer Rating:  1 reviews
Sales Rank: 1303581
Category: Book
ASIN: 0262570866
Publication Date: August 28, 1991
Availability: Usually ships in 1-2 business days
|  | | Introduction to the Theory of Automata
Author: Zamir Bavel
List Price: $46.90
Buy Used: $2.95
You Save: $43.95 (94%)
Used (9) from $2.95
Sales Rank: 1719538
Category: Book
ASIN: 0835932710
Publication Date: March 1983
Availability: Usually ships in 1-2 business days
Condition: Hardcover Edition-Average Wear-Few Markings-No Dustjacket
|
|
enlarge
| | Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence)
Author: Harald Ganzinger
List Price: $79.95
Buy New: $12.95
You Save: $67.00 (84%)
New (14) Used (9) from $4.75
Sales Rank: 1795936
Category: Book
ASIN: 3540662227
Publication Date: July 30, 1999
Availability: Usually ships in 1-2 business days
| 
enlarge
| | Discrete-Event Simulation
Author: George S. Fishman
List Price: $99.00
Buy New: $69.80
You Save: $29.20 (29%)
New (11) Used (10) from $45.00
Avg. Customer Rating: 1 reviews
Sales Rank: 1179150
Category: Book
ASIN: 0387951601
Publication Date: June 27, 2001
Availability: Usually ships in 1-2 business days
|
|
enlarge
| | A Concise Introduction to Languages and Machines (Undergraduate Topics in Computer Science)
Author: Alan P. Parkes
List Price: $29.95
Buy New: $23.85
You Save: $6.10 (20%)
New (28) Used (6) from $15.77
Sales Rank: 1550865
Category: Book
ASIN: 1848001207
Publication Date: September 5, 2008
Availability: Usually ships in 1-2 business days
| 
enlarge
| | Automata Theory
Author: Matthew Simon
List Price: $76.00
Buy New: $73.45
You Save: $2.55 (3%)
New (9) Used (7) from $71.92
Avg. Customer Rating:  3 reviews
Sales Rank: 1885985
Category: Book
ASIN: 9810237537
Publication Date: July 15, 1999
Availability: Usually ships in 1-2 business days
|
|
| | Robot Manipulators: Mathematics, Programming, and Control (Artificial Intelligence)
Author: Richard P. Paul
List Price: $45.00
Buy Used: $7.74
You Save: $37.26 (83%)
Used (14) Collectible (1) from $7.74
Avg. Customer Rating:  2 reviews
Sales Rank: 1250025
Category: Book
ASIN: 026216082X
Publication Date: November 2, 1981
Availability: Usually ships in 1-2 business days
Condition: With pride from Motor City. All books guaranteed. Best Service, best prices.
| 
enlarge
| | Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science)
Author: Reinhard Kahle
List Price: $54.95
Buy New: $44.37
You Save: $10.58 (19%)
New (14) Used (5) from $44.37
Sales Rank: 2303526
Category: Book
ASIN: 354042752X
Publication Date: December 6, 2001
Shipping: Eligible for Super Saver Shipping
Availability: Usually ships in 24 hours
|
|
enlarge
| | Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)
Authors: Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
List Price: $69.95
Buy New: $54.40
You Save: $15.55 (22%)
New (15) Used (8) from $54.40
Avg. Customer Rating: 1 reviews
Sales Rank: 1489372
Category: Book
ASIN: 3540433767
Publication Date: May 3, 2002
Availability: Usually ships in 1-2 business days
| 
enlarge
| | Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings ... / Lecture Notes in Artificial Intelligence)
Author: Pierangelo Miglioli
Buy New: $74.95
New (10) Used (8) from $17.04
Sales Rank: 2816497
Category: Book
ASIN: 3540612084
Publication Date: April 30, 1996
Shipping: Eligible for Super Saver Shipping
Availability: Usually ships in 24 hours
|
|
|
|
