Most Popular Books
- Math for Computer Science
- Finite Transition Systems: Semantics of Communicating Systems (Prentice-Hall International Series in Dynamics)
- Eswt and Ultrasound Imaging of the Muscoloskeletal System
- CAAP '90: 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings
- Rudiments of mu-calculus (Studies in Logic and the Foundations of Mathematics)