""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, …
A practical guide simplifying discrete math for curious minds and demonstrating its application in solving problems related to software development, …
Designed for an introductory software engineering course or as a reference for programmers, this up to date text uses both …
This book is a concise, self-contained, up-to-date introduction to extremal combinatorics for nonspecialists. There is a strong emphasis on theorems …
This self-contained book systematically explores the statistical dynamics on and of complex networks having relevance across a large number of …
Algorithms, Big O notation and the production of pseudocode are aspects of A level study that students often struggle with. …
This book constitutes the refereed proceedings of the 7th China Conference on Knowledge Graph and Semantic Computing Evaluations, CCKS 2022, …
This book constitutes the refereed proceedings of the 4th China Conference on Knowledge Graph and Semantic Computing, CCKS 2019, held …
This book constitutes the refereed proceedings of the 7th China Conference on Knowledge Graph and Semantic Computing: Knowledge Graph Empowers …
This book constitutes the refereed proceedings of the 5th China Conference on Knowledge Graph and Semantic Computing, CCKS 2020, held …
This book constitutes the refereed proceedings of the 8th China Conference on Knowledge Graph and Semantic Computing: Knowledge Graph Empowers …
This book constitutes the refereed proceedings of the 6th China Conference on Knowledge Graph and Semantic Computing, CCKS 2021, held …
This book constitutes the refereed post-conference proceedings of the 8th International Workshop on Machine Learning and Data Mining for Sports …