| Bestsellers | | • | Automated Theorem Proving: Theory and Practice | | • | Handbook of Automated Reasoning | | • | A Second Course in Formal Languages and Automata Theory | | • | Nonlinear Workbook: Chaos, Fractals, Cellular Automata, Neural Networks, Genetic Algorithms, Gene Expression Programming, Wavelets, Fuzzy Logic - With C++, Java and SymbolicC++ Programs | | • | Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science) | | • | Cellular Automata Machines: A New Environment for Modeling (Scientific Computation) | | • | A Concise Introduction to Languages and Machines (Undergraduate Topics in Computer Science) | | • | Semirings, Automata, Languages (Eatcs Monographs on Theoretical Computer Science, Vol 5) | | • | Cellular Automaton Modeling of Biological Pattern Formation | | • | Discrete-Event Simulation |
|
|
|
| Powered by Associate-O-Matic
| |
