Limit Search Results
Author
SpringerLink (Online service)
(22)
Maciaszek, Leszek A. editor.
(3)
Filipe, Joaquim. editor.
(2)
Baumann, Christian. author.
(1)
Beckert, Bernhard. editor.
(1)
Language
Publication Date
-
Subject
Computer science.
(21)
Software engineering.
(17)
Information Systems Applications (incl. Internet).
(15)
Logics and Meanings of Programs.
(15)
Computer Communication Networks.
(10)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
22 Results Found Subscribe to search results
0000000000DEFAULT
Print
13. 
Cover image for Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
Author 
Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335024.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40894-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Social Semantics The Search for Meaning on the Web
Social Semantics The Search for Meaning on the Web
Author 
Halpin, Harry. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331289.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1885-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
Author 
Gaag, Linda C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334728.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39091-3
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for User-Level Workflow Design A Bioinformatics Perspective
User-Level Workflow Design A Bioinformatics Perspective
Author 
Lamprecht, Anna-Lena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335213.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45389-2
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335217.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45422-6
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers
Author 
Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335227.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-54092-9
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
Author 
Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.
Preferred Shelf Number 
ONLINE(332964.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03089-0
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
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:
21. 
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:
22. 
Cover image for Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Author 
Hinze, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335126.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41582-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets