Limit Search Results
Author
SpringerLink (Online service)
(43)
Wiley InterScience (Online service)
(5)
IGI Global.
(3)
Project Muse.
(3)
Bernstein, Abraham. editor.
(2)
Language
Subject
Computer science.
(39)
Software engineering.
(19)
Artificial intelligence.
(17)
Information storage and retrieval systems.
(11)
Computer software.
(10)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
96 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Author 
Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27705-4
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
Author 
Kuncak, Viktor. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27940-9
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Social Computing, Behavioral - Cultural Modeling and Prediction 5th International Conference, SBP 2012, College Park, MD, USA, April 3-5, 2012. Proceedings
Social Computing, Behavioral - Cultural Modeling and Prediction 5th International Conference, SBP 2012, College Park, MD, USA, April 3-5, 2012. Proceedings
Author 
Yang, Shanchieh Jay. editor. Greenberg, Ariel M. editor. Endsley, Mica. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29047-3
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Quality, Reliability, Security and Robustness in Heterogeneous Networks 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised Selected Papers
Quality, Reliability, Security and Robustness in Heterogeneous Networks 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised Selected Papers
Author 
Zhang, Xi. editor. Qiao, Daji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29222-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
Author 
Khurshid, Sarfraz. editor. Sen, Koushik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29860-8
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings
Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings
Author 
Peffers, Ken. editor. Rothenberger, Marcus. editor. Kuechler, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29863-9
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Bioinformatics Research and Applications 8th International Symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012. Proceedings
Bioinformatics Research and Applications 8th International Symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012. Proceedings
Author 
Bleris, Leonidas. editor. Măndoiu, Ion. editor. Schwartz, Russell. editor. Wang, Jianxin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30191-9
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Modeling and Simulation in Engineering, Economics and Management International Conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012. Proceedings
Modeling and Simulation in Engineering, Economics and Management International Conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012. Proceedings
Author 
Engemann, Kurt J. editor. Gil-Lafuente, Anna M. editor. Merigó, José M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30433-0
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Auctions, Market Mechanisms, and Their Applications Second International ICST Conference, AMMA 2011, NewYork, NY, USA, August 22-23, 2011, Revised Selected Papers
Auctions, Market Mechanisms, and Their Applications Second International ICST Conference, AMMA 2011, NewYork, NY, USA, August 22-23, 2011, Revised Selected Papers
Author 
Coles, Peter. editor. Das, Sanmay. editor. Lahaie, Sébastien. editor. Szymanski, Boleslaw. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30913-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Data Integration in the Life Sciences 8th International Conference, DILS 2012, College Park, MD, USA, June 28-29, 2012. Proceedings
Data Integration in the Life Sciences 8th International Conference, DILS 2012, College Park, MD, USA, June 28-29, 2012. Proceedings
Author 
Bodenreider, Olivier. editor. Rance, Bastien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31040-9
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Breast Imaging 11th International Workshop, IWDM 2012, Philadelphia, PA, USA, July 8-11, 2012. Proceedings
Breast Imaging 11th International Workshop, IWDM 2012, Philadelphia, PA, USA, July 8-11, 2012. Proceedings
Author 
Maidment, Andrew D. A. editor. Bakic, Predrag R. editor. Gavenonis, Sara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31271-7
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Biomedical Image Registration 5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012. Proceedings
Biomedical Image Registration 5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012. Proceedings
Author 
Dawant, Benoît M. editor. Christensen, Gary E. editor. Fitzpatrick, J. Michael. editor. Rueckert, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31340-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action