Search Results for Software.

551 Results Found

1 2 3 4 5 .. 46

000000000000DEFAULT

25.

Cover image for Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Author

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-02928-9

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

Author

Kamsties, Erik. editor. (orcid)0000-0002-7373-8466 Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277 Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Author

Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

SafeScrum® – Agile Development of Safety-Critical Software

Author

Hanssen, Geir Kjetil. author. Stålhane, Tor. author. Myklebust, Thor. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Author

Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175 Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-02146-7

Format:

Availability

Online Library~1

Available:
Copies:

30.

Directory of library automation software, systems, and services.

Author

Cibbarelli, Pamela R., ed. Information Today, Inc.

Preferred Shelf Number

Z678.9.A3 D6

Format:

Availability

Beytepe Library~1

Available:
Copies:

31.

Software Fault Detection and Correction: Modeling and Applications

Author

Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-1162-8

Format:

Availability

Online Library~1

Available:
Copies:

32.

Proceedings of 5th International Conference in Software Engineering for Defence Applications SEDA 2016

Author

Ciancarini, Paolo. editor. Litvinov, Stanislav. editor. Messina, Angelo. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Current Trends in Web Engineering ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers

Current Trends in Web Engineering ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers

Author

Garrigós, Irene. editor. Wimmer, Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Author

Russo, Alessandra. editor. (orcid)0000-0002-3318-8711 Schürr, Andy. editor. (orcid)0000-0001-8100-1109 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Agile Processes in Software Engineering and Extreme Programming 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings

Agile Processes in Software Engineering and Extreme Programming 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings

Author

Garbajosa, Juan. editor. (orcid)0000-0003-0161-3485 Wang, Xiaofeng. editor. (orcid)0000-0001-8424-419X Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.