Undergraduate Topics in Computer Science

Fundamentals of Discrete Math for Computer Science

A Problem-Solving Primer

Guide to Data Privacy

Models, Technologies, Solutions

Beginners Guide to Python 3 Programming

Introduction to Operating System Design and Implementation

The OSP 2 Approach

Programming Languages and Operational Semantics

A Concise Overview

Programming Languages: Principles and Paradigms

Elements of Computer Security

Rigorous Software Development

An Introduction to Program Verification

Introduction to the Theory of Programming Languages

Proofs and Algorithms

An Introduction to Logic and Computability

Introduction to Software Process Improvement

Pattern Recognition

An Algorithmic Approach

Sensing and Systems in Pervasive Computing

Engineering Context Aware Systems

Multicore Programming Using the ParC Language

Introduction to Video and Image Processing

Building Real Systems and Applications

Communications and Networking

An Introduction

Autonomic Computing

Principles, Design and Implementation

Concise Computer Vision

An Introduction into Theory and Algorithms

Guide to Teaching Puzzle-based Learning

Python Programming Fundamentals

Designing Reliable Distributed Systems

A Formal Methods Approach Based on Executable Modeling in Maude

Principles of Data Mining

Mathematics for Computer Graphics

Mathematics for Computer Graphics

Rigorous Software Development

An Introduction to Program Verification

Semantics with Applications: An Appetizer

Object-Oriented Programming Languages: Interpretation

Practical Distributed Processing

Concise Introduction to Data Compression