Search Results for Software engineering.

93 Results Found

1 2 3 4 5 6 .. 8

000000000000DEFAULT

37.

Service-Oriented Computing 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings

Author

Barros, Alistair. editor. Grigori, Daniela. editor. Narendra, Nanjangud C. editor. Dam, Hoa Khanh. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519074.1)

Electronic Access

https://doi.org/10.1007/978-3-662-48616-0

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings

Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings

Author

Taentzer, Gabriele. editor. Bordeleau, Francis. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519091.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings

Author

Koornneef, Floor. editor. van Gulijk, Coen. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519092.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Service Oriented and Cloud Computing 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings

Author

Dustdar, Schahram. editor. Leymann, Frank. editor. Villari, Massimo. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519101.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Author

Bjørner, Nikolaj. editor. de Boer, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519064.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Author

Havelund, Klaus. editor. Holzmann, Gerard. editor. Joshi, Rajeev. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518776.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

Author

Núñez, Manuel. editor. Güdemann, Matthias. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518977.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings

Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings

Author

Kolovos, Dimitris. editor. Wimmer, Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519006.1)

Electronic Access

https://doi.org/10.1007/978-3-319-21155-8

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Author

Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519008.1)

Electronic Access

https://doi.org/10.1007/978-3-319-18941-3

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

Author

de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519019.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

Author

Koornneef, Floor. editor. van Gulijk, Coen. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519026.1)

Electronic Access

https://doi.org/10.1007/978-3-319-24255-2

Format:

Availability

Online Library~1

Available:
Copies:

48.

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings

Author

Blanchette, Jasmin Christian. editor. Kosmatov, Nikolai. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519104.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6 .. 8

	{displayName}	{count}
{error}