Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings
Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings
Author 
Ayala-Rincón, Mauricio. editor. Muñoz, César A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66107-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Neurobiology of depression
Neurobiology of depression
Author 
Lopez-Munoz, Francisco. Alamo Gonzalez, Cecilio.
Preferred Shelf Number 
RC537 .N465 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Neurobiology of depression
Neurobiology of depression
Author 
Lopez-Munoz, Francisco. Alamo Gonzalez, Cecilio.
Preferred Shelf Number 
RC537 .N465 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies: