Limit Search Results
Author
SpringerLink (Online service)
(33)
Alexander, Michael. editor.
(1)
Ao, Sio-Iong. editor.
(1)
Badia, Rosa Maria. editor.
(1)
Barry, Chris. editor.
(1)
Language
Publication Date
-
2013
(33)
Subject
Software Engineering/Programming and Operating Systems.
(33)
Software engineering.
(33)
Computer science.
(28)
Programming Languages, Compilers, Interpreters.
(7)
Programming Techniques.
(7)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
33 Results Found Subscribe to search results
000000000DEFAULT
Print
25. 
Cover image for Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Author 
Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334096.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35992-7
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
Author 
Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334236.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36563-8
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project
Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project
Author 
Cotroneo, Domenico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335577.1)
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-2772-5
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings
Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings
Author 
Wang, Mingzheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334849.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39787-5
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334871.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39958-9
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for An Introduction to Network Programming with Java Java 7 Compatible
An Introduction to Network Programming with Java Java 7 Compatible
Author 
Graba, Jan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331180.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5254-5
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Finding Source Code on the Web for Remix and Reuse
Finding Source Code on the Web for Remix and Reuse
Author 
Sim, Susan Elliott. editor. Gallardo-Valencia, Rosalva E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332071.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6596-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Author 
Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334533.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38088-4
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Web Dynpro ABAP for Practitioners
Web Dynpro ABAP for Practitioners
Author 
Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334566.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38247-5
Format: 
Availability 
Online Library~1
Available:
Copies: