Limit Search Results
Author
Kim, Tai-hoon. editor.
(7)
Albers, Susanne. editor.
(3)
Gavrilova, Marina L. editor.
(3)
Gervasi, Osvaldo. editor.
(3)
Halang, Wolfgang A. editor.
(3)
Language
Subject
Computer science.
(307)
Information systems.
(84)
Computer Communication Networks.
(78)
Logic design.
(55)
Computer network architectures.
(48)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
328 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Adoption-centric Usability Engineering Systematic Deployment, Assessment and Improvement of Usability Methods in Software Engineering
Adoption-centric Usability Engineering Systematic Deployment, Assessment and Improvement of Usability Methods in Software Engineering
Author 
Seffah, Ahmed. editor. Metzker, Eduard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-019-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Principles of Programming Languages
Principles of Programming Languages
Author 
Dowek, Gilles. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-032-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Models of Computation An Introduction to Computability Theory
Models of Computation An Introduction to Computability Theory
Author 
Fernández, Maribel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-434-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Artificial Life Models in Hardware
Artificial Life Models in Hardware
Author 
Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-530-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Les virus informatiques: théorie, pratique et applications
Les virus informatiques: théorie, pratique et applications
Author 
Filiol, Éric. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-2-287-98240-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Sichere Systeme Konzepte, Architekturen und Frameworks
Sichere Systeme Konzepte, Architekturen und Frameworks
Author 
Schmitz, Roland. author. Kriha, Walter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78959-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Software and Data Technologies Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers
Software and Data Technologies Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers
Author 
Filipe, Joaquim. editor. Shishkov, Boris. editor. Helfert, Markus. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88655-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers
Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers
Author 
Collins, John. editor. Faratin, Peyman. editor. Parsons, Simon. editor. Rodriguez-Aguilar, Juan A. editor. Sadeh, Norman M. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88713-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88479-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Metrics for Process Models Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness
Metrics for Process Models Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness
Author 
Mendling, Jan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89224-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Theory and Practice of Uncertain Programming
Theory and Practice of Uncertain Programming
Author 
Liu, Baoding. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89484-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Touch of Class Learning to Program Well with Objects and Contracts
Touch of Class Learning to Program Well with Objects and Contracts
Author 
Meyer, Bertrand. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92145-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action