"Constructive Type theory has been a topic of research interest to computer
scientists, mathematicians, logicians and philosophers for a number of years.
For computer scient...
"Object-Oriented Software Composition adopts the viewpoint that object-oriented technology is essentially about composing flexible software applications from software componen...
A set of presentations covering the book, which includes the following topics ER Model and Conceptual Design, The Relational Model and SQL DDL, Relational Algebra, SQL, Database Ap...
"This book evolved over the past ten years from a set of lecture notes developed while teaching the undergraduate Algorithms course at Berkeley and U.C. San Diego. Our way of ...
S. Dasgupta, C.H. Papadimitriou, and U.V. Vazirani
"Even the material of this book, even my own dreams, defaced by time or superseded, by means of which I have demonstrated the rules of dream-interpretation, revealed, when I c...