Limit Search Results
Author
SpringerLink (Online service)
(1037)
Wiley InterScience (Online service)
(19)
Apduhan, Bernady O. editor.
(17)
Stephanidis, Constantine. editor.
(13)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(12)
Language
Publication Date
-
Subject
Computer communication systems.
(469)
User interfaces (Computer systems).
(311)
Application software.
(283)
Artificial intelligence.
(275)
Software engineering.
(142)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1729 Results Found Subscribe to search results
000000000000DEFAULT
Print
145. 
Cover image for Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Author 
Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30982-3
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Author 
Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31374-5
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Recent Trends in Computer Networks and Distributed Systems Security International Conference, SNDS 2012, Trivandrum, India, October 11-12, 2012. Proceedings
Recent Trends in Computer Networks and Distributed Systems Security International Conference, SNDS 2012, Trivandrum, India, October 11-12, 2012. Proceedings
Author 
Thampi, Sabu M. editor. Zomaya, Albert Y. editor. Strufe, Thorsten. editor. Alcaraz Calero, Jose M. editor. Thomas, Tony , 1927-1977 editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34135-9
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Human – Computer Systems Interaction: Backgrounds and Applications 2 Part 2
Human – Computer Systems Interaction: Backgrounds and Applications 2 Part 2
Author 
Hippe, Zdzisław S. editor. Kulikowski, Juliusz L. editor. Mroczek, Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23172-8
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I
Computer Aided Systems Theory – EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27549-4
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Advances in Future Computer and Control Systems Volume 1
Advances in Future Computer and Control Systems Volume 1
Author 
Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29387-0
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Beyond redundancy how geographic redundancy can improve service availability and reliability of computer-based systems
Beyond redundancy how geographic redundancy can improve service availability and reliability of computer-based systems
Author 
Bauer, Eric. Adams, Randee. Eustace, Dan. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for The Seductive Computer Why IT Systems Always Fail
The Seductive Computer Why IT Systems Always Fail
Author 
Partridge, Derek. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-498-2
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
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:
154. 
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:
155. 
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:
156. 
Cover image for Computer Vision Systems 8th International Conference, ICVS 2011, Sophia Antipolis, France, September 20-22, 2011. Proceedings
Computer Vision Systems 8th International Conference, ICVS 2011, Sophia Antipolis, France, September 20-22, 2011. Proceedings
Author 
Crowley, James L. editor. Draper, Bruce A. editor. Thonnat, Monique. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23968-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action