Limit Search Results
Author
SpringerLink (Online service)
(868)
Voronkov, Andrei. editor.
(13)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Rozenberg, Grzegorz. editor.
(8)
Language
Publication Date
-
Subject
Computer science.
(822)
Software engineering.
(748)
Computer Communication Networks.
(248)
Artificial intelligence.
(239)
Computer software.
(201)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
868 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings
Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings
Author 
Brorsson, Mats. editor. Pinho, Luís Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30598-6
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Software Service and Application Engineering Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday
Software Service and Application Engineering Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday
Author 
Heisel, Maritta. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30835-2
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
Author 
Donaldson, Alastair. editor. Parker, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31759-0
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Author 
Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Gurov, Dilian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31762-0
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Author 
Arbab, Farhad. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35743-5
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
Author 
Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35746-6
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
Author 
Ober, Iulian. editor. Ober, Ileana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25264-8
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Author 
Barbosa, Luís Soares. editor. Lumpe, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27269-1
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Author 
Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27705-4
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
Author 
Szmuc, Tomasz. editor. Szpyrka, Marcin. editor. Zendulka, Jaroslav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28038-2
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Author 
Birkedal, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28729-9
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Author 
Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28756-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action