""Delve into the realm of recursion theory with this seminal collection of proceedings from the 1984 Oberwolfach conference. Edited by …
This edition is written in English. However, there is a running Spanish thesaurus at the bottom of each page for …
This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthday. The volume comprises a total …
This is the Unofficial Texinfo Format of SICP, which is the best pdf in the internet. You can find more …
The aim of this textbook is to present an account of the theory of computation. After introducing the concept of …
Introduction to Languages and the Theory of Computation helps students make the connection between the practice of computing and an …
Gain a clear understanding of even the most complex, highly theoretical computational theory topics in the approachable presentation found only …
Based on the authors’ market leading data structures books in Java and C++, this book offers a comprehensive, definitive introduction …
This book explains the concepts and techniques required to write programs that can handle large amounts of data efficiently. Project-oriented …
Distributed Systems: An Algorithmic Approach, Second Edition provides a balanced and straightforward treatment of the underlying theory and practical applications …
This book is for anyone who wants to understand computer programming. You'll learn to program in a language that' s …
Classroom-tested by tens of thousands of students, this new edition of the bestselling intro to programming book is for anyone …
This book has been written for use in University of Vermont’s CS1210 Introduction to Programming (formerly CS021). This is a …
Though your application serves its purpose, it might not be a high performer. Learn techniques to accurately predict code efficiency, …
Advanced Methods of Pharmacokinetic and Pharmocodynamic Systems Analysis Volume 3 is vital to professionals and academicians working in drug development …
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, …