Search Results for Software engineering.

93 Results Found

1 2 3 4 5 .. 8

000000000000DEFAULT

Green in Software Engineering

Author

Calero, Coral. editor. Piattini, Mario. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518426.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Sharing data and models in software engineering

Author

Menzies, Tim, author. Rogers, Mark, designer.

Preferred Shelf Number

ONLINE(355389.1)

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780124172951

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Author

Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519078.1)

Electronic Access

https://doi.org/10.1007/978-3-319-15201-1

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

Author

Li, Xuandong. editor. Liu, Zhiming. editor. Yi, Wang. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519111.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Author

Bianculli, Domenico. editor. Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519205.1)

Electronic Access

https://doi.org/10.1007/978-3-662-49224-6

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

Author

De Nicola, Rocco. editor. Hennicker, Rolf. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519248.1)

Electronic Access

https://doi.org/10.1007/978-3-319-15545-6

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

Author

Fantechi, Alessandro. editor. Pelliccione, Patrizio. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519311.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Software Engineering for Collective Autonomic Systems The ASCENS Approach

Author

Wirsing, Martin. editor. Hölzl, Matthias. editor. Koch, Nora. editor. Mayer, Philip. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518784.1)

Electronic Access

https://doi.org/10.1007/978-3-319-16310-9

Format:

Availability

Online Library~1

Available:
Copies:

Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

Author

Barros, Márcio. editor. Labiche, Yvan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518788.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

Author

Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518828.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Author

Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518840.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Author

Butler, Michael. editor. Conchon, Sylvain. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518970.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 8

	{displayName}	{count}
{error}