Limit Search Results
Author
SpringerLink (Online service)
(368)
Kim, Tai-hoon. editor.
(8)
Apduhan, Bernady O. editor.
(6)
Gervasi, Osvaldo. editor.
(5)
Nagamalai, Dhinaharan. editor.
(5)
Language
Subject
Software engineering.
(369)
Computer science.
(336)
Computer Communication Networks.
(159)
Artificial intelligence.
(118)
Computer software.
(94)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
390 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Author 
Arbab, Farhad. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35743-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
Author 
Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35746-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Product Lifecycle Management. Towards Knowledge-Rich Enterprises IFIP WG 5.1 International Conference, PLM 2012, Montreal, QC, Canada, July 9-11, 2012, Revised Selected Papers
Product Lifecycle Management. Towards Knowledge-Rich Enterprises IFIP WG 5.1 International Conference, PLM 2012, Montreal, QC, Canada, July 9-11, 2012, Revised Selected Papers
Author 
Rivest, Louis. editor. Bouras, Abdelaziz. editor. Louhichi, Borhen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35758-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Systems engineering and architecting : creating formal requirements
Systems engineering and architecting : creating formal requirements
Author 
Bellagamba, Laurence., author.
Preferred Shelf Number 
TA168 .B376 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Software project management : a process-driven approach
Software project management : a process-driven approach
Author 
Ahmed, Ashfaque., author.
Preferred Shelf Number 
QA76.76 .D47 A3965 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Embedded systems and wireless technology
Embedded systems and wireless technology
Author 
Aquino Santos, Raul, 1965- Block, Arthur Edwards, 1957-
Preferred Shelf Number 
TK5105.77 .E43 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action