This is the definitive presentation of the history, development and philosophical significance of non-Euclidean geometry as well as of the rigorous foundations for it and for elementary Euclidean geometry, essentially according to Hilbert. Appropriate for liberal arts students, prospective high school teachers, math. majors, and even bright high...

I am very pleased to have this new book in the Aho/Ullman series Principles of Computer Science. I see this book as a major step toward making computer science theory accessible to the wide range of students who need to know the subject. It covers a good segment of the classical material on data structures and algorithms, but it does so in a...

The art of compiler construction is a fascinating subject- It integrates the mathe matical foundations of formal languages, a wealth of well-established techniques for syntactic analysis, semantic analysis and optimization, and a tremendous amount of practical experience accumulated over the past four decades in designing and us ing...

The important role that discrete structures plays in computer science is gaining recognition. Computing Curricula 2001 (CC2001), the latest curriculum recommendation for computer- related education, was a joint undertaking of the Institute for Electrical and Electronic Engineers/Computer Society (IEEE/CS) and the Association for...