Limit Search Results
Author
SpringerLink (Online service)
(1073)
Dongarra, Jack. editor.
(8)
Quarteroni, Alfio. author.
(6)
Wang, Jun. editor.
(6)
Yung, Moti. editor.
(6)
Language
Subject
Computer science.
(1034)
Artificial intelligence.
(277)
Software engineering.
(267)
Information systems.
(258)
Computer Communication Networks.
(253)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1127 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for The Seventeen Provers of the World Foreword by Dana S. Scott
The Seventeen Provers of the World Foreword by Dana S. Scott
Author 
Wiedijk, Freek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11542384
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Technologies for E-Services 6th International Workshop, TES 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers
Technologies for E-Services 6th International Workshop, TES 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers
Author 
Bussler, Christoph. editor. Shan, Ming-Chien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11607380
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Advances in Database Technology - EDBT 2006 10th International Conference on Extending Database Technology, Munich, Germany, March 26-31, 2006
Advances in Database Technology - EDBT 2006 10th International Conference on Extending Database Technology, Munich, Germany, March 26-31, 2006
Author 
Ioannidis, Yannis. editor. Scholl, Marc H. editor. Schmidt, Joachim W. editor. Matthes, Florian. editor. Hatzopoulos, Mike. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11687238
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers
Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers
Author 
Shen, Wei-ming. editor. Chao, Kuo-Ming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. James, Anne. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11686699
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Transactions on Aspect-Oriented Software Development I
Transactions on Aspect-Oriented Software Development I
Author 
Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11687061
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Autonomic Communication Second International IFIP Workshop, WAC 2005, Athens, Greece, October 2-5, 2005, Revised Selected Papers
Autonomic Communication Second International IFIP Workshop, WAC 2005, Athens, Greece, October 2-5, 2005, Revised Selected Papers
Author 
Stavrakakis, Ioannis. editor. Smirnov, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11687818
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings
Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings
Author 
Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11690634
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings
Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings
Author 
Mycroft, Alan. editor. Zeller, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11688839
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
Author 
Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11691372
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Information Security Practice and Experience Second International Conference, ISPEC 2006, Hangzhou, China, April 11-14, 2006. Proceedings
Information Security Practice and Experience Second International Conference, ISPEC 2006, Hangzhou, China, April 11-14, 2006. Proceedings
Author 
Chen, Kefei. editor. Deng, Robert. editor. Lai, Xuejia. editor. Zhou, Jianying. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11689522
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Learning and Adaption in Multi-Agent Systems First International Workshop, LAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers
Learning and Adaption in Multi-Agent Systems First International Workshop, LAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers
Author 
Tuyls, Karl. editor. Hoen, Pieter Jan’t. editor. Verbeeck, Katja. editor. Sen, Sandip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11691839
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings
Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings
Author 
Baresi, Luciano. editor. Heckel, Reiko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11693017
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action