Limit Search Results
Author
SpringerLink (Online service)
(94)
Barthe, Gilles. editor.
(2)
Boer, Frank S. editor.
(2)
Bowen, Jonathan P. editor.
(2)
Degano, Pierpaolo. editor.
(2)
Language
Subject
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
94 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings
Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings
Author 
Hudak, Paul. editor. Warren, David S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77442-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers
Author 
Tuyls, Karl. editor. Nowe, Ann. editor. Guessoum, Zahia. editor. Kudenko, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77949-0
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
Author 
Yorav, Karen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77966-7
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
Author 
Logozzo, Francesco. editor. Peled, Doron A. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78163-9
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports
Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports
Author 
Cebulla, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78195-0
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
Author 
Amadio, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78499-9
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers
Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers
Author 
Hierons, Robert M. editor. Bowen, Jonathan P. editor. Harman, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78917-8
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Author 
Leue, Stefan. editor. Merino, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79707-4
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
Author 
Luck, Michael. editor. Padgham, Lin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79488-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings
Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings
Author 
Horimoto, Katsuhisa. editor. Regensburger, Georg. editor. Rosenkranz, Markus. editor. Yoshida, Hiroshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85101-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
Author 
Ochmański, Edward. editor. Tyszkiewicz, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85238-4
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures
Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures
Author 
Baroglio, Cristina. editor. Bonatti, Piero A. editor. Małuszyński, Jan. editor. Marchiori, Massimo. editor. Polleres, Axel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85658-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets