Limit Search Results
Author
SpringerLink (Online service)
(42)
Paschke, Adrian. editor.
(4)
Cortellessa, Vittorio. editor.
(2)
Dix, Jürgen. editor.
(2)
Governatori, Guido. editor.
(2)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
42 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Fundamental Approaches to Software Engineering 16th International Conference, FASE 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 
Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334354.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37057-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
Author 
Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.
Preferred Shelf Number 
ONLINE(334822.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39617-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
Author 
Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334832.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39666-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
Author 
Stoelinga, Mariëlle. editor. Pinger, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32469-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers
System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers
Author 
Kraemer, Frank Alexander. editor. Herrmann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21652-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Business Process Management 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings
Business Process Management 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings
Author 
Rinderle-Ma, Stefanie. editor. Toumani, Farouk. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23059-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for CONCUR 2011 – Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
CONCUR 2011 – Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
Author 
Katoen, Joost-Pieter. editor. König, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23217-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Distributed Computing and Internet Technology 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings
Distributed Computing and Internet Technology 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings
Author 
Natarajan, Raja. editor. Ojo, Adegboyega. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19056-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Research into Practice – Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings
Research into Practice – Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings
Author 
Heineman, George T. editor. Kofron, Jan. editor. Plasil, Frantisek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13821-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
Author 
Aloni, Maria. editor. Bastiaanse, Harald. editor. Jager, Tikitu. editor. Schulz, Katrin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14287-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings
Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings
Author 
Babar, Muhammad Ali. editor. Gorton, Ian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15114-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
Author 
Aldini, Alessandro. editor. Bernardo, Marco. editor. Bononi, Luciano. editor. Cortellessa, Vittorio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15784-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action