Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Author 
Filliâtre, Jean-Christophe. editor. Paulin-Mohring, Christine. editor. Werner, Benjamin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11617990
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Movement disorders in neurologic and systemic disease
Movement disorders in neurologic and systemic disease
Author 
Poewe, W., editor. Jankovic, Joseph, editor.
Preferred Shelf Number 
RC376.5 .M6845 2014
Electronic Access 
https://doi.org/10.1017/CBO9781139175845
Format: 
Availability 
Online Library~1
Available:
Copies: