Search Results for Software.

6552 Results Found

1 .. 13 14 15 16 17 .. 546

000000000000DEFAULT

169.

Cover image for Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Author

Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-10431-7

Format:

Availability

Online Library~1

Available:
Copies:

170.

Cover image for Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

Author

Majzik, István. editor. Vieira, Marco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-12241-0

Format:

Availability

Online Library~1

Available:
Copies:

171.

Cover image for Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings

Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings

Author

Jedlitschka, Andreas. editor. Kuvaja, Pasi. editor. Kuhrmann, Marco. editor. Männistö, Tomi. editor. Münch, Jürgen. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-13835-0

Format:

Availability

Online Library~1

Available:
Copies:

172.

Cover image for Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Author

Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54108-7

Format:

Availability

Online Library~1

Available:
Copies:

173.

Cover image for Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings

Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings

Author

Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-14130-5

Format:

Availability

Online Library~1

Available:
Copies:

174.

Cover image for Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Author

Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-05032-4

Format:

Availability

Online Library~1

Available:
Copies:

175.

The Software Industry Economic Principles, Strategies, Perspectives

Author

Buxmann, Peter. author. Diefenbach, Heiner. author. Hess, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333443.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31510-7

Format:

Availability

Online Library~1

Available:
Copies:

176.

A Practical Introduction to Hardware/Software Codesign

Author

Schaumont, Patrick R. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331370.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-3737-6

Format:

Availability

Online Library~1

Available:
Copies:

177.

Transactions on Aspect-Oriented Software Development X

Author

Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334333.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36964-3

Format:

Availability

Online Library~1

Available:
Copies:

178.

Model-Driven Dependability Assessment of Software Systems

Author

Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334812.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39512-3

Format:

Availability

Online Library~1

Available:
Copies:

179.

Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung

Author

Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337114.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34718-4

Format:

Availability

Online Library~1

Available:
Copies:

180.

Energieeffiziente Antriebstechnologien Hybridisierung – Downsizing – Software und IT

Author

Siebenpfeiffer, Wolfgang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337594.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-658-00790-4

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 13 14 15 16 17 .. 546

	{displayName}	{count}
{error}