Limit Search Results
Author
SpringerLink (Online service)
(179)
Abrahamsson, Pekka. editor.
(7)
Meyer, Bertrand. editor.
(6)
Rashid, Awais. editor.
(5)
Aksit, Mehmet. editor.
(4)
Language
Publication Date
-
2013
(34)
2012
(26)
2009
(19)
2011
(19)
2006
(17)
Subject
Computer science.
(178)
Software engineering.
(178)
Logic design.
(48)
Management of Computing and Information Systems.
(32)
Computer simulation.
(28)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
179 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Model and Data Engineering Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings
Model and Data Engineering Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings
Author 
Cuzzocrea, Alfredo. editor. Maabout, Sofian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335097.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41366-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Product Lifecycle Management for Society 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedings
Product Lifecycle Management for Society 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedings
Author 
Bernard, Alain. editor. Rivest, Louis. editor. Dutta, Debasish. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335114.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41501-2
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Projektorganisation und Management im Software Engineering
Projektorganisation und Management im Software Engineering
Author 
Broy, Manfred. author. Kuhrmann, Marco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336947.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29290-3
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
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:
41. 
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:
42. 
Cover image for User Experience Design Mit erlebniszentrierter Softwareentwicklung zu Produkten, die begeistern
User Experience Design Mit erlebniszentrierter Softwareentwicklung zu Produkten, die begeistern
Author 
Moser, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13363-3
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Agile Management Leadership in an Agile Environment
Agile Management Leadership in an Agile Environment
Author 
Medinilla, Ángel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28909-5
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for agendaCPS Integrierte Forschungsagenda Cyber-Physical Systems
agendaCPS Integrierte Forschungsagenda Cyber-Physical Systems
Author 
Geisberger, Eva. editor. Broy, Manfred. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29099-2
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers
Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers
Author 
Kienzle, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29645-1
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Author 
Carbone, Marco. editor. Petit, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29834-9
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Author 
Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30982-3
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Author 
Giannakopoulou, Dimitra. editor. Méry, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32759-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action