Rooma

Modern Applications Of Automata Theory

Automata theory has come into prominence in recent years with a plethora of applications in fields ranging from verification to XML processing and file compression. In fact, the 2007 Turing Award was awarded to Clarke, Emerson and Sifakis for their pioneering work on model-checking techniques. To the best of our knowledge, there is no single book that covers the vast range of applications of automata theory targeted at a mature student audience. This book is intended to fill that gap and can be used as an intermediate-level textbook. It begins with a detailed treatment of foundational material not normally covered in a beginner's course in automata theory, and then rapidly moves on to applications. The book is largely devoted to verification and model checking, and contains material that is at the cutting edge of verification technology. It will be an invaluable reference for software practitioners working in this area.

Acta Historica Tallinnensia

ARTIFICIAL INTELLIGENCE

Primarily intended for the undergraduate and postgraduate students of computer science and engineering, this textbook (earlier titled as Artificial Intelligence and Machine Learning), now in its second edition, bridges the gaps in knowledge of the seemingly difficult areas of artificial intelligence. This book promises to provide the most number of case studies and worked-out examples among the books of its genre. The text is written in a highly interactive manner which fulfils the curiosity of any reader. Moreover, the content takes off from the introduction to artificial intelligence, which is followed by explaining about intelligent agents. Various problem-solving strategies, knowledge representation schemes are also included with numerous case studies and applications. Different aspects of learning, nature-inspired learning, along with natural language processing are also explained in depth. The algorithms and pseudo codes for each topic make this book useful for students. Book also throws light into areas like planning, expert system and robotics. Book concludes with futuristic artificial intelligence, which explains the fascinating applications, that the world will witness in coming years. KEY FEATURES • Day-to-day examples and practical representations for deeper understanding of the subject. • Learners can easily implement the AI applications. • Effective and useful case studies and worked-out examples for AI problems. Target Audience • Students of B.E./B.Tech Computer Science Engineering • Students of M.E./M.Tech Computer Science Engineering