This textbook provides undergraduate students with an introduction to the basic theoretical models of computability, and develops some of the model's rich and varied structure. The first part of the b
A dual purpose textbook. It is uniquely written to cover core material in the foundations of computing for graduate students in computer science and to provide an introduction to some more advanced to
This textbook is uniquely written with dual purpose. It covers core material in the foundations of computing for graduate students in computer science and also provides an introduction to some more a
Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations
This textbook provides undergraduate students with an introduction to the basic theoretical models of computability, and develops some of the model's rich and varied structure. The first part of the b
This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in thi
Pete Dexter’s National Book Award–winning tour de force tells the mesmerizing story of a shocking crime that shatters lives and exposes the hypocrisies of a small Southern town. The time and place: C
This is a uniquely practical introduction to the field of coaching for developing practitioners. Using a rich array of examples-from both life and business coaching, the book covers:-foundations of c
The monitoring and control of a system whose behaviour is highly uncertain is an important and challenging practical problem. Methods of solution based on fuzzy techniques have generated considerable
This book presents Perl programming with a uniquely interdisciplinary perspective for the bioinformatics classroom. The co-authors are a professor of computer science and a professor of biology who c
![The True Story of John Smyth, the Se-Baptist, As Told by Himself and His Contemporaries [&C.]. With Collections Toward a Bibliography of the First Two](https://cdnec.sanmin.com.tw/product_images/102/102064542.jpg)