Limit Search Results
Author
SpringerLink (Online service)
(43)
Legay, Axel. editor.
(2)
Son, Tran Cao. editor.
(2)
Abdulla, Parosh Aziz. editor.
(1)
Albert, Elvira. editor.
(1)
Language
Publication Date
-
2013
(43)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
43 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334358.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37075-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Author 
Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334096.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35992-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
Author 
Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334580.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38317-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
Author 
Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334683.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38856-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Author 
Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334698.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38916-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
Author 
Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334715.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39038-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Author 
Liu, Shaoying. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334772.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39277-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings
Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings
Author 
Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334814.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39521-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Author 
Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334820.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39611-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
Author 
Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334821.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39614-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Author 
Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334825.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39634-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Author 
Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335003.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40787-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action