Search Results for Software engineering.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

96 Results Found

1 2 3 4 5 .. 8

000000000000DEFAULT

25.

Cover image for Agile Processes in Software Engineering and Extreme Programming 16th International Conference, XP 2015, Helsinki, Finland, May 25-29, 2015, Proceedings

Agile Processes in Software Engineering and Extreme Programming 16th International Conference, XP 2015, Helsinki, Finland, May 25-29, 2015, Proceedings

Author

Lassenius, Casper. editor. Dingsøyr, Torgeir. editor. Paasivaara, Maria. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518633.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Model-Integrating Software Components Engineering Flexible Software Systems

Author

Derakhshanmanesh, Mahdi. author. SpringerLink (Online service)

Preferred Shelf Number

XX(518572.1)

Electronic Access

https://doi.org/10.1007/978-3-658-09646-5

Format:

Availability

Online Library~1

Available:
Copies:

27.

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:

28.

Cover image for Risk Assessment and Risk-Driven Testing Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers

Risk Assessment and Risk-Driven Testing Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers

Author

Seehusen, Fredrik. editor. Felderer, Michael. editor. Großmann, Jürgen. editor. Wendland, Marc-Florian. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518803.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

Author

Terboven, Christian. editor. de Supinski, Bronis R. editor. Reble, Pablo. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.

Preferred Shelf Number

XX(518805.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings

Analytical and Stochastic Modelling Techniques and Applications 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings

Author

Gribaudo, Marco. editor. Manini, Daniele. editor. Remke, Anne. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518823.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Author

Piterman, Nir. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518849.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Author

Finkbeiner, Bernd. editor. Pu, Geguang. editor. Zhang, Lijun. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518850.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

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:

34.

Cover image for Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Author

Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518980.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers

Author

Gorentla Venkata, Manjunath. editor. Shamis, Pavel. editor. Imam, Neena. editor. Lopez, M. Graham. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518892.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 8

	{displayName}	{count}
{error}