Limit Search Results
Author
SpringerLink (Online service)
(96)
Barthe, Gilles. editor.
(2)
Boer, Frank S. editor.
(2)
Bowen, Jonathan P. editor.
(2)
Degano, Pierpaolo. editor.
(2)
Language
English
(100)
Subject
Logic design.
(97)
Computer science.
(94)
Software engineering.
(68)
Computer Communication Networks.
(30)
Artificial intelligence.
(29)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
100 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Programming Languages and Systems 17th European Symposium on Programming, ESOP 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
Programming Languages and Systems 17th European Symposium on Programming, ESOP 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 
Drossopoulou, Sophia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78739-6
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Fundamental Approaches to Software Engineering 11th International Conference, FASE 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
Fundamental Approaches to Software Engineering 11th International Conference, FASE 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 
Fiadeiro, José Luiz. editor. Inverardi, Paola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78743-3
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Author 
King, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78769-3
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Compiler Construction 17th International Conference, CC 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
Compiler Construction 17th International Conference, CC 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 
Hendren, Laurie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78791-4
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 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
Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 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 
Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78800-3
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers
Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers
Author 
Sichman, Jaime Simão. editor. Padget, Julian. editor. Ossowski, Sascha. editor. Noriega, Pablo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79003-7
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers
Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers
Author 
Dastani, Mehdi. editor. El Fallah Seghrouchni, Amal. editor. Ricci, Alessandro. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79043-3
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
Author 
Beckert, Bernhard. editor. Hähnle, Reiner. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79124-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
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:
46. 
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:
47. 
Cover image for Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
Author 
Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79980-1
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
Author 
Shankar, Natarajan. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87873-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action