Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
17 Results Found Subscribe to search results
00000DEFAULT
Print
13. 
Cover image for Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Author 
Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519154.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15075-8
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Advanced Information Systems Engineering Workshops CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings
Advanced Information Systems Engineering Workshops CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings
Author 
Persson, Anne. editor. Stirna, Janis. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518451.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19243-7
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
Author 
Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519293.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23264-5
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for İnsanlığı kemiren ihanet dincilik : (zulümleriyle dini kirletenlerin tarihi)
İnsanlığı kemiren ihanet dincilik : (zulümleriyle dini kirletenlerin tarihi)
Author 
Öztürk, Yaşar Nuri, 1945- author.
Preferred Shelf Number 
BP166.14.F85 O98 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
17. 
Cover image for Erkek akıl : batı felsefesinde "erkek" ve "kadın
Erkek akıl : batı felsefesinde "erkek" ve "kadın
Author 
Lloyd, Genevieve. Özcan, Muttalip, çev.
Preferred Shelf Number 
BC177 L5820 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies: