Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
15 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Software Process Modeling
Software Process Modeling
Author 
Acuña, Silvia T. editor. Juristo, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104986
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Functional Verification of Programmable Embedded Architectures A Top-Down Approach
Functional Verification of Programmable Embedded Architectures A Top-Down Approach
Author 
Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137514
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Requirements Engineering
Requirements Engineering
Author 
Hull, Elizabeth. author. Jackson, Kenneth. author. Dick, Jeremy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138335
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings
Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings
Author 
Maziero, Carlos Alberto. editor. Gabriel Silva, João. editor. Andrade, Aline Maria Santos. editor. Assis Silva, Flávio Morais. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11572329
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Parallel and Distributed Processing and Applications Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedings
Parallel and Distributed Processing and Applications Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedings
Author 
Pan, Yi. editor. Chen, Daoxu. editor. Guo, Minyi. editor. Cao, Jiannong. editor. Dongarra, Jack. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11576235
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for A Software Process Model Handbook for Incorporating People’s Capabilities
A Software Process Model Handbook for Incorporating People’s Capabilities
Author 
Acuña, Silvia Teresita. author. Juristo, Natalia. author. Moreno, Ana María. author. Mon, Alicia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106969
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Expert Oracle
Expert Oracle
Author 
Kyte, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0019-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005
Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005
Author 
Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b139109
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers
Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers
Author 
Wu, Zhaohui. editor. Chen, Chun. editor. Guo, Minyi. editor. Bu, Jiajun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11535409
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
Author 
Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11549970
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings
NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings
Author 
Boutaba, Raouf. editor. Almeroth, Kevin. editor. Puigjaner, Ramon. editor. Shen, Sherman. editor. Black, James P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136094
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings
Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings
Author 
Cin, Mario. editor. Kaâniche, Mohamed. editor. Pataricza, András. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107276
Format: 
Availability 
Online Library~1
Available:
Copies: