Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science) [2011 ed.] 9780857291219, 9780857291202

Introduction to Computer Graphics: Using OpenGL and Java (Undergraduate Topics in Computer Science) 9783031281358, 9783031281341, 3031281349

A basic understanding of the key techniques in computer graphics can open the door to this exciting field and its many a

205 47 60MB Read more

Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus: An Introduction

The main goal of this book is to present a mix of material dealing with: Proof systems. Computability and undecidabilit

190 50 4MB Read more

Statistics for Data Scientists: An Introduction to Probability, Statistics, and Data Analysis (Undergraduate Topics in Computer Science) 303010530X, 9783030105303

This book provides an undergraduate introduction to analysing data for data science, computer science, and quantitative

106 42 16MB Read more

Computability and Complexity: Foundations and Tools for Pursuing Scientific Applications (Undergraduate Topics in Computer Science) [2024 ed.] 3031537432, 9783031537431

This is a book about computation, something which is ubiquitous in the modern world. More precisely, it examines computa

98 90 2MB Read more

Hilbert’s Tenth Problem - An Introduction to Logic, Number Theory, and Computability [1 ed.] 2018061472, 9781470443993

Hilbert's tenth problem is one of 23 problems proposed by David Hilbert in 1900 at the International Congress of Ma

394 91 4MB Read more

Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science) [2nd ed. 2023] 3031341430, 9783031341434

This textbook is a thorough, up-to-date introduction to the principles and techniques that guide the design and implemen

108 98 Read more

Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science) [2011 ed.] 0857290754, 9780857290755

The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key

112 25 799KB Read more

Graph Theory: An Introduction to Proofs, Algorithms, and Applications [1 ed.] 1138361402, 9781138361409

Graph Theory: An Introduction to Proofs, Algorithms, and Applications Graph theory is the study of interactions, confli

468 111 15MB Read more

Computer Algorithms: Correctness Proofs and Performance Analyses 9789391818869, 9789391818852

107 84 Read more

Computer Algorithms: Correctness Proofs and Performance Analyses 9789391818869, 9789391818852

The book is self-contained and includes the desired mathematical background. The book covers most of the data structures

103 72 34MB Read more