Limit Search Results
Author
SpringerLink (Online service)
(27)
Eilebrecht, Karl. author.
(2)
Nurcan, Selmin. editor.
(2)
Schildt, Herbert.
(2)
Starke, Gernot. author.
(2)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
48 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519028.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21668-3
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Computational modelling of objects represented in images fundamentals, methods and applications III : proceedings of the International Symposium Compimage 2012, Rome, Italy, 5-7 September 2012
Computational modelling of objects represented in images fundamentals, methods and applications III : proceedings of the International Symposium Compimage 2012, Rome, Italy, 5-7 September 2012
Author 
CompIMAGE 2012 (2012 : Rome, Italy) Di Giamberardino, Paolo.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Process-driven SOA patterns for aligning business and IT
Process-driven SOA patterns for aligning business and IT
Author 
Hentrich, Carsten. Zdun, Uwe.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Performance tuning of scientific applications
Performance tuning of scientific applications
Author 
Bailey, David H. Lucas, Robert F. Williams, Samuel Watkins.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Exploratory data analysis with MATLAB
Exploratory data analysis with MATLAB
Author 
Martinez, Wendy L. Martinez, Angel R. Solka, Jeffrey L., 1955-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Data structure and software engineering challenges and improvements
Data structure and software engineering challenges and improvements
Author 
Antonakos, James L.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Mining software specifications methodologies and applications
Mining software specifications methodologies and applications
Author 
Lo, David.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Antipatterns managing software organizations and people
Antipatterns managing software organizations and people
Author 
Neill, Colin J. Laplante, Phillip A. DeFranco, Joanna F.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Herb Schildt's Java programming cookbook
Herb Schildt's Java programming cookbook
Author 
Schildt, Herbert.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Herb Schildt's C++ programming cookbook
Herb Schildt's C++ programming cookbook
Author 
Schildt, Herbert.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Patterns of data modeling
Patterns of data modeling
Author 
Blaha, Michael.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Object-oriented reengineering patterns
Object-oriented reengineering patterns
Author 
Demeyer, Serge. Ducasse, Stéphane. Nierstrasz, Oscar Marius, 1957-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781558606395
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action