Limit Search Results
Author
SpringerLink (Online service)
(37)
Löwe, Benedikt. editor.
(9)
Pohlmann, Norbert. editor.
(4)
Reimer, Helmut. editor.
(4)
Schneider, Wolfgang. editor.
(4)
Language
Publication Date
-
Subject
Software engineering.
(14)
Computer software.
(11)
Computer Communication Networks.
(9)
Information Systems.
(8)
Information theory.
(8)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
37 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Reliable Software Technologies – Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
Reliable Software Technologies – Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
Author 
Kordon, Fabrice. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68624-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings
Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings
Author 
Paige, Richard F. editor. Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69824-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings
Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings
Author 
Abdennadher, Nabil. editor. Kordon, Fabrice. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73230-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings
Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings
Author 
Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73001-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for ISSE/SECURE 2007 Securing Electronic Business Processes Highlights of the Information Security Solutions Europe/SECURE 2007 Conference
ISSE/SECURE 2007 Securing Electronic Business Processes Highlights of the Information Security Solutions Europe/SECURE 2007 Conference
Author 
Pohlmann, Norbert. author. Reimer, Helmut. author. Schneider, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9418-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings
Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings
Author 
Beckmann, Arnold. editor. Berger, Ulrich. editor. Löwe, Benedikt. editor. Tucker, John V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11780342
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for ISSE 2006 — Securing Electronic Busines Processes Highlights of the Information Security Solutions Europe 2006 Conference
ISSE 2006 — Securing Electronic Busines Processes Highlights of the Information Security Solutions Europe 2006 Conference
Author 
Paulus, Sachar. author. Pohlmann, Norbert. author. Reimer, Helmut. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9195-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Reliable Software Technologies – Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings
Reliable Software Technologies – Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings
Author 
Pinho, Luís Miguel. editor. González Harbour, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11767077
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings
Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings
Author 
Vardanega, Tullio. editor. Wellings, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137344
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings
New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings
Author 
Cooper, S. Barry. editor. Löwe, Benedikt. editor. Torenvliet, Leen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136981
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings
FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings
Author 
Fitzgerald, John. editor. Hayes, Ian J. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b27882
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Apartness and Uniformity A Constructive Development
Apartness and Uniformity A Constructive Development
Author 
Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22415-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action