Automata Theory
 Author: Matthew Simon Binding: Hardcover Dewey Decimal Number: 511.3 EAN: 9789810237530 ISBN: 9810237537 Number Of Pages: 428 Publication Date: 1999-07 [... more]
CDN$76.25
Amazon CA |
An Introduction to Formal Languages and Automata
for the brainy one: Lot of review didn't like this book simply because it was "confusing", well this subject is inherently confused. I had to use this book for one of my course, and to my opinion is it a good book, it does a good job of [... more]
CDN$99.28
Amazon CA |
Automata and Mechanical Toys
Excellent book! Great color pictures and diagrams: This has got to be one of the best books on the subject of automata and mechanical theatre. There are lots of great color pictures and diagrams to build your own automata. Worth the money! A Must for [... more]
CDN$46.88
Amazon CA |
Automata and Computability
Very good as a textbook: This is the textbook I used for my Honors Introduction to Theory of Computing course which was taught by Kozen. This book is very well organized, each chapter corresponds exactly to one lecture, so it's almost like a collection [... more]
CDN$74.14
Amazon CA |
Introduction to Automata Theory, Languages, and Computation
From Amazon.com: This book is a rigorous exposition of formal languages and models of computation, with an introduction to computational complexity. The authors present the theory in a concise and straightforward manner, with an eye out for the practical [... more]
CDN$158.36
Amazon CA |
Automated Deduction in Multiple-Valued Logics
Author: Reiner Hahnle Binding: Hardcover Dewey Decimal Number: 511.3 EAN: 9780198539896 ISBN: 0198539894 Number Of Pages: 184 Publication Date: 1993-09 [... more]
CDN$79.50
Amazon CA |
Handbook of Tableau Methods
Binding: Hardcover Dewey Decimal Number: 511.3 EAN: 9780792356271 Edition: 1 ISBN: 0792356276 Number Of Pages: 680 Publication Date: 1999-03-31 [... more]
CDN$409.02
Amazon CA |
Diagrammatic Reasoning: Cognitive and Computational ...
Binding: Paperback Dewey Decimal Number: 006.33 EAN: 9780262571128 ISBN: 0262571129 Number Of Pages: 798 Publication Date: 1995-08-04 [... more]
CDN$78.14
Amazon CA |
Cellular Automaton Modeling of Biological Pattern ...
Author: Andreas Deutsch Author: Sabine Dormann Binding: Hardcover Dewey Decimal Number: 571.3 EAN: 9780817642815 Edition: 1 ISBN: 0817642811 Number Of Pages: 300 Publication Date: 2004-10-28 [... more]
CDN$110.39
Amazon CA |
Diagrammatic Representation and Reasoning
Binding: Paperback Dewey Decimal Number: 006.3 EAN: 9781852332426 Edition: 1 ISBN: 1852332425 Number Of Pages: 584 Publication Date: 2001-11-09 [... more]
CDN$173.64
Amazon CA |
Discrete-Event Simulation: Modeling, Programming, and ...
Author: George S. Fishman Binding: Hardcover Dewey Decimal Number: 658.40352 EAN: 9780387951607 Edition: 1 ISBN: 0387951601 Number Of Pages: 558 Publication Date: 2001-06-27 [... more]
CDN$118.36
Amazon CA |
Handbook of Automated Reasoning
Required reading for ATP researchers: I've found this to be the best introduction to (mostly classical) automated theorem proving. The matter is clearly presented and can be understood even by non-logicians. In the first part of the book there is a solid [... more]
CDN$165.55
Amazon CA |
