Automata
|
|
|
| |
 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.95
You Save: $15.00 (21%)
New (13) Used (8) from $54.95
Avg. Customer Rating:  1 reviews
Sales Rank: 642237
Category: Book
ASIN: 3540433767
Publication Date: May 3, 2002
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: $24.19
You Save: $5.76 (19%)
New (15) Used (4) from $15.77
Sales Rank: 830723
Category: Book
ASIN: 1848001207
Publication Date: September 5, 2008
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 Computer Science)
Author: Pierangelo Miglioli
Buy New: $74.95
New (6) Used (8) from $23.60
Sales Rank: 607729
Category: Book
ASIN: 3540612084
Publication Date: April 30, 1996
Shipping: Eligible for Super Saver Shipping
Availability: Usually ships in 24 hours
| 
enlarge
| | Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science)
Author: Claude Kirchner
List Price: $93.00
Buy New: $3.70
You Save: $89.30 (96%)
New (12) Used (11) from $3.70
Sales Rank: 962826
Category: Book
ASIN: 3540646752
Publication Date: July 31, 1998
Availability: Usually ships in 1-2 business days
|
|
enlarge
| | Automated Theorem Proving: Theory and Practice
Author: Monty Newborn
List Price: $109.00
Buy New: $81.20
You Save: $27.80 (26%)
New (8) Used (11) from $39.95
Avg. Customer Rating:  1 reviews
Sales Rank: 1010171
Category: Book
ASIN: 0387950753
Publication Date: December 15, 2000
Availability: Usually ships in 1-2 business days
| 
enlarge
| | Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings (Lecture Notes in Computer Science)
Author: David Mcallester
List Price: $89.95
Buy New: $3.98
You Save: $85.97 (96%)
New (8) Used (8) from $3.76
Sales Rank: 1133793
Category: Book
ASIN: 3540676643
Publication Date: June 22, 2000
Availability: Usually ships in 1-2 business days
|
|
enlarge
| | Diagrammatic Representation and Reasoning
Author: Michael Anderson
List Price: $149.00
Buy New: $118.55
You Save: $30.45 (20%)
New (16) Used (5) from $118.55
Sales Rank: 1141930
Category: Book
ASIN: 1852332425
Publication Date: November 9, 2001
Shipping: Eligible for Super Saver Shipping
Availability: Usually ships in 24 hours
| 
enlarge
| | Discrete-Event Simulation
Author: George S. Fishman
List Price: $99.00
Buy New: $74.25
You Save: $24.75 (25%)
New (9) Used (8) from $72.00
Avg. Customer Rating: 1 reviews
Sales Rank: 981609
Category: Book
ASIN: 0387951601
Publication Date: June 27, 2001
Availability: Usually ships in 1-2 business days
|
|
enlarge
| | A Second Course in Formal Languages and Automata Theory
Author: Jeffrey Shallit
List Price: $60.00
Buy New: $44.99
You Save: $15.01 (25%)
New (11) Used (3) from $44.99
Sales Rank: 1264477
Category: Book
ASIN: 0521865727
Publication Date: September 8, 2008
Availability: Usually ships in 1-2 business days
| 
enlarge
| | Automata Theory and its Applications (Progress in Computer Science and Applied Logic (PCS))
Authors: Bakhadyr Khoussainov, Anil Nerode
List Price: $89.95
Buy New: $49.15
You Save: $40.80 (45%)
New (15) Used (9) from $49.10
Sales Rank: 1232524
Category: Book
ASIN: 0817642072
Publication Date: June 8, 2001
Availability: Usually ships in 1-2 business days
|
|
|
|
