Limit Search Results
Author
SpringerLink (Online service)
(406)
C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
(11)
Faginas Lago, Maria Noelia. editor. (orcid)0000-0002-4056-3364
(11)
Garau, Chiara. editor. (orcid)0000-0002-6239-5402
(11)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(11)
Language
English
(406)
Publication Date
-
Subject
Artificial intelligence.
(183)
Theory of Computation.
(171)
Application software.
(165)
Computer and Information Systems Applications.
(150)
Software engineering.
(147)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
406 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Advances in Information Systems Research, Education and Practice IFIP 20th World Computer Congress, TC 8, Information Systems, September 7-10, 2008, Milano, Italy
Advances in Information Systems Research, Education and Practice IFIP 20th World Computer Congress, TC 8, Information Systems, September 7-10, 2008, Milano, Italy
Author 
Avison, David. editor. Kasper, George M. editor. Pernici, Barbara. editor. Ramos, Isabel. editor. Roode, Dewald. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09682-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for The Open Knowlege Society. A Computer Science and Information Systems Manifesto First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008. Proceedings
The Open Knowlege Society. A Computer Science and Information Systems Manifesto First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008. Proceedings
Author 
Lytras, Miltiadis D. editor. Carroll, John M. editor. Damiani, Ernesto. editor. Tennyson, Robert D. editor. Avison, David. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87783-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings
Author 
Vassiliadis, Stamatis. editor. Bereković, Mladen. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73625-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings
Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings
Author 
Choi, Lynn. editor. Paek, Yunheung. editor. Cho, Sangyeun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74309-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers
Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, 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-540-75867-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
Author 
Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72522-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
Author 
Besnard, Denis. editor. Gacek, Cristina. editor. Jones, Cliff B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138838
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 2
Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 2
Author 
Ferrario, Mauro. editor. Ciccotti, Giovanni. editor. Binder, Kurt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-35284-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings
Author 
Vassiliadis, Stamatis. editor. Wong, Stephan. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11796435
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 1
Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 1
Author 
Ferrario, Mauro. editor. Ciccotti, Giovanni. editor. Binder, Kurt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-35273-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings
Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings
Author 
Goble, Lou. editor. Meyer, John-Jules Ch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11786849
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings
Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings
Author 
Jesshope, Chris. editor. Egan, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11859802
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action