Limit Search Results
Author
SpringerLink (Online service)
(351)
Stephanidis, Constantine. editor.
(6)
Antona, Margherita. editor.
(4)
IEEE Xplore (Online Service), distributor.
(4)
MIT Press, publisher.
(4)
Language
Subject
Computers.
(191)
Artificial intelligence.
(84)
Software engineering.
(82)
Computers and civilization.
(81)
Application software.
(75)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
388 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Author 
Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12154-3
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Programming Languages and Operational Semantics A Concise Overview
Programming Languages and Operational Semantics A Concise Overview
Author 
Fernández, Maribel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6368-8
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Encyclopedia of Social Network Analysis and Mining
Encyclopedia of Social Network Analysis and Mining
Author 
Alhajj, Reda. editor. Rokne, Jon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-6170-8
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Applied Cyber-Physical Systems
Applied Cyber-Physical Systems
Author 
Suh, Sang C. editor. Tanik, U. John. editor. Carbone, John N. editor. Eroglu, Abdullah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-7336-7
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Handbook of Human Centric Visualization
Handbook of Human Centric Visualization
Author 
Huang, Weidong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-7485-2
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Feedback Strategies for Wireless Communication
Feedback Strategies for Wireless Communication
Author 
Özbek, Berna. author. Le Ruyet, Didier. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-7741-9
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Medical Informatics, e-Health Fundamentals and Applications
Medical Informatics, e-Health Fundamentals and Applications
Author 
Venot, Alain. editor. Burgun, Anita. editor. Quantin, Catherine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-2-8178-0478-1
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Sound, Music, and Motion 10th International Symposium, CMMR 2013, Marseille, France, October 15-18, 2013. Revised Selected Papers
Sound, Music, and Motion 10th International Symposium, CMMR 2013, Marseille, France, October 15-18, 2013. Revised Selected Papers
Author 
Aramaki, Mitsuko. editor. Derrien, Olivier. editor. Kronland-Martinet, Richard. editor. (orcid)0000-0002-7325-4920 Ystad, Sølvi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12976-1
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Author 
Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12904-4
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Wired/Wireless Internet Communications 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014, Revised Selected Papers
Wired/Wireless Internet Communications 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014, Revised Selected Papers
Author 
Mellouk, Abdelhamid. editor. Fowler, Scott. editor. Daachi, Boubaker. editor. Hoceini, Said. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13174-0
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Information Security 17th International Conference, ISC 2014, Hong Kong, China, October 12-14, 2014, Proceedings
Information Security 17th International Conference, ISC 2014, Hong Kong, China, October 12-14, 2014, Proceedings
Author 
Chow, Sherman S.M. editor. Camenisch, Jan. editor. Hui, Lucas C.K. editor. Yiu, Siu Ming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13257-0
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings
Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings
Author 
DeRose, Luiz. editor. de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11454-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action