**Introduction to Automata Theory, Languages, and Computation (2nd Edition)**It has been more than 20 years since this classic book on formal languages, automata theory, and computational complexity was first published. With this long-awaited revision, the authors continue to present the theory in a concise and straightforward manner, now with an eye out for the practical applications. They have revised this book to make it... | | **Computation Engineering: Applied Automata Theory and Logic**The computer hardware and software industry is committed to using formal methods. As a result, it is crucial that students who take automata theory and logic courses retain what they have learned and understand how to use their knowledge. Yet many textbooks typically emphasize automata theory only, not logic, thus losing a valuable opportunity... | | **The Practical Bioinformatician**Computer scientists have increasingly been enlisted as "bioinformaticians" to assist molecular biologists in their research. This book is a practical introduction to bioinformatics for these computer scientists. The chapters are in-depth discussions by expert bioinformaticians on both general techniques and specific approaches to a range... |