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
1124 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Fuzzy Logic and Applications 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003. Revised Selected Papers
Fuzzy Logic and Applications 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003. Revised Selected Papers
Author 
Gesú, Vito. editor. Masulli, Francesco. editor. Petrosino, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/10983652
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
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:
39. 
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:
40. 
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:
41. 
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:
42. 
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:
43. 
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:
44. 
Cover image for Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings
Programming Languages and Systems 15th European Symposium on Programming, ESOP 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 
Sestoft, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11693024
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings
Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings
Author 
Valmari, Antti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11691617
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Data Mining for Biomedical Applications PAKDD 2006 Workshop, BioDM 2006, Singapore, April 9, 2006. Proceedings
Data Mining for Biomedical Applications PAKDD 2006 Workshop, BioDM 2006, Singapore, April 9, 2006. Proceedings
Author 
Li, Jinyan. editor. Yang, Qiang. editor. Tan, Ah-Hwee. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11691730
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers
Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers
Author 
Baldoni, Matteo. editor. Endriss, Ulle. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11691792
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Theory of Cryptography Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings
Theory of Cryptography Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings
Author 
Halevi, Shai. editor. Rabin, Tal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11681878
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets