Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
18 Results Found Subscribe to search results
000000DEFAULT
Print
13. 
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:
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 Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Author 
Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518798.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-17404-4
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
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:
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:
18. 
Cover image for Ethnobiology of Corals and Coral Reefs
Ethnobiology of Corals and Coral Reefs
Author 
Narchi, Nemer. editor. Price, Lisa Leimar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23763-3
Format: 
Availability 
Online Library~1
Available:
Copies: