Search Results for Software

1.

Software quality engineering a practioner's approach

Author

Suryn, Witold.

Preferred Shelf Number

ONLINE(341841.1)

Electronic Access

John Wiley http://dx.doi.org/10.1002/9781118830208

Format:

Availability

Online Library~1

Available:
Copies:

2.

Knowledge Cartography Software Tools and Mapping Techniques

Author

Okada, Alexandra. editor. Buckingham Shum, Simon J. editor. Sherborne, Tony. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-6470-8

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Author

Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

Author

George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

Author

Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Author

Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

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:

8.

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:

9.

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:

10.

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:

11.

Software Project Management in a Changing World

Author

Ruhe, Günther. editor. Wohlin, Claes. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-55035-5

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings

Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings

Author

Salinesi, Camille. editor. van de Weerd, Inge. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings

Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings

Author

Sauer, Stefan. editor. Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797 Forbrig, Peter. editor. Bernhaupt, Regina. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44811-3

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Author

Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44857-1

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Author

Yahav, Eran. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Author

Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

Author

Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

Author

Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

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:

20.

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:

21.

Cover image for Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Author

Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Computing handbook : computer science and software engineering

Author

Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Diaz-Herrera, Jorge L., 1950- editor.

Preferred Shelf Number

QA76 .C57315 2014

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

23.

Data Analysis in Management with SPSS Software

Author

Verma, J.P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335463.1)

Electronic Access

http://dx.doi.org/10.1007/978-81-322-0786-3

Format:

Availability

Online Library~1

Available:
Copies:

24.

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:

25.

Software-Entwicklung für dynamische Portfolioallokation und Risikomanagement

Author

Impekoven, Christoph. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337718.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-658-01182-6

Format:

Availability

Online Library~1

Available:
Copies:

26.

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:

27.

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:

28.

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:

29.

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:

30.

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:

31.

Anpassung von Open-Source-Software in Anwenderunternehmen

Author

Keßler, Steffen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337922.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-658-01955-6

Format:

Availability

Online Library~1

Available:
Copies:

32.

QuickBooks 2010 finance software for small business

Author

Barich, Thomas E.

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

33.

Enterprise software architecture and design entities, services, and resources

Author

Duggan, Dominic.

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9781118180518
http://site.ebrary.com/lib/alltitles/Doc?id=10529323

Format:

Availability

Online Library~1

Available:
Copies:

34.

Transactions on Aspect-Oriented Software Development IX

Author

Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Software Engineering Research,Management and Applications 2011

Author

Lee, Roger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Improving Software Testing Technical and Organizational Developments

Author

Majchrzak, Tim A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

Games, Actions and Social Software Multidisciplinary Aspects

Author

Eijck, Jan. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Software Engineering Research, Management and Applications 2012

Author

Lee, Roger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Software project management : a process-driven approach

Author

Ahmed, Ashfaque., author.

Preferred Shelf Number

QA76.76 .D47 A3965 2012

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

40.

Transactions on Aspect-Oriented Software Development VIII

Author

Katz, Shmuel. editor. Mezini, Mira. editor. Schwanninger, Christine. editor. Joosen, Wouter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Aufwandsschätzungen in der Software- und Systementwicklung kompakt

Author

Hummel, Oliver. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8274-2752-6

Format:

Availability

Online Library~1

Available:
Copies:

42.

Software Tools and Algorithms for Biological Systems

Author

Arabnia, Hamid R. editor. Tran, Quoc-Nam. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-7046-6

Format:

Availability

Online Library~1

Available:
Copies:

43.

Clustering-Based Support for Software Architecture Restructuring

Author

Streekmann, Niels. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-8675-0

Format:

Availability

Online Library~1

Available:
Copies:

44.

Scientific Software Design The Object-Oriented Way

Author

Rouson, Damian. Xia, Jim. Xu, Xiaofeng.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

45.

Innovation in China the Chinese software industry

Author

Jui, Shang-Ling.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

46.

Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8274-2526-3

Format:

Availability

Online Library~1

Available:
Copies:

47.

Eingebettete Systeme Systemgrundlagen und Entwicklung eingebetteter Software

Author

Berns, Karsten. author. Bernd, Schürmann. author. Trapp, Mario. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9661-2

Format:

Availability

Online Library~1

Available:
Copies:

48.

Advanced Ocean Modelling Using Open-Source Software

Author

Kämpf, Jochen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

49.

Software Engineering Research, Management and Applications 2010

Author

Lee, Roger. editor. Ormandjieva, Olga. editor. Abran, Alain. editor. Constantinides, Constantinos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

A Practical Introduction to Hardware/Software Codesign

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-6000-9

Format:

Availability

Online Library~1

Available:
Copies:

51.

Digitale Hardware/Software-Systeme Spezifikation und Verifikation

Author

Haubelt, Christian. author. Teich, Jürgen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Usability Engineering kompakt Benutzbare Software gezielt entwickeln

Author

Richter, Michael. author. Flückiger, Markus D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8274-2329-0

Format:

Availability

Online Library~1

Available:
Copies:

53.

Innovations in Computing Sciences and Software Engineering

Author

Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9112-3

Format:

Availability

Online Library~1

Available:
Copies:

54.

Composing Software Components A Software-testing Perspective

Author

Hamlet, Dick. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-7148-7

Format:

Availability

Online Library~1

Available:
Copies:

55.

Software error detection through testing and analysis

Author

Huang, J. C., 1935-

Preferred Shelf Number

ONLINE

Electronic Access

Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=456102
John Wiley http://dx.doi.org/10.1002/9780470464076
MyiLibrary, Table of contents http://www.myilibrary.com?id=227967&ref=toc
http://site.ebrary.com/lib/alltitles/Doc?id=10332960
http://swb.eblib.com/patron/FullRecord.aspx?p=456102

Format:

Availability

Online Library~1

Available:
Copies:

56.

Software Engineering Research, Management and Applications 2009

Author

Lee, Roger. editor. Ishii, Naohiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Experience and Knowledge Management in Software Engineering

Author

Schneider, Kurt. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-95880-2

Format:

Availability

Online Library~1

Available:
Copies:

58.

Software Architecture Knowledge Management Theory and Practice

Author

Ali Babar, Muhammad. editor. Dingsøyr, Torgeir. editor. Lago, Patricia. editor. van Vliet, Hans. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Transactions on Aspect-Oriented Software Development V

Author

Rashid, Awais. editor. Ossher, Harold. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

An Approach to Modelling Software Evolution Processes

Author

Li, Tong. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79464-6

Format:

Availability

Online Library~1

Available:
Copies:

61.

Software maintenance management evaluation and continuous improvement

Author

April, Alain, 1958- Abran, Alain, 1949-

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129685

Format:

Availability

Online Library~1

Available:
Copies:

62.

Symbolic data analysis and the SODAS software

Author

Diday, E. Noirhomme-Fraiture, Monique. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9780470723562
MyiLibrary, Table of contents http://www.myilibrary.com?id=130833&ref=toc

Format:

Availability

Online Library~1

Available:
Copies:

63.

Baseband Analog Circuits for Software Defined Radio

Author

Giannini, Vito. author. Craninckx, Jan. author. Baschirotto, Andrea. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-6538-5

Format:

Availability

Online Library~1

Available:
Copies:

64.

Knowledge Cartography Software Tools and Mapping Techniques

Author

Sherborne, Tony. editor. Buckingham Shum, Simon J. editor. Okada, Alexandra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-149-7

Format:

Availability

Online Library~1

Available:
Copies:

65.

Software for Data Analysis Programming with R

Author

Chambers, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-75936-4

Format:

Availability

Online Library~1

Available:
Copies:

66.

Software engineering foundations : a software science perspective

Author

Wang, Yingxu., author.

Preferred Shelf Number

QA76.758 .W375 2008

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

67.

Digitale Hardware/Software-Systeme Synthese und Optimierung

Author

Teich, Jürgen. author. Haubelt, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-46824-0

Format:

Availability

Online Library~1

Available:
Copies:

68.

Transactions on Aspect-Oriented Software Development IV

Author

Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-77042-8

Format:

Availability

Online Library~1

Available:
Copies:

69.

Transactions on Aspect-Oriented Software Development III

Author

Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-75162-5

Format:

Availability

Online Library~1

Available:
Copies:

70.

Software evolution and feedback theory and practice

Author

Madhavji, Nazim H. Fernández Ramil, Juan Carlos. Perry, Dewayne E. John Wiley & Sons.

Preferred Shelf Number

ONLINE

Electronic Access

Click for information
John Wiley http://dx.doi.org/10.1002/0470871822
http://www3.interscience.wiley.com/cgi-bin/bookhome/112650855
Books24x7 http://www.books24x7.com/marc.asp?bookid=9542
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=274329

Format:

Availability

Online Library~1

Available:
Copies:

71.

Eric Sink on the Business of Software

Author

Sink, Eric. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-0143-4

Format:

Availability

Online Library~1

Available:
Copies:

72.

Transactions on Aspect-Oriented Software Development I

Author

Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11687061

Format:

Availability

Online Library~1

Available:
Copies:

73.

Transactions on Aspect-Oriented Software Development II

Author

Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11922827

Format:

Availability

Online Library~1

Available:
Copies:

74.

Ontologies for Software Engineering and Software Technology

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-34518-3

Format:

Availability

Online Library~1

Available:
Copies:

75.

The economics of open source software development

Author

Bitzer, Jürgen, 1970- Schröder, Philipp J. H.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

76.

Software specification and design : an engineering approach

Author

Munson, John C., author.

Preferred Shelf Number

QA76.76 .D47 M853 2006

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

77.

Memory management for synthesis of DSP software

Author

Murthy, Praveen K., 1969- author. Bhattacharyya, Shuvra S., 1968-

Preferred Shelf Number

TK5102.9 .M87 2006

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

78.

Hardware and computer organization the software perspective

Author

Berger, Arnold S.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

79.

Digital Synthesizers and Transmitters for Software Radio

Author

Vankka, Jouko. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3195-5

Format:

Availability

Online Library~1

Available:
Copies:

80.

Software Project Secrets Why Software Projects Fail

Author

Stepanek, George. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-0055-0

Format:

Availability

Online Library~1

Available:
Copies:

81.

Outsourcing software development offshore : making it work

Author

Gold, Tandy., author.

Preferred Shelf Number

QA76.76 .D47 G63 2005

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

82.

Perspectives on free and open source software

Author

Feller, Joseph, 1972-

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267258

Format:

Availability

Online Library~1

Available:
Copies:

83.

Global IT Outsourcing Software Development across Borders

Author

Sahay, Sundeep. Nicholson, Brian. Krishna, S..

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

84.

Software development failures anatomy of abandoned projects

Author

Ewusi-Mensah, Kweku.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267255

Format:

Availability

Online Library~1

Available:
Copies:

85.

Dynamic software development : managing projects in flux

Author

Wells, Timothy D. CRC Press LLC.

Preferred Shelf Number

QA76.76 .D47

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9780429134074
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

86.

Computer architecture : software aspects, coding, and hardware

Author

Hsu, John Y., author.

Preferred Shelf Number

QA76.9 .A73 H758 2001

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

87.

Software Agent-Based Applications, Platforms and Development Kits

Author

Unland, Rainer. editor. Calisti, Monique. editor. Klusch, Matthias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b137512

Format:

Availability

Online Library~1

Available:
Copies:

88.

Software defined radio baseband technologies for 3G handsets and basestations

Author

Tuttlebee, Wally H. W., 1953- John Wiley & Sons.

Preferred Shelf Number

ONLINE

Electronic Access

Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/0470867728
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley047/2003021216.html
Volltext http://proquest.tech.safaribooksonline.de/9780470867709

Format:

Availability

Online Library~1

Available:
Copies:

89.

Software defined radio origins, drivers, and international perspectives

Author

Tuttlebee, Wally H. W., 1953-

Preferred Shelf Number

ONLINE

Electronic Access

HathiTrust Digital Library Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/48516093.html
John Wiley http://dx.doi.org/10.1002/0470846011

Format:

Availability

Online Library~1

Available:
Copies:

90.

Microprocessor. 5, Software and hardware aspects of development, debugging and testing -- the microcomputer

Author

Darche, Philippe.

Preferred Shelf Number

QA76.5

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119801740

Format:

Availability

Online Library~1

Available:
Copies:

91.

Software Test Attacks to Break Mobile and Embedded Devices.

Author

Hagar, Jon Duncan, author. CRC Press LLC.

Preferred Shelf Number

QA76.9 .A25 H343 2017

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9780429071911
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

92.

Software designers in action : a human-centric look at design work

Author

Petre, Marian, 1959- editor. of compilation. Hoek, Andre van der, 1971- editor. of compilation.

Preferred Shelf Number

QA76.76 .D47 S6185 2014

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

93.

Cover image for Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development

Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development

Author

Trendowicz, Adam. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333358.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

94.

Schaum's outline of theory and problems of software engineering

Author

Gustafson, David A.

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

95.

24 deadly sins of software security programming flaws and how to fix them

Author

Howard, Michael, 1965- LeBlanc, David, 1960- Viega, John.

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

96.

MATLAB software for the code excited linear prediction algorithm the Federal Standard, 1016

Author

Ramamurthy, Karthikeyan N. Spanias, Andreas.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440314

Format:

Availability

Online Library~1

Available:
Copies:

97.

The road map to software engineering a standards-based guide

Author

Moore, James W., 1948-

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989673

Format:

Availability

Online Library~1

Available:
Copies:

98.

Practical support for ISO 9001 software project documentation using IEEE software engineering standards

Author

Land, Susan K. Walz, John W. IEEE Computer Society.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989411

Format:

Availability

Online Library~1

Available:
Copies:

99.

Classic Lego mindstorms project and software tools award-winning designs from master builders

Author

Ferrari, Mario.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

100.

Cover image for Parallel computational fluid dynamics advanced numerical methods : software and applications : proceedings of the Parallel CFD 2003 Conference, Moscow, Russia (May 13-15, 2003)

Parallel computational fluid dynamics advanced numerical methods : software and applications : proceedings of the Parallel CFD 2003 Conference, Moscow, Russia (May 13-15, 2003)

Author

Parallel CFD Conference (2003 : Moscow, Russia) Chetverushkin, B. N. (Boris Nikolaevich)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

101.

Knowledge-based software engineering proceedings of the tenth Joint Conference on Knowledge-Based Software Engineering

Author

Joint Conference on Knowledge-Based Software Engineering (10th : 2012 : Rhodes (Island), Greece) Virvou, Maria. Matsuura, Saeko. IOS Press.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=489951

Format:

Availability

Online Library~1

Available:
Copies:

102.

Practical software project estimation a toolkit for estimating software development effort & duration

Author

Hill, Peter R. International Software Benchmarking Standards Group.

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

103.

Real-world software projects for computer science and engineering students

Author

Gupta, Varun, 1987- author. Nguyen-Duc, Anh (Software engineer), author.

Preferred Shelf Number

QA76.6 .G86 2021

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003119883
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

104.

INTEGRATING HUMAN AND ARTIFICIAL INTELLIGENCE software in the age of AI.

Author

Reed, Stephen K.

Preferred Shelf Number

TA167

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003632351
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

105.

GREENHOUSE ENGINEERING software-driven design and modelling for optimal microclimate control.

Author

SETHI, V.P.

Preferred Shelf Number

SB415

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003481126
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

106.

A Comprehensive Guide to HSMM Theory, Software, and Advanced Extensions.

Author

Peyrard, Nathalie. de Saporta, Benoîte.

Preferred Shelf Number

XX(600386.1)

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394427581

Format:

Availability

Online Library~1

Available:
Copies:

107.

Taking testing seriously : the rapid software testing approach

Author

Bach, James, author. Bolton, Michael, author.

Preferred Shelf Number

QA76.76 .T48 B33 2026

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319749

Format:

Availability

Online Library~1

Available:
Copies:

108.

Sustainable dual-track development : the future of software engineering for co-located, remote, and hybrid teams

Author

Sedano, Todd, author. Ralph, Paul, author

Preferred Shelf Number

QA76.76 .D47 S425 2025 EB

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003598039
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

109.

Strategic software quality management : how to incorporate sustainable continuous improvement practices

Author

Fidanboy, Mahsa, author. Fidanboy, Cemalettin Öcal, author.

Preferred Shelf Number

QA76.76 .Q35

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003491606
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

110.

Securing the digital realm : advances in hardware and software security, communication, and forensics

Author

Arif, Muhammad (Computer scientist), editor. Jaffar, M. Arfan, editor. Geman, Oana, editor. Abbasi, Waseem, editor.

Preferred Shelf Number

QA76.9 .A25

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003497851
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

111.

EVENT-DATABASE ARCHITECTURE FOR COMPUTER GAMES. Volume 1, Software architecture and the... software production process.

Author

QUAYE, RODNEY.

Preferred Shelf Number

QA76.76 .V54

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003502784
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

112.

Safety Assurance under Uncertainties : From Software to Cyber-Physical/Machine Learning Systems

Author

Hasuo, Ichiro editor Ishikawa, Fuyuki editor

Preferred Shelf Number

QA76.9 .A25

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003093350
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

113.

Software-defined infrastructure : a novel concept of advanced network infrastructure

Author

Chu, Tran-Tuan, author.

Preferred Shelf Number

TK5105.5833 .C48 2025

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394388608

Format:

Availability

Online Library~1

Available:
Copies:

114.

Permutation tests for complex data : theory, applications and software

Author

Pesarin, Fortunato, author. Salmaso, Luigi, author.

Preferred Shelf Number

QA277 .P374 2025

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119438199

Format:

Availability

Online Library~1

Available:
Copies:

115.

Quantum service-oriented computing : a proposal for quantum software as a service

Author

Romero-Álvarez, Javier, author. Alvarado-Valiente, Jaime, author. Moguel, Enrique, author. Garcia-Alonso, José, author. Murillo, Juan M., author.

Preferred Shelf Number

QA76.889

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9788770046336
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

116.

WRITING IN-HOUSE MEDICAL DEVICE SOFTWARE IN COMPLIANCE WITH EU, UK, AND US REGULATIONS

Author

Cosgriff, Philip. Memmott, Matthew.

Preferred Shelf Number

R858

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003301202
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

117.

Embedded software system testing : automatic testing solution based on formal method

Author

Yin, Yongfeng, 1978- author. Jiang, Bo, 1981- author. Su, Qingran, translator. Qiu, Ruinan, translator. Guo, Yang (Translator), translator.

Preferred Shelf Number

TK7895 .E42

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003390923
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

118.

RESEARCH SOFTWARE ENGINEERING a guide to the open source ecosystem.

Author

Bannert, Mattias.

Preferred Shelf Number

Q180.55 .E4

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003286899
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

119.

Technology Applied : A Business Leader's Guide to Software, Systems and IT Projects

Author

Wooldridge, Kevin, author. Ashurst, Stephen, author.

Preferred Shelf Number

HF5548.2

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003372660
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

120.

Cover image for A fresh concept of software-resemblant hardware to leap to 6G and future networks : micro/nanotechnologies as enablers of pervasivity

A fresh concept of software-resemblant hardware to leap to 6G and future networks : micro/nanotechnologies as enablers of pervasivity

Author

Iannacci, Jacopo, author.

Preferred Shelf Number

TK5103.252

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003494928
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

121.

x86 software reverse-engineering, cracking, and counter-measures

Author

Domas, Stephanie, author. Domas, Christopher, author.

Preferred Shelf Number

QA76.9 .A25 D66 2024

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277131

Format:

Availability

Online Library~1

Available:
Copies:

122.

Intrapreneurship management : concepts, methods, and software for managing technological innovation in organizations

Author

Hasenauer, Rainer, author. Yu, Oliver S., author.

Preferred Shelf Number

HD45 .H34345 2024

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119837756

Format:

Availability

Online Library~1

Available:
Copies:

123.

COMMUNICATION ELECTRONICS rf design with practical applications using pathwave/ads software.

Author

Long, Stephen I.

Preferred Shelf Number

TK7874.78

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781032629773
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

124.

MODEL-DRIVEN SOFTWARE SYSTEMS DEVELOPMENT USING THE META-ARTIFACT PROCESS

Author

O'Brien, Wayne.

Preferred Shelf Number

QA76.76 .D47

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003448891
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

125.

SOFTWARE DESIGN BY EXAMPLE a tool-based introduction with python.

Author

Wilson, Greg, 1963- author.

Preferred Shelf Number

QA76.76 .P37

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781032725239
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

126.

Cover image for Software Quality: Higher Software Quality through Zero Waste Development 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings

Software Quality: Higher Software Quality through Zero Waste Development 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings

Author

Mendez, Daniel. editor. Winkler, Dietmar. editor. Kross, Johannes. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-31488-9

Format:

Availability

Online Library~1

Available:
Copies:

127.

Cover image for Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Author

Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30826-0

Format:

Availability

Online Library~1

Available:
Copies:

128.

UML-Based Software Product Line Engineering with SMarty

Author

OliveiraJr, Edson. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-18556-4

Format:

Availability

Online Library~1

Available:
Copies:

129.

Development of Safety-Critical Systems Architecture and Software

Author

Karmakar, Gopinath. author. Wakankar, Amol. author. Kabra, Ashutosh. author. Pandya, Paritosh. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-27901-0

Format:

Availability

Online Library~1

Available:
Copies:

130.

Cover image for Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

Author

Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-47115-5

Format:

Availability

Online Library~1

Available:
Copies:

131.

Cover image for Frontiers in Software Engineering Education Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers

Frontiers in Software Engineering Education Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers

Author

Capozucca, Alfredo. editor. Ebersold, Sophie. editor. Bruel, Jean-Michel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-48639-5

Format:

Availability

Online Library~1

Available:
Copies:

132.

Cover image for Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Author

Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-7584-6

Format:

Availability

Online Library~1

Available:
Copies:

133.

Cover image for Knowledge-Based Software Engineering: 2022 Proceedings of the 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), Larnaca, Cyprus, August 22-24, 2022

Knowledge-Based Software Engineering: 2022 Proceedings of the 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), Larnaca, Cyprus, August 22-24, 2022

Author

Virvou, Maria. editor. Saruwatari, Takuya. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-17583-1

Format:

Availability

Online Library~1

Available:
Copies:

134.

Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2

Author

Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-21438-7

Format:

Availability

Online Library~1

Available:
Copies:

135.

Applied Computing for Software and Smart Systems Proceedings of ACSS 2022

Author

Chaki, Rituparna. editor. Cortesi, Agostino. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Nabendu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-6791-7

Format:

Availability

Online Library~1

Available:
Copies:

136.

Cover image for Designing Software Intensive Products Integrating Engineering and Intellectual Property Management to the Development of Innovative Products

Designing Software Intensive Products Integrating Engineering and Intellectual Property Management to the Development of Innovative Products

Author

Atem de Carvalho, Rogerio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-08893-3

Format:

Availability

Online Library~1

Available:
Copies:

137.

Cover image for Advances in Automotive Production Technology - Towards Software-Defined Manufacturing and Resilient Supply Chains Stuttgart Conference on Automotive Production (SCAP2022)

Advances in Automotive Production Technology - Towards Software-Defined Manufacturing and Resilient Supply Chains Stuttgart Conference on Automotive Production (SCAP2022)

Author

Kiefl, Niklas. editor. Wulle, Frederik. editor. Ackermann, Clemens. editor. Holder, Daniel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-27933-1

Format:

Availability

Online Library~1

Available:
Copies:

138.

Software Engineering Research in System Science Proceedings of 12th Computer Science On-line Conference 2023, Volume 1

Author

Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-35311-6

Format:

Availability

Online Library~1

Available:
Copies:

139.

Cover image for Efficient Execution of Irregular Dataflow Graphs Hardware/Software Co-optimization for Probabilistic AI and Sparse Linear Algebra

Efficient Execution of Irregular Dataflow Graphs Hardware/Software Co-optimization for Probabilistic AI and Sparse Linear Algebra

Author

Shah, Nimish. author. Meert, Wannes. author. Verhelst, Marian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-33136-7

Format:

Availability

Online Library~1

Available:
Copies:

140.

Applied Computing for Software and Smart Systems Proceedings of ACSS 2023

Author

Chaki, Rituparna. editor. Chaki, Nabendu. editor. Cortesi, Agostino. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-7783-3

Format:

Availability

Online Library~1

Available:
Copies:

141.

Communication, Software and Networks Proceedings of INDIA 2022

Author

Bhateja, Vikrant. editor. Mohanty, Jnyana Ranjan. editor. Flores Fuentes, Wendy. editor. Maharatna, Koushik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-4990-6

Format:

Availability

Online Library~1

Available:
Copies:

142.

Advanced Digital System Design using SoC FPGAs An Integrated Hardware/Software Approach

Author

Snider, Ross K. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-15416-4

Format:

Availability

Online Library~1

Available:
Copies:

143.

Cover image for Agile Processes in Software Engineering and Extreme Programming 24th International Conference on Agile Software Development, XP 2023, Amsterdam, The Netherlands, June 13-16, 2023, Proceedings

Agile Processes in Software Engineering and Extreme Programming 24th International Conference on Agile Software Development, XP 2023, Amsterdam, The Netherlands, June 13-16, 2023, Proceedings

Author

Stettina, Christoph J. editor. Garbajosa, Juan. editor. Kruchten, Philippe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-33976-9

Format:

Availability

Online Library~1

Available:
Copies:

144.

Handbook of Re-Engineering Software Intensive Systems into Software Product Lines

Author

Lopez-Herrejon, Roberto E. editor. Martinez, Jabier. editor. Guez Assunção, Wesley Klewerton. editor. Ziadi, Tewfik. editor. Acher, Mathieu. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-11686-5

Format:

Availability

Online Library~1

Available:
Copies:

145.

Technology Research Explained Design of Software, Architectures, Methods, and Technology in General

Author

Stølen, Ketil. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-25817-6

Format:

Availability

Online Library~1

Available:
Copies:

146.

Software Testing Automation Testability Evaluation, Refactoring, Test Data Generation and Fault Localization

Author

Parsa, Saeed. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-22057-9

Format:

Availability

Online Library~1

Available:
Copies:

147.

Cover image for Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers

Author

Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-36597-3

Format:

Availability

Online Library~1

Available:
Copies:

148.

Software Technologies 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers

Author

Fill, Hans-Georg. editor. van Sinderen, Marten. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-37231-5

Format:

Availability

Online Library~1

Available:
Copies:

149.

Optimising the Software Development Process with Artificial Intelligence

Author

Romero, José Raúl. editor. Medina-Bulo, Inmaculada. editor. Chicano, Francisco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-9948-2

Format:

Availability

Online Library~1

Available:
Copies:

150.

An Introduction to Software Design Concepts, Principles, Methodologies, and Techniques

Author

Hu, Chenglie. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-28311-6

Format:

Availability

Online Library~1

Available:
Copies:

151.

Concise Guide to Software Verification From Model Checking to Annotation Checking

Author

Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30167-4

Format:

Availability

Online Library~1

Available:
Copies:

152.

Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering

Author

Lano, Kevin. author. Yassipour Tehrani, Sobhan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-44143-1

Format:

Availability

Online Library~1

Available:
Copies:

153.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Author

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30820-8

Format:

Availability

Online Library~1

Available:
Copies:

154.

Cover image for Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Author

Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30829-1

Format:

Availability

Online Library~1

Available:
Copies:

155.

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

Author

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30823-9

Format:

Availability

Online Library~1

Available:
Copies:

156.

Cover image for Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Author

Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-25803-9

Format:

Availability

Online Library~1

Available:
Copies:

157.

Cover image for Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings

Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings

Author

Bonfanti, Silvia. editor. Gargantini, Angelo. editor. Salvaneschi, Paolo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-43240-8

Format:

Availability

Online Library~1

Available:
Copies:

158.

Cover image for Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers

Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers

Author

Porkoláb, Zoltán. editor. Zsók, Viktória. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-42833-3

Format:

Availability

Online Library~1

Available:
Copies:

159.

A Review on Recent Echocardiographic Software Advancing the Field through the Emerging Science

Author

Karvandi, Mersedeh. author. Ranjbar, Saeed. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-29046-6

Format:

Availability

Online Library~1

Available:
Copies:

160.

Cover image for Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1

Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1

Author

Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-21435-6

Format:

Availability

Online Library~1

Available:
Copies:

161.

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2022-Winter

Author

Lee, Roger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-26135-0

Format:

Availability

Online Library~1

Available:
Copies:

162.

Cover image for Complex, Intelligent and Software Intensive Systems Proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023)

Complex, Intelligent and Software Intensive Systems Proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023)

Author

Barolli, Leonard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-35734-3

Format:

Availability

Online Library~1

Available:
Copies:

163.

Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Author

Caltais, Georgiana. editor. Schilling, Christian. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-32157-3

Format:

Availability

Online Library~1

Available:
Copies:

164.

Cover image for Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Author

Wies, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-30044-8

Format:

Availability

Online Library~1

Available:
Copies:

165.

Cover image for Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings

Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings

Author

Ferrari, Alessio. editor. Penzenstadler, Birgit. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-29786-1

Format:

Availability

Online Library~1

Available:
Copies:

166.

Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers

Author

Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-36889-9

Format:

Availability

Online Library~1

Available:
Copies:

167.

Cover image for Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers

Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers

Author

Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-42441-0

Format:

Availability

Online Library~1

Available:
Copies:

168.

Software Architecture 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings

Author

Tekinerdogan, Bedir. editor. Trubiani, Catia. editor. Tibermacine, Chouki. editor. Scandurra, Patrizia. editor. Cuesta, Carlos E. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-42592-9

Format:

Availability

Online Library~1

Available:
Copies:

169.

Cover image for Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I

Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I

Author

Yilmaz, Murat. editor. Clarke, Paul. editor. Riel, Andreas. editor. Messnarz, Richard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-42307-9

Format:

Availability

Online Library~1

Available:
Copies:

170.

Viruses in all Dimensions How an Information Code Controls Viruses, Software and Microorganisms

Author

Ball, Rafael. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-38826-3

Format:

Availability

Online Library~1

Available:
Copies:

171.

Cover image for Model-Driven Engineering and Software Development 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers

Model-Driven Engineering and Software Development 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers

Author

Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Seidewitz, Edwin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-38821-7

Format:

Availability

Online Library~1

Available:
Copies:

172.

Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings

Author

Karimi , Hamid Reza. editor. Wang, Ning. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-34899-0

Format:

Availability

Online Library~1

Available:
Copies:

173.

Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part II

Author

Yilmaz, Murat. editor. Clarke, Paul. editor. Riel, Andreas. editor. Messnarz, Richard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-42310-9

Format:

Availability

Online Library~1

Available:
Copies:

174.

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

Author

O'Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-26212-8

Format:

Availability

Online Library~1

Available:
Copies:

175.

Cover image for Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings

Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings

Author

Henkler, Stefan. editor. Kreutz, Márcio. editor. Wehrmeister, Marco A. editor. Götz, Marcelo. editor. Rettberg, Achim. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-34214-1

Format:

Availability

Online Library~1

Available:
Copies:

176.

Cover image for Business Modeling and Software Design 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3-5, 2023, Proceedings

Business Modeling and Software Design 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3-5, 2023, Proceedings

Author

Shishkov, Boris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-36757-1

Format:

Availability

Online Library~1

Available:
Copies:

177.

Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences

Author

Cooper, Kendra M. L. editor. Bucchiarone, Antonio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-33338-5

Format:

Availability

Online Library~1

Available:
Copies:

178.

Cover image for Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Author

Masci, Paolo. editor. Bernardeschi, Cinzia. editor. Graziani, Pierluigi. editor. Koddenbrock, Mario. editor. Palmieri, Maurizio. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-26236-4

Format:

Availability

Online Library~1

Available:
Copies:

179.

Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

Author

David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-35257-7

Format:

Availability

Online Library~1

Available:
Copies:

180.

Ambient Intelligence-Software and Applications-13th International Symposium on Ambient Intelligence

Author

Julián, Vicente. editor. (orcid)0000-0002-2743-6037 Carneiro, João. editor. Alonso, Ricardo S. editor. (orcid)0000-0002-6599-0186 Chamoso, Pablo. editor. Novais, Paulo. editor. (orcid)0000-0002-3549-0754

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-22356-3

Format:

Availability

Online Library~1

Available:
Copies:

181.

Cover image for New Perspectives in Software Engineering Proceedings of the 11th International Conference on Software Process Improvement (CIMPS 2022)

New Perspectives in Software Engineering Proceedings of the 11th International Conference on Software Process Improvement (CIMPS 2022)

Author

Mejia, Jezreel. editor. Muñoz, Mirna. editor. Rocha, Álvaro. editor. Hernández-Nava, Víctor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-20322-0

Format:

Availability

Online Library~1

Available:
Copies:

182.

Cover image for International Conference on Advanced Intelligent Systems for Sustainable Development Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science

International Conference on Advanced Intelligent Systems for Sustainable Development Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science

Author

Kacprzyk, Janusz. editor. Ezziyyani, Mostafa. editor. Balas, Valentina Emilia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-26384-2

Format:

Availability

Online Library~1

Available:
Copies:

183.

Ambient Intelligence - Software and Applications - 14th International Symposium on Ambient Intelligence

Author

Novais, Paulo. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 Hornos, Miguel J. editor. Satoh, Ichiro. editor. Carneiro, Davide. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-43461-7

Format:

Availability

Online Library~1

Available:
Copies:

184.

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

Author

Lee, Roger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-19604-1

Format:

Availability

Online Library~1

Available:
Copies:

185.

A Software Development Approach for Driving Competitiveness in Small Firms

Author

Chevers, Delroy A., author.

Preferred Shelf Number

HD2341

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003388944
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

186.

Medical-Grade Software Development How to Build Medical-Device Products That Meet the Requirements of IEC 62304 and ISO 13485.

Author

Juuso, Ilkka. Pöyhönen, Ilpo.

Preferred Shelf Number

R856.6

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003454830
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

187.

HARDWARE, SOFTWARE, HEARTWARE digital twinning for more sustainable built environments.

Author

Pomeroy, Jason.

Preferred Shelf Number

HT166

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003437765
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

188.

Introduction to convective heat transfer : a software-based approach using MAPLE and MATLAB

Author

Onur, Nevzat, 1950- author.

Preferred Shelf Number

QC327 .O58 2023

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119766797

Format:

Availability

Online Library~1

Available:
Copies:

189.

Beginning Azure DevOps : planning, building, testing, and releasing software applications on Azure

Author

Nwodo, Adora.

Preferred Shelf Number

QA76.58 .N86 2023

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320639

Format:

Availability

Online Library~1

Available:
Copies:

190.

Multi-criteria decision models in software reliability : methods and applications

Author

Mishra, Ashish (Ashish Kumar), editor. Dieu Linh, Nguyen Thi, editor. Bhardwaj, Manish (Professor of computer science and engineering), editor. Pinto, Carla M. A. (Computer scientist), editor.

Preferred Shelf Number

QA76.76 .R44 M85 2023

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9780367816414
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

191.

SOFTWARE ENGINEERING APPROACHES TO ENABLE DIGITAL TRANSFORMATION TECHNOLOGIES

Author

Misra, Sanjay. Jain, Amit. Kaushik, Manju. Banerjee, Chitresh.

Preferred Shelf Number

QA76.758

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003441601
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

192.

What every engineer should know about software engineering

Author

Laplante, Phillip A., author. Kassab, Mohamad, author.

Preferred Shelf Number

QA76.758

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003218647
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

193.

Implementing enterprise cybersecurity with open-source software and standard architecture. Volume II

Author

Handa, Anand, editor. Negi, Rohit, editor. Venkatesan, S., editor. Shukla, Sandeep K., editor.

Preferred Shelf Number

QA76.9 .A25

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003426134
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

194.

Handbook of software fault localization : foundations and advances

Author

Wong, W. Eric, editor. Tse, T. H., editor. John Wiley & Sons, publisher.

Preferred Shelf Number

QA76.76 .F34 H36 2023

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119880929

Format:

Availability

Online Library~1

Available:
Copies:

195.

Software design by example : a tool-based introduction with JavaScript

Author

Wilson, Greg, 1963- author.

Preferred Shelf Number

QA76.76 .P37

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003317807
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

196.

Learning GIS using open source software : an applied guide for geo-spatial analysis

Author

Saha, Kakoli, author. Frøyen, Yngve K., author.

Preferred Shelf Number

G70.212 .S267 2022

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003056928
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

197.

Software engineering for automotive systems : principles and applications

Author

Sivakumar, P. (Electrical engineer), editor. Kumar, B. Vinoth, editor. Sandhya Devi, R. S., editor.

Preferred Shelf Number

TL272.53

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003269908
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

198.

Properties for design of composite structures : theory and implementation using software

Author

McCartney, Neil, author.

Preferred Shelf Number

TA418.9 .C6 M3495 2022

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781118789797

Format:

Availability

Online Library~1

Available:
Copies:

199.

Cover image for Chemical process engineering : design, analysis, simulation and integration, and problem solving with Microsoft Excel -- UniSim design software, heat transfer & process integration, process safety, chemical kinetics & reactor design, engineering economics, optimization, epilogue

Chemical process engineering : design, analysis, simulation and integration, and problem solving with Microsoft Excel -- UniSim design software, heat transfer & process integration, process safety, chemical kinetics & reactor design, engineering economics, optimization, epilogue

Author

Coker, A. Kayode, author. Sotudeh-Gharebagh, Rahmat, 1964- author.

Preferred Shelf Number

TP155.7

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119871163

Format:

Availability

Online Library~1

Available:
Copies:

200.

Software-defined networking for future internet technology : concepts and applications

Author

Sahoo, Kshira Sagar, editor. Sahoo, Bibhudatta, 1967- editor. Mishra, Brojo Kishore, 1979- editor.

Preferred Shelf Number

TK5105.5833 .S64 2022

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003145721
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

201.

Applied mathematics with open-source software : operational research problems with Python and R

Author

Knight, Vincent (Vincent A.), author. Palmer, Geraint, author.

Preferred Shelf Number

T57.5

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/e/9780429328534
Taylor & Francis https://www.taylorfrancis.com/books/9780429328534
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

202.

Software-defined networking : extending SDN control to large-scale networks

Author

Bannour, Fetia, author. Souihi, Sami, author. Mellouk, Abdelhamid, author.

Preferred Shelf Number

TK5105.5833 .B36 2022

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394186181

Format:

Availability

Online Library~1

Available:
Copies:

203.

Liberalised India, politicised middle class and software professionals

Author

Srivastava, Anshu, author.

Preferred Shelf Number

HT690 .I4

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9780429274602
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

204.

Mapping, monitoring, and modeling land and water resources : advanced techniques using open source software

Author

Shit, Pravat Kumar, editor. Das, Pulakesh, editor. Bhunia, Gouri Sankar, editor. Dutta, Dipanwita, editor.

Preferred Shelf Number

QH541.15 .M64

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003181293
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

205.

Implementing enterprise cybersecurity with open-source software and standard architecture

Author

Handa, Anand, editor. Negi, Rohit, editor. Shukla, Sandeep K., editor.

Preferred Shelf Number

QA76.9 .A25 I47 2021 EB

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003338512
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

206.

REMOTE DELIVERY a guide to software delivery through collaboration between distributed teams.

Author

Qu, Zhengping.

Preferred Shelf Number

QA76.76 .D47

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003160496
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

207.

Computational intelligence techniques and their applications to software engineering problems

Author

Bansal, Ankita, editor.

Preferred Shelf Number

QA76.758

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003079996
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

208.

Building secure cars : assuring the automotive software development lifecycle

Author

Oka, Dennis Kengo, author.

Preferred Shelf Number

TL272.53 .O42 2021

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119710783

Format:

Availability

Online Library~1

Available:
Copies:

209.

Health Tech Rebooting Society's Software, Hardware and Mindset.

Author

Undheim, Trond Arne.

Preferred Shelf Number

RA425

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003178071
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

210.

Research and Evidence in Software Engineering From Empirical Studies to Open Source Artifacts.

Author

Gupta, V. (Varun) Gupta, Chetna.

Preferred Shelf Number

QA76.758

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003168393
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

211.

Software Engineering A Methodical Approach, 2nd Edition.

Author

Foster, Elvis C.

Preferred Shelf Number

QA76.758

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9780367746025
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

212.

Research Software Engineering with Python : Building software that makes research possible.

Author

Irving, Damien. Hertweck, Kate Johnston, Luke Ostblom, Joel Wickham, Charlotte

Preferred Shelf Number

Q180.55 .E4

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003143482
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

213.

Software-defined wide area network architectures and technologies

Author

Sheng, Cheng, author.

Preferred Shelf Number

TK5105.5833

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003144038
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

214.

An introduction to self-adaptive systems : a contemporary software engineering perspective

Author

Weyns, Danny.

Preferred Shelf Number

QA76.76 .S375

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119574910

Format:

Availability

Online Library~1

Available:
Copies:

215.

Deep learning for remote sensing images with open source software

Author

Cresson, Rémi, author.

Preferred Shelf Number

G70.4 .C75 2020

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003020851
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

216.

Software networks : virtualization, SDN, 5G and security

Author

Pujolle, G., 1949- author.

Preferred Shelf Number

TK5105.5

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119694748

Format:

Availability

Online Library~1

Available:
Copies:

217.

Data plane development kit : a software optimization guide to the user space-based network applications

Author

Zhu, Heqing, editor.

Preferred Shelf Number

QA76.76 .O62

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9780429353512
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

218.

Cover image for Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Author

Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17184-1

Format:

Availability

Online Library~1

Available:
Copies:

219.

Software Technologies 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers

Author

van Sinderen, Marten. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-29157-0

Format:

Availability

Online Library~1

Available:
Copies:

220.

Cover image for Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Author

Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17127-8

Format:

Availability

Online Library~1

Available:
Copies:

221.

Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Author

Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30446-1

Format:

Availability

Online Library~1

Available:
Copies:

222.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Author

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17465-1

Format:

Availability

Online Library~1

Available:
Copies:

223.

Business Modeling and Software Design 9th International Symposium, BMSD 2019, Lisbon, Portugal, July 1–3, 2019, Proceedings

Author

Shishkov, Boris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-24854-3

Format:

Availability

Online Library~1

Available:
Copies:

224.

Advanced Software Technologies for Post-Peta Scale Computing The Japanese Post-Peta CREST Research Project

Author

Sato, Mitsuhisa. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-1924-2

Format:

Availability

Online Library~1

Available:
Copies:

225.

Cover image for Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Author

Nielson, Flemming. editor. (orcid)0000-0001-7362-6176 Sands, David. editor. (orcid)0000-0001-6221-0503 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17138-4

Format:

Availability

Online Library~1

Available:
Copies:

226.

Cover image for Trends and Applications in Software Engineering Proceedings of the 7th International Conference on Software Process Improvement (CIMPS 2018)

Trends and Applications in Software Engineering Proceedings of the 7th International Conference on Software Process Improvement (CIMPS 2018)

Author

Mejia, Jezreel. editor. Muñoz, Mirna. editor. Rocha, Álvaro. editor. Peña, Adriana. editor. Pérez-Cisneros, Marco. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01171-0

Format:

Availability

Online Library~1

Available:
Copies:

227.

Fault Prediction Modeling for the Prediction of Number of Software Faults

Author

Rathore, Santosh Singh. author. Kumar, Sandeep. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

228.

Cover image for Agile Processes in Software Engineering and Extreme Programming – Workshops XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings

Agile Processes in Software Engineering and Extreme Programming – Workshops XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings

Author

Hoda, Rashina. editor. (orcid)0000-0001-5147-8096 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30126-2

Format:

Availability

Online Library~1

Available:
Copies:

229.

8051 Microcontrollers Fundamental Concepts, Hardware, Software and Applications in Electronics

Author

Gimenez, Salvador Pinillos. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

230.

Cover image for Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud 11th International Conference, SWQD 2019, Vienna, Austria, January 15–18, 2019, Proceedings

Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud 11th International Conference, SWQD 2019, Vienna, Austria, January 15–18, 2019, Proceedings

Author

Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05767-1

Format:

Availability

Online Library~1

Available:
Copies:

231.

Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30985-5

Format:

Availability

Online Library~1

Available:
Copies:

232.

Cover image for Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability Communications of NII Shonan Meetings

Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability Communications of NII Shonan Meetings

Author

Fitzgerald, Brian. editor. Mockus, Audris. editor. Zhou, Minghui. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-7099-1

Format:

Availability

Online Library~1

Available:
Copies:

233.

Cover image for Security and Safety Interplay of Intelligent Software Systems ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers

Security and Safety Interplay of Intelligent Software Systems ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers

Author

Hamid, Brahim. editor. Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Shabtai, Asaf. editor. (orcid)0000-0003-0630-4059 Elovici, Yuval. editor. Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-16874-2

Format:

Availability

Online Library~1

Available:
Copies:

234.

Cover image for Towards Integrated Web, Mobile, and IoT Technology Selected and Revised Papers from the Web Technologies Track at SAC 2017 and SAC 2018, and the Software Development for Mobile Devices, Wearables, and the IoT Minitrack at HICSS 2018

Towards Integrated Web, Mobile, and IoT Technology Selected and Revised Papers from the Web Technologies Track at SAC 2017 and SAC 2018, and the Software Development for Mobile Devices, Wearables, and the IoT Minitrack at HICSS 2018

Author

Majchrzak, Tim A. editor. (orcid)0000-0003-2581-9285 Mateos, Cristian. editor. (orcid)0000-0001-5761-1898 Poggi, Francesco. editor. (orcid)0000-0001-6577-5606 Grønli, Tor-Morten. editor. (orcid)0000-0002-2026-4551 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-28430-5

Format:

Availability

Online Library~1

Available:
Copies:

235.

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

Author

Zamani, Majid. editor. Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

236.

Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings

Author

Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750 Suoranta, Mari. editor. (orcid)0000-0002-3849-4902 Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200 Tyrväinen, Pasi. editor. (orcid)0000-0001-7716-3244 Abrahamsson, Pekka. editor. (orcid)0000-0002-4360-2226

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-33742-1

Format:

Availability

Online Library~1

Available:
Copies:

237.

Cover image for Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers

Author

Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

238.

Cover image for Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings

Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings

Author

Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-28005-5

Format:

Availability

Online Library~1

Available:
Copies:

239.

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Author

Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

240.

Cover image for Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings

Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings

Author

Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

241.

Cover image for Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

Author

Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-15-0310-8

Format:

Availability

Online Library~1

Available:
Copies:

242.

Cover image for Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Author

Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-16722-6

Format:

Availability

Online Library~1

Available:
Copies:

243.

Computing and Software Science State of the Art and Perspectives

Author

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

244.

Interdisciplinary approaches to information systems and software engineering

Author

Mukherjee, Alok Bhushan, 1985- editor. Krishna, Akhouri Pramod, 1962- editor. IGI Global, publisher.

Preferred Shelf Number

ONLINE

Electronic Access

Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7784-3

Format:

Availability

Online Library~1

Available:
Copies:

245.

Integrating the internet of things into software engineering practices

Author

Mala, D. Jeya, 1974- editor. IGI Global, publisher.

Preferred Shelf Number

ONLINE

Electronic Access

Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7790-4

Format:

Availability

Online Library~1

Available:
Copies:

246.

Software Challenges to Exascale Computing Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings

Author

Majumdar, Amit. editor. Arora, Ritu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-7729-7

Format:

Availability

Online Library~1

Available:
Copies:

247.

Engineering Adaptive Software Systems Communications of NII Shonan Meetings

Author

Yu, Yijun. editor. Bandara, Arosha. editor. Honiden, Shinichi. editor. Hu, Zhenjiang. editor. Tamai, Tetsuo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2185-6

Format:

Availability

Online Library~1

Available:
Copies:

248.

Cover image for Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedings

Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedings

Author

Kruchten, Philippe. editor. (orcid)0000-0003-1359-4867 Fraser, Steven. editor. (orcid)0000-0002-3958-6585 Coallier, François. editor. (orcid)0000-0002-2730-2469 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

249.

Next Generation and Advanced Network Reliability Analysis Using Markov Models and Software Reliability Engineering

Author

Ali, Syed Riffat. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01647-0

Format:

Availability

Online Library~1

Available:
Copies:

250.

Cover image for Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers

Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers

Author

Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

251.

Neuroimaging, Software, and Communication The Social Code of Source Code

Author

Bicudo, Edison. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-7060-1

Format:

Availability

Online Library~1

Available:
Copies:

252.

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Author

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17462-0

Format:

Availability

Online Library~1

Available:
Copies:

253.

Automotive Systems and Software Engineering State of the Art and Future Trends

Author

Dajsuren, Yanja. editor. van den Brand, Mark. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-12157-0

Format:

Availability

Online Library~1

Available:
Copies:

254.

Improving product reliability and software quality : strategies, tools, process and implementation

Author

Levin, Mark, 1959- author. Kalal, Ted T., author. Rodin, Jonathan, 1957- author.

Preferred Shelf Number

TS173 .L48 2019

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119179429

Format:

Availability

Online Library~1

Available:
Copies:

255.

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:

256.

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Author

Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

257.

Cover image for Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

Author

Stamelos, Ioannis. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00623-5

Format:

Availability

Online Library~1

Available:
Copies:

258.

Cover image for Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

Author

Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

259.

Cover image for Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Principles of Security and Trust 7th International Conference, POST 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

Bauer, Lujo. editor. Küsters, Ralf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

260.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

261.

Cover image for Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Programming Languages and Systems 27th European Symposium on Programming, ESOP 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

Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

262.

Managing Software Crisis: A Smart Way to Enterprise Agility

Author

Zykov, Sergey V. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

263.

Cover image for Complex, Intelligent, and Software Intensive Systems Proceedings of the 11th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2017)

Complex, Intelligent, and Software Intensive Systems Proceedings of the 11th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2017)

Author

Barolli, Leonard. editor. Terzo, Olivier. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

264.

Engineering Secure Software and Systems 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings

Author

Payer, Mathias. editor. Rashid, Awais. editor. Such, Jose M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

265.

Designing Usable and Secure Software with IRIS and CAIRIS

Author

Faily, Shamal. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

266.

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

Author

Lee, Roger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

267.

Cover image for Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

Author

Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

268.

Towards a Synergistic Combination of Research and Practice in Software Engineering

Author

Kosiuczenko, Piotr. editor. Madeyski, Lech. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

269.

Cover image for Digging into Software Knowledge Generation in Cultural Heritage Modeling Assistance Strategies for Large Archaeological Data Sets

Digging into Software Knowledge Generation in Cultural Heritage Modeling Assistance Strategies for Large Archaeological Data Sets

Author

Martin-Rodilla, Patricia. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

270.

Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

Author

Cabello, Enrique. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

271.

Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings

Author

Shishkov, Boris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

272.

Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach

Author

Khan, Muhammad Usman Karim. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

273.

Cybernetics Approaches in Intelligent Systems Computational Methods in Systems and Software 2017, vol. 1

Author

Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

274.

Software Data Engineering for Network eLearning Environments Analytics and Awareness Learning Services

Author

Caballé, Santi. editor. Conesa, Jordi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

275.

Software Failure Investigation A Near-Miss Analysis Approach

Author

Eloff, Jan. author. Bihina Bella, Madeleine. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

276.

Cover image for Trends and Applications in Software Engineering Proceedings of the 6th International Conference on Software Process Improvement (CIMPS 2017)

Trends and Applications in Software Engineering Proceedings of the 6th International Conference on Software Process Improvement (CIMPS 2017)

Author

Mejia, Jezreel. editor. Muñoz, Mirna. editor. Rocha, Álvaro. editor. Quiñonez, Yadira. editor. Calvo-Manzano, Jose. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

277.

Software Development Measurement Programs Development, Management and Evolution

Author

Staron, Miroslaw. author. Meding, Wilhelm. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

278.

Applied Computational Intelligence and Mathematical Methods Computational Methods in Systems and Software 2017, vol. 2

Author

Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

279.

Control Theory Tutorial Basic Concepts Illustrated by Software Examples

Author

Frank, Steven A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

280.

Cover image for Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Author

Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

281.

Handbook of Smart Cities Software Services and Cyber Infrastructure

Author

Maheswaran, Muthucumaru. editor. Badidi, Elarbi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

282.

Routines of Substitution John von Neumann’s Work on Software Development, 1945–1948

Author

Priestley, Mark. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

283.

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

Author

Müller, Peter. editor. Schaefer, Ina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

284.

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:

285.

Software Business 9th International Conference, ICSOB 2018, Tallinn, Estonia, June 11–12, 2018, Proceedings

Author

Wnuk, Krzysztof. editor. Brinkkemper, Sjaak. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04840-2

Format:

Availability

Online Library~1

Available:
Copies:

286.

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:

287.

Cover image for Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers

Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers

Author

Shishkov, Boris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

288.

Cover image for Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

Author

Ahram, Tareq. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

289.

Software engineering for enterprise system agility : emerging research and opportunities

Author

Zykov, Sergey V., 1971- author. Gromoff, Alexander, 1951- author. Kazantsev, Nikolay S., 1981- author. IGI Global, publisher.

Preferred Shelf Number

ONLINE

Electronic Access

Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-5589-6

Format:

Availability

Online Library~1

Available:
Copies:

290.

Cover image for Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings

Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings

Author

Pozdniakov, Sergei N. editor. (orcid)0000-0002-1899-9145 Dagienė, Valentina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-02750-6

Format:

Availability

Online Library~1

Available:
Copies:

291.

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:

292.

Cover image for Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings

Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings

Author

Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

293.

Software-Defined Cloud Centers Operational and Management Technologies and Tools

Author

Raj, Pethuru. author. Raman, Anupama. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

294.

Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage

Author

Gonzalez-Perez, Cesar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

295.

Cover image for Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings

Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings

Author

Larrucea, Xabier. editor. Santamaria, Izaskun. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

296.

Cover image for Software Processes and Life Cycle Models An Introduction to Modelling, Using and Managing Agile, Plan-Driven and Hybrid Processes

Software Processes and Life Cycle Models An Introduction to Modelling, Using and Managing Agile, Plan-Driven and Hybrid Processes

Author

Kneuper, Ralf. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

297.

Cover image for Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings

Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings

Author

Stamelos, Ioannis. editor. Gonzalez-Barahoña, Jesus M. editor. (orcid)0000-0001-9682-460X Varlamis, Iraklis. editor. (orcid)0000-0002-0876-8167 Anagnostopoulos, Dimosthenis. editor. (orcid)0000-0003-0747-4252 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

298.

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

299.

Cover image for Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 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

Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

300.

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:

	{displayName}	{count}
{error}