Concrete Abstractions: An Introduction to Computer Science Using Scheme
by Max Hailperin, Barbara Kaiser, Karl Knight
Publisher: Course Technology 1998
Number of pages: 670
This text covers the basics of programming and data structures, and gives first-time computer science students the opportunity to not only write programs, but to prove theorems and analyze algorithms as well.
Home page url
Download or read it online for free here:
by Susan Rodger - Duke University
These lecture notes present an introduction to theoretical computer science including studies of abstract machines, the language hierarchy from regular languages to recursively enumerable languages, noncomputability and complexity theory.
by Carol Critchlow, David Eck - Hobart and William Smith Colleges
The book covers material on logic, sets, and functions that would often be taught in a course in discrete mathematics. The second part covers automata, formal languages, and grammar that would ordinarily be encountered in an upper level course.
by Tony Hey, Stewart Tansley, Kristin Tolle - Microsoft Research
The Fourth Paradigm, the collection of essays expands on the vision of pioneering computer scientist Jim Gray for a new, fourth paradigm of discovery based on data-intensive science and offers insights into how it can be fully realized.
by Bradley Kjell - Central Connecticut State University
The text for a first course in computer science using the programming language Java. It covers the fundamentals of programming and of computer science. It is assumed that you have the Java version 5.0 or later and a text editor such as Notepad.