System Under Maintenance

Our Library Management System is currently under maintenance.

Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance:

Please contact Reference and Discovery Services via their Contact Form or call them directly at: 517-353-8700 for assistance.

Online Access

ScienceDirect: 1995 to present. (Due to publisher restrictions, the most recent 4 years are not available) (ScienceDirect)
ScienceDirect Complete Freedom Collection: 1995 to present (ScienceDirect)

Numbering Peculiarities

Beginning with v. 78 in 1991 issues are internumbered between: Part A, Algorithms, automata, complexity and games; and: Part B, Logic, semantics, and theory of programming.