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
2415 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
Cover image for Soft Computing in XML Data Management Intelligent Systems from Decision Making to Data Mining, Web Intelligence and Computer Vision
Soft Computing in XML Data Management Intelligent Systems from Decision Making to Data Mining, Web Intelligence and Computer Vision
Author 
Ma, Zongmin. editor. Yan, Li. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14010-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computer-Based Modeling of Novel Carbon Systems and Their Properties Beyond Nanotubes
Computer-Based Modeling of Novel Carbon Systems and Their Properties Beyond Nanotubes
Author 
Colombo, Luciano. editor. Fasolino, Annalisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9718-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
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:
7. 
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:
8. 
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:
9. 
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:
10. 
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:
11. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings
Author 
Bereković, Mladen. editor. Dimopoulos, Nikitas. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70550-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computer Vision Systems 6th International Conference, ICVS 2008 Santorini, Greece, May 12-15, 2008 Proceedings
Computer Vision Systems 6th International Conference, ICVS 2008 Santorini, Greece, May 12-15, 2008 Proceedings
Author 
Gasteratos, Antonios. editor. Vincze, Markus. editor. Tsotsos, John K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79547-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets