Limit Search Results
Author
SpringerLink (Online service)
(273)
Dongarra, Jack. editor.
(7)
Choo, Hyunseung. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Kumar, Vipin. editor.
(5)
Language
Subject
Software engineering.
(281)
Computer science.
(267)
Computer Communication Networks.
(93)
Information systems.
(72)
Logic design.
(65)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
293 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Engineering Societies in the Agents World VI 6th International Workshop, ESAW 2005, Kuşadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers
Engineering Societies in the Agents World VI 6th International Workshop, ESAW 2005, Kuşadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers
Author 
Dikenelli, Oğuz. editor. Gleizes, Marie-Pierre. editor. Ricci, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11759683
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
Author 
Grieskamp, Wolfgang. editor. Weise, Carsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11759744
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings
FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings
Author 
Misra, Jayadev. editor. Nipkow, Tobias. editor. Sekerinski, Emil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11813040
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Author 
Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11804192
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Ad-Hoc, Mobile, and Wireless Networks 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006. Proceedings
Ad-Hoc, Mobile, and Wireless Networks 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006. Proceedings
Author 
Kunz, Thomas. editor. Ravi, S. S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11814764
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Dependable Systems: Software, Computing, Networks Research Results of the DICS Program
Dependable Systems: Software, Computing, Networks Research Results of the DICS Program
Author 
Kohlas, Jürg. editor. Meyer, Bertrand. editor. Schiper, André. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11808107
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Emerging Directions in Embedded and Ubiquitous Computing EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006. Proceedings
Emerging Directions in Embedded and Ubiquitous Computing EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006. Proceedings
Author 
Zhou, Xiaobo. editor. Sokolsky, Oleg. editor. Yan, Lu. editor. Jung, Eun-Sun. editor. Shao, Zili. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11807964
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Agent Computing and Multi-Agent Systems 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedings
Agent Computing and Multi-Agent Systems 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedings
Author 
Shi, Zhong-Zhi. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11802372
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Unix-Netzwerkprogramminerung mit Threads, Sockets und SSL
Unix-Netzwerkprogramminerung mit Threads, Sockets und SSL
Author 
Zahn, Markus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-38302-6
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Information Security 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings
Information Security 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings
Author 
Katsikas, Sokratis K. editor. López, Javier. editor. Backes, Michael. editor. Gritzalis, Stefanos. editor. Preneel, Bart. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11836810
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Autonomic and Trusted Computing Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006. Proceedings
Autonomic and Trusted Computing Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006. Proceedings
Author 
Yang, Laurence T. editor. Jin, Hai. editor. Ma, Jianhua. editor. Ungerer, Theo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11839569
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings
Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings
Author 
Bravetti, Mario. editor. Núñez, Manuel. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11841197
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action