R. Ramanujam

This book constitutes the refereed proceedings of the 25th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2005, held in Hyderabad, India, in December 2005. The 38 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 167 submissions. A broad variety of current topics from the theory of computing are addressed, ranging from software science, programming theory, systems design and analysis, formal methods, mathematical logic, mathematical foundations, discrete mathematics, combinatorial mathematics, complexity theory, and automata theory to theoretical computer science in general.

25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

This book will serve as a stepping stone for the undergraduate students in Electrical & Electronics Engineering for further specialization. It is a core subject in the curriculum for post-graduate Power Electronics and Power Systems Engineering disciplines offered by most of the universities and educational institutions. The book starts with the fundamental concepts such as phasors and reference frames which are not usually elaborated at the undergraduate level thereby providing smooth transition to more advanced topics as specified in the various syllabi. The book is also suitable for final semester undergraduate students and practising engineers.

Modeling and Analysis of Electrical Machine

Sundar Sarukkai

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 5th volume of the FoLLI LNAI subline. It contains the refereed proceedings of the Third Indian Conference on Logic and Its Applications, ICLA 2009, held in Chennai, India, in January 2009. The 12 revised full papers presented together with 7 invited lectures were carefully reviewed and selected from numerous submissions. The papers present current research in all aspects of formal logic. They address in detail: algebraic logic and set theory, combinatorics and philosophical logic, modal logics with applications to computer science and game theory, and connections between ancient logic systems and modern systems.

Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings

Logic and Its Applications

C. Pandu Rangan

V. Raman

This book constitutes the refereed proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'99, held in Chennai, India, in December 1999. The 30 revised full papers presented were carefully reviewed and selected from a total of 84 submissions. Also included are six invited contributions. The papers presented address all current issues in theoretical computer science and programming theory.

19th Conference, Chennai, India, December 13-15, 1999 Proceedings

Foundations of Software Technology and Theoretical Computer Science

V. Arvind

This book constitutes the refereed proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98, held in Chennai, India, in December 1998. The 28 revised full papers presented were carefully selected from a total of 93 submissions; also included are six invited contributions. The papers deal with theoretical topics ranging from discrete mathematics and algorithmic aspects to software engineering, program semantics and mathematical logic.

R. Ramanujam

Books

Your next favorite book is out there