Search Results for Mu&ntilde;oz, C&eacute;sar A. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMu$0025C3$0025B1oz$00252C$002bC$0025C3$0025A9sar$002bA.$0026ps$003d300?dt=list 2026-06-01T19:56:50Z Interactive Theorem Proving 8th International Conference, ITP 2017, Bras&iacute;lia, Brazil, September 26-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611599 2026-06-01T19:56:50Z 2026-06-01T19:56:50Z Author&#160;Ayala-Rinc&oacute;n, Mauricio. editor.&#160;Mu&ntilde;oz, C&eacute;sar A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66107-0">https://doi.org/10.1007/978-3-319-66107-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Neurobiology of depression ent://SD_ILS/0/SD_ILS:538138 2026-06-01T19:56:50Z 2026-06-01T19:56:50Z Author&#160;Lopez-Munoz, Francisco.&#160;Alamo Gonzalez, Cecilio.<br/>Preferred Shelf Number&#160;RC537 .N465 2012<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781439838501">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Neurobiology of depression ent://SD_ILS/0/SD_ILS:544772 2026-06-01T19:56:50Z 2026-06-01T19:56:50Z Author&#160;Lopez-Munoz, Francisco.&#160;Alamo Gonzalez, Cecilio.<br/>Preferred Shelf Number&#160;RC537 .N465 2012<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781439838501">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/>