Automata
|
|
|
| |
 enlarge
| | A Concise Introduction to Languages and Machines (Undergraduate Topics in Computer Science)
Author: Alan P. Parkes
List Price: $29.95
Buy New: $26.95
You Save: $3.00 (10%)
New (16) Used (2) from $15.77
Sales Rank: 724581
Category: Book
ASIN: 1848001207
Publication Date: September 5, 2008
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.91
You Save: $89.09 (96%)
New (13) Used (11) from $3.91
Sales Rank: 605012
Category: Book
ASIN: 3540646752
Publication Date: July 31, 1998
Availability: Usually ships in 1-2 business days
|
|
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 (14) Used (8) from $54.95
Avg. Customer Rating:  1 reviews
Sales Rank: 322100
Category: Book
ASIN: 3540433767
Publication Date: May 3, 2002
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: $4.49
You Save: $85.46 (95%)
New (6) Used (7) from $4.49
Sales Rank: 857301
Category: Book
ASIN: 3540676643
Publication Date: June 22, 2000
Availability: Usually ships in 1-2 business days
|
|
enlarge
| | AutomatedTheorem Proving: Theory and Practice
Author: Monty Newborn
List Price: $109.00
Buy New: $81.20
You Save: $27.80 (26%)
New (9) Used (12) from $39.95
Avg. Customer Rating:  1 reviews
Sales Rank: 904981
Category: Book
ASIN: 0387950753
Publication Date: December 15, 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: 1036801
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: $65.66
You Save: $33.34 (34%)
New (10) Used (9) from $65.66
Avg. Customer Rating: 1 reviews
Sales Rank: 913477
Category: Book
ASIN: 0387951601
Publication Date: June 27, 2001
Availability: Usually ships in 1-2 business days
| 
enlarge
| | Nonlinear Workbook: Chaos, Fractals, Cellular Automata, Neural Networks, Genetic Algorithms, Gene Expression Programming, Wavelets, Fuzzy Logic - With C++, Java and SymbolicC++ Programs
Author: Willi-hans Steeb
Buy New: $88.00
New (3) Used (1) from $88.00
Avg. Customer Rating:  3 reviews
Sales Rank: 1044117
Category: Book
ASIN: 9812382127
Publication Date: February 2003
Shipping: Eligible for Super Saver Shipping
Availability: Usually ships in 24 hours
|
|
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 (13) Used (2) from $44.99
Sales Rank: 1137744
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.17
You Save: $40.78 (45%)
New (15) Used (8) from $49.17
Sales Rank: 1111518
Category: Book
ASIN: 0817642072
Publication Date: June 8, 2001
Availability: Usually ships in 1-2 business days
|
|
|
|
