Limit Search Results
Author
SpringerLink (Online service)
(1267)
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)
Artificial intelligence.
(374)
User interfaces (Computer systems).
(347)
Application software.
(317)
Electronic books.
(161)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2415 Results Found Subscribe to search results
000000000000DEFAULT
Print
193. 
Cover image for Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Author 
Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13678-8
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Fundamentals of performance evaluation of computer and telecommunications systems
Fundamentals of performance evaluation of computer and telecommunications systems
Author 
Obaidat, Mohammad S. (Mohammad Salameh), 1952- Boudriga, Noureddine. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=484833
John Wiley http://dx.doi.org/10.1002/9780470567203
MyiLibrary, Table of contents http://www.myilibrary.com?id=249138&ref=toc
http://site.ebrary.com/lib/alltitles/Doc?id=10361221
http://swb.eblib.com/patron/FullRecord.aspx?p=484833
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Design for reliability information and computer-based systems
Design for reliability information and computer-based systems
Author 
Bauer, Eric.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5732779
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for The architecture of computer hardware, systems software, and networking : an information technology approach
The architecture of computer hardware, systems software, and networking : an information technology approach
Author 
Englander, Irv.
Preferred Shelf Number 
QA76.5 E54 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
197. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings
Author 
Bertels, Koen. editor. Dimopoulos, Nikitas. editor. Silvano, Cristina. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03138-0
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Author 
Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01918-0
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Computer Vision Systems 7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009. Proceedings
Computer Vision Systems 7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009. Proceedings
Author 
Fritz, Mario. editor. Schiele, Bernt. editor. Piater, Justus H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04667-4
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers
Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers
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-04772-5
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Advanced technologies in rehabilitation : empowering cognitive, physical, social and communicative skills through virtual reality, robots, wearable systems and brain-computer interfaces
Advanced technologies in rehabilitation : empowering cognitive, physical, social and communicative skills through virtual reality, robots, wearable systems and brain-computer interfaces
Author 
Gaggioli, Andrea.
Preferred Shelf Number 
WB 320 A244 2009
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
202. 
Cover image for Justifying the Dependability of Computer-based Systems With Applications in Nuclear Engineering
Justifying the Dependability of Computer-based Systems With Applications in Nuclear Engineering
Author 
Courtois, Pierre-Jacques. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-372-9
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Thesis Projects A Guide for Students in Computer Science and Information Systems
Thesis Projects A Guide for Students in Computer Science and Information Systems
Author 
Berndtsson, Mikael. author. Hansson, Jörgen. author. Olsson, Björn. author. Lundell, Björn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-009-4
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Author 
Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68894-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action