Automata
|
|
|
| |
 enlarge
| | Automata, Languages and Programming: 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings (Lecture Notes in Computer Science)
Author: Jiri Wiedermann
List Price: $118.00
Buy New: $24.95
You Save: $93.05 (79%)
New (11) Used (5) from $24.95
Sales Rank: 5062090
Category: Book
ASIN: 3540662243
Publication Date: July 30, 1999
Availability: Usually ships in 1-2 business days
|  | | Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science)
Author: Lawrence C. Paulson
Buy New: $112.82
Sales Rank: 4334823
Category: Book
ASIN: 0387582444
Publication Date: July 1994
Availability: Usually ships in 1-2 business days
|
|
| | Automata, Languages, and Programming: 16th International Colloquium Stresa, Italy, July 11-15, 1989 Proceedings (Lecture Notes in Computer Science)
Authors: G. Ausiello, M. Dezani-ciancaglini
Buy New: $175.44
New (1) Used (2) from $73.50
Sales Rank: 6421630
Category: Book
ASIN: 038751371X
Publication Date: August 1989
Availability: Usually ships in 1-2 business days
| | | 31st IEEE International Symposium on Multiple-Valued Logic: Proceedings : 22-24 May 2001 Warsaw, Poland (International Symposium on Multiple-Valued Logic//Proceedings)
Author: International Symposium On Multiple-valued Logic
Buy New: $155.00
New (2) Used (4) from $148.98
Category: Book
ASIN: 0769510833
Publication Date: June 2001
Shipping: Eligible for Super Saver Shipping
Availability: In stock soon. Order now to get in line. First come, first served.
|
|
enlarge
| | Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science)
Author: Thierry Coquand
List Price: $59.95
Buy New: $59.35
You Save: $0.60 (1%)
New (14) Used (4) from $59.35
Sales Rank: 5887263
Category: Book
ASIN: 3540415173
Publication Date: February 8, 2001
Availability: Usually ships in 1-2 business days
| 
enlarge
| | Automata, Languages and Programming: 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002. Proceedings (Lecture Notes in Computer Science)
Author: Peter Widmayer
List Price: $122.00
Buy Used: $25.00
You Save: $97.00 (80%)
Used (4) from $25.00
Sales Rank: 4912932
Category: Book
ASIN: 3540438645
Publication Date: August 15, 2002
Availability: Usually ships in 1-2 business days
|
|
enlarge
| | Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1 (Monographs in Theoretical Computer Science. An EATCS Series)
Author: Kurt Jensen
List Price: $99.00
Buy New: $79.11
You Save: $19.89 (20%)
New (4) Used (3) from $69.00
Avg. Customer Rating:  4 reviews
Sales Rank: 1506537
Category: Book
ASIN: 3540609431
Publication Date: April 28, 2003
Shipping: Eligible for Super Saver Shipping
Availability: Usually ships in 24 hours
| | | Automated Practical Reasoning: Algebraic Approaches (Texts and Monographs in Symbolic Computation)
Author: Jochen Pfalzgraf
Buy New: $123.65
New (1) Used (7) from $2.92
Category: Book
ASIN: 0387826009
Publication Date: January 1995
Availability: Usually ships in 1-2 business days
|
|
| | Automata, Languages, and Programming: Eighth Colloquium, Acre (Lecture Notes in Computer Science)
Author: Languages, And Programming International Colloquium On Automata
List Price: $84.95
Buy Used: $12.00
You Save: $72.95 (86%)
Category: Book
ASIN: 0387108432
Publication Date: March 1982
Availability: Usually ships in 1-2 business days
Condition: Ex-Library / Legendary independent bookstore online since 1994. Reliable customer service and no-hassle return policy.
| 
enlarge
| | Finite Automata, Formal Logic, and Circuit Complexity (Progress in Theoretical Computer Science)
Author: Howard Straubing
List Price: $99.00
Buy New: $55.00
You Save: $44.00 (44%)
New (13) Used (12) from $17.10
Sales Rank: 1966345
Category: Book
ASIN: 0817637192
Publication Date: May 3, 1994
Availability: Usually ships in 1-2 business days
|
|
|
|
