Page 8 of 8,
Click on a book title for more details
Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
E. Thomas Schubert
Paperback - $191.95
This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995.
The 26 papers selected by the program committee for inclusion i ...
Mathematical Foundations of Computer Science 2001 : 26th International Symposium, Mfcs 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 Proceed
J. Sgall
Paperback - $237.95
Algorithms - ESA '95 : Third Annual European Symposium, Corfu, Greece, September, 25 - 27, 1995. Proceedings
Spirakis
Paperback - $214.95
This book consitutes the proceedings of the Third Annual European Symposium on Algorithms, ESA '95, held in Corfu, Greece in September 1995.
The volume presents 42 full revised papers selected during a careful refereeing process from a total of 11 ...
Improving Floating-Point Programming
Wallis
Hardcover - $684.95
This contributed work covers, in precise detail, the potential sources of error in floating-point programming and how these trouble spots can be controlled. Explains several methods for improving the accuracy of floating-point programming, concentrat ...
Categories and Computer Science
R. F. C. Walters
Hardcover - $201.95
Category Theory has, in recent years, become increasingly important and popular in computer science, and many universities now introduce Category Theory as part of the curriculum for undergraduate computer science students. Here, the theory is develo ...
Categories and Computer Science
R. F. C. Walters
Paperback - $71.95
Category theory has, in recent years, become increasingly important and popular in computer science, and many universities now have introductions to category theory as part of their courses for undergraduate computer scientists. The author is a respe ...
Integrated Formal Methods : Third International Conference, Ifm 2002, Turku, Finland, May 15-18, 2002. Proceedings.
Xingzhi M. E. Zhan
Paperback - $166.95