Theory of Computation

In these early years of the 21st Century, resea...

Mathematics of Program Construction

Automata and Computability

This textbook provides undergraduate students w...

The Design and Analysis of Algorithms

These are my lecture notes from CS681: Design a...

Automata and Computability

These are my lecture notes from CS381 481: Auto...

Theory of Computation

This textbook is uniquely written with dual pur...

The Design and Analysis of Algorithms

These are my lecture notes from CS681: Design a...

Mathematics of Program Construction

This volume contains the proceedings of MPC 200...

Automata and Computability

The aim of this textbook is to provide undergra...

Theory of Computation

This textbook is uniquely written with dual pur...

The Design and Analysis of Algorithms

These are my lecture notes from CS681: Design a...

Automata and Computability

The aim of this textbook is to provide undergra...