Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for Where Troy once stood
Where Troy once stood
Author 
Wilkens, Iman, 1936-
Preferred Shelf Number 
PA 4037 W651
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Formalizing Data-Centric Web Services
Formalizing Data-Centric Web Services
Author 
Saleh, Iman. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518661.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-24678-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Unconventional Superconductors Anisotropy and Multiband Effects
Unconventional Superconductors Anisotropy and Multiband Effects
Author 
Askerzade, Iman. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22652-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Adapting Proofs-as-Programs The Curry-Howard Protocol
Adapting Proofs-as-Programs The Curry-Howard Protocol
Author 
Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28183-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Service-Oriented Computing - ICSOC 2014 Workshops WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers
Service-Oriented Computing - ICSOC 2014 Workshops WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers
Author 
Toumani, Farouk. editor. Pernici, Barbara. editor. Grigori, Daniela. editor. Benslimane, Djamal. editor. Mendling, Jan. editor.
Preferred Shelf Number 
XX(519348.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22885-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Author 
Lewis, Grace A. editor. Poernomo, Iman. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02414-6
Format: 
Availability 
Online Library~1
Available:
Copies: