Limit Search Results
Author
SpringerLink (Online service)
(13)
Rocchi, Cesare.
(6)
Cameron, Melanie Anjele.
(3)
El-Qawasmeh, Eyas. editor.
(3)
Wan Mohd, Wan Maseri bt. editor.
(3)
Language
Subject
User interfaces (Computer systems)
(13)
Computer science.
(11)
Software engineering.
(9)
Virtual computer systems.
(9)
Artificial intelligence.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
80 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
Author 
Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21292-5
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
Author 
Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21455-4
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II
Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II
Author 
Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22191-0
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Digital forensics with open source tools using open source platform tools for performing computer forensics on target systems : Windows, Mac, Linux, UNIX, etc.
Digital forensics with open source tools using open source platform tools for performing computer forensics on target systems : Windows, Mac, Linux, UNIX, etc.
Author 
Altheide, Cory. Carvey, Harlan A.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781597495868
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Systems techniques and computational methods
Systems techniques and computational methods
Author 
Leondes, Cornelius T.
Preferred Shelf Number 
TS155.6 .C6455 2001
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781420049893
Taylor & Francis https://www.taylorfrancis.com/books/e/9781420049893
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Digital libraries for cultural heritage, knowledge dissemination, and future creation : 13th International Conference on Asia-Pacific Digital Libraries, ICADL 2011, Beijing, China, October 24-27, 2011.
Digital libraries for cultural heritage, knowledge dissemination, and future creation : 13th International Conference on Asia-Pacific Digital Libraries, ICADL 2011, Beijing, China, October 24-27, 2011.
Author 
International Conference on Asia-Pacific Digital Libraries (13th : 2011 : Beijing, China) Xing, Chunxiao. Crestani, Fabio. Rauber, Andreas.
Preferred Shelf Number 
ZA4080 I58 2011
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
19. 
Cover image for Microsoft virtualization with Hyper-V
Microsoft virtualization with Hyper-V
Author 
Kappel, Jason A. Velte, Toby J. Velte, Anthony T.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for SOA-based enterprise integration a step-by-step guide to services-based application integration
SOA-based enterprise integration a step-by-step guide to services-based application integration
Author 
Roshen, Waseem, 1951-
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Oracle procure-to-pay guide
Oracle procure-to-pay guide
Author 
Cameron, Melanie Anjele.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Green IT reduce your information system's environmental impact while adding to the bottom line
Green IT reduce your information system's environmental impact while adding to the bottom line
Author 
Velte, Toby J. Velte, Anthony T. Elsenpeter, Robert C., 1970-
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Ubuntu server administration
Ubuntu server administration
Author 
Jang, Michael H.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for JavaServer faces 2.0 the complete reference
JavaServer faces 2.0 the complete reference
Author 
Burns, Ed. Schalk, Chris. Griffin, Neil.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action