Michael Kifer profile picture

Michael Kifer

Stand Alone

OSP: An Environment for Operating System Projects
Database and Transaction Processing
Database systems
Introduction to operating system design and implementation
Declarative Logic Programming
Database Systems An Application-oriented Approach
Database Systems An Application-oriented Approach
Database Systems: An Application Oriented Approach, Compete Version
Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)