Search Results for Software

1.

Software Engineering for Collective Autonomic Systems The ASCENS Approach

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

Author

Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings

Author

Weyns, Danny. editor. Mirandola, Raffaela. editor. Crnkovic, Ivica. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Java software solutions : foundations of program design

Author

Lewis, John. Loftus, William.

Preferred Shelf Number

QA76.73.J38 L49 2015

Format:

Availability

Beytepe Library~2

Available:
Copies:

7.

Cover image for Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

Author

El-Fakih, Khaled. editor. Barlas, Gerassimos. editor. Yevtushenko, Nina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

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

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

Author

Piterman, Nir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings

Author

Fricker, Samuel A. editor. Schneider, Kurt. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Sharing data and models in software engineering

Author

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

Preferred Shelf Number

ONLINE(355389.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings

Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings

Author

Abrahamsson, Pekka. editor. Corral, Luis. editor. Oivo, Markku. editor. Russo, Barbara. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Author

Lanese, Ivan. editor. Madelaine, Eric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Software patterns, knowledge maps, and domain analysis

Author

Fayad, Mohamed, 1950, author.

Preferred Shelf Number

QA76.76 .P37 F39 2015

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

23.

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:

24.

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:

25.

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:

26.

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:

27.

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:

28.

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:

29.

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:

30.

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:

31.

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:

32.

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:

33.

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:

34.

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:

35.

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:

36.

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:

37.

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:

38.

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:

39.

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:

40.

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:

41.

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:

42.

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:

43.

Signal processing with free software practical experiments

Author

Auger, François.

Preferred Shelf Number

ONLINE(341600.1)

Electronic Access

Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1637657
John Wiley http://onlinelibrary.wiley.com/book/10.1002/9781118579619
John Wiley http://dx.doi.org/10.1002/9781118579619

Format:

Availability

Online Library~1

Available:
Copies:

44.

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:

45.

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:

46.

Multi-criteria decision analysis : methods and software

Author

Ishizaka, Alessio. Nemery, Philippe.

Preferred Shelf Number

T57.95 I84 2013

Format:

Availability

Beytepe Library~1

Available:
Copies:

47.

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:

48.

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:

49.

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:

50.

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:

51.

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:

52.

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:

53.

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:

54.

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:

55.

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:

56.

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:

57.

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:

58.

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:

59.

Java software solutions : foundations of program design

Author

Lewis, John. Loftus, William. Abirami, S.

Preferred Shelf Number

QA76.73.J38 L49 2012

Format:

Availability

Beytepe Library~2

Available:
Copies:

60.

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:

61.

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:

62.

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:

63.

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:

64.

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:

65.

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:

66.

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:

67.

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:

68.

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:

69.

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:

70.

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:

71.

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:

72.

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:

73.

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:

74.

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:

75.

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:

76.

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:

77.

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:

78.

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:

79.

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:

80.

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:

81.

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:

82.

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:

83.

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:

84.

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:

85.

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:

86.

MIS cases : decision making with application software

Author

Miller, M. Lisa.

Preferred Shelf Number

HD30.23 M55 2009

Format:

Availability

Beytepe Library~1

Available:
Copies:

87.

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:

88.

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:

89.

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:

90.

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:

91.

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:

92.

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:

93.

Java software solutions : foundations of program design

Author

Lewis, John. Loftus, William, ort. yaz.

Preferred Shelf Number

QA76.73.J38 .L49 2007

Format:

Availability

Beytepe Library~2

Available:
Copies:

94.

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:

95.

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:

96.

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:

97.

Model-driven software development : technology, engineering, management

Author

Stahl, Thomas (Tom) Vèolter, Markus.

Preferred Shelf Number

QA76.76.D47 S697 2006

Format:

Availability

Beytepe Library~1

Available:
Copies:

98.

Ontologies for software engineering and software technology

Author

Calero, Coral. Ruiz, Francisco. Piattini, Mario.

Preferred Shelf Number

QA76.9.D35 O57 2006

Format:

Availability

Beytepe Library~1

Available:
Copies:

99.

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:

100.

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:

101.

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:

102.

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:

103.

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:

104.

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:

105.

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:

106.

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:

107.

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:

108.

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:

109.

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:

110.

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:

111.

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:

112.

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:

113.

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:

114.

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:

115.

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:

116.

Automated software testing : introduction, management, and performance

Author

Dustin, Elfriede. Rashka, Jeff. Paul, John.

Preferred Shelf Number

QA76.76.T48 D87 1999

Format:

Availability

Beytepe Library~2

Available:
Copies:

117.

Adapted wavelet analysis from theory to software

Author

Wickerhauser, Mladen Victor.

Preferred Shelf Number

QA403.3 W53 1994

Format:

Availability

Beytepe Library~1

Available:
Copies:

118.

Estimation and tracking : principles, techniques, and software

Author

Bar-Shalom, Yaakov. Li, Xiao-Rong, ort. yaz.

Preferred Shelf Number

TK 6580 B32 1993

Format:

Availability

Beytepe Library~1

Available:
Copies:

119.

Microcomputer software for information management : case studies

Author

Collier, M., ed.

Preferred Shelf Number

QA 76.9.D3 M54 1986

Format:

Availability

Beytepe Library~2

Available:
Copies:

120.

Software for roundoff analysis of matrix algorithms

Author

Miller, Webb Wrathall, Celia, ort. yaz.

Preferred Shelf Number

QA 188 M54 1980 1.K

Format:

Availability

Health Sciences Library~1

Available:
Copies:

121.

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:

122.

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:

123.

Schaum's outline of theory and problems of software engineering

Author

Gustafson, David A.

Preferred Shelf Number

QA76.758 G88 2002

Format:

Availability

Beytepe Library~1

Available:
Copies:

124.

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:

125.

PIC microcontroller : an introduction to software and hardware interfacing

Author

Huang, Han-Way.

Preferred Shelf Number

TJ223.P76 H835 2005

Format:

Availability

Beytepe Library~1

Available:
Copies:

126.

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:

127.

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:

128.

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:

129.

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:

130.

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:

131.

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:

132.

Cover image for Jeoistatistikel variogram ve modelleme yazılımı : sayaca (Ulubey, Ordu) altın cevherleşmesi'nde uygulanması = Geostatistical variogram and modelling Software : An application for gold mineralization in sayaca (Ulubey, Ordu)

Jeoistatistikel variogram ve modelleme yazılımı : sayaca (Ulubey, Ordu) altın cevherleşmesi'nde uygulanması = Geostatistical variogram and modelling Software : An application for gold mineralization in sayaca (Ulubey, Ordu)

Author

Topal, Baran

Preferred Shelf Number

TEZ/8246 T673 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

133.

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:

134.

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:

135.

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:

136.

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:

137.

Cover image for Madencilik yatırım projelerinin yeni bir yazılım ile değerlendirilmesi ve Trona örnek uygulaması = Evaluation of mining investment projects with new software and a case study of the Trona mine site

Madencilik yatırım projelerinin yeni bir yazılım ile değerlendirilmesi ve Trona örnek uygulaması = Evaluation of mining investment projects with new software and a case study of the Trona mine site

Author

Kavaklı, Nevzat

Preferred Shelf Number

TEZ/8333 .K383 2007

Format:

Availability

Beytepe Library~1

Available:
Copies:

138.

Proceedings of the 23rd International Conference on Software Engineering : ICSE 2001 : 12-19, May 2001, Toronto, Ontario, Canada

Author

International Conference on Software Engineering (23rd : 2001 : Toronto, Ont.) ACM Sigsoft. IEEE Computer Society. Technical Council on Software Engineering.

Preferred Shelf Number

QA 76.6 P941 2001

Format:

Availability

Beytepe Library~1

Available:
Copies:

139.

Cover image for Proceedings of the 2001 ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE'01 ; Snowbird, Utah, USA June 18-19, 2001

Proceedings of the 2001 ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE'01 ; Snowbird, Utah, USA June 18-19, 2001

Author

ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (2001 : Snowbird, Utah) Association for Computing Machinery. ACM, Special Interest Group on Programming Languages. ACM, Special Interest Group on Software Engineering.

Preferred Shelf Number

QA 76.758 A345 2001

Format:

Availability

Beytepe Library~1

Available:
Copies:

140.

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:

141.

Cover image for Proceedings of the Ninth International Symposium on Hardware/Software Codesign : CODES 2001 : April 25-27, 2001, Copenhagen, Denmark

Proceedings of the Ninth International Symposium on Hardware/Software Codesign : CODES 2001 : April 25-27, 2001, Copenhagen, Denmark

Author

International Symposium on Hardware/Software Codesign (9th : 2001 : Copenhagen, Denmark) ACM Special Interest Group on Design Automation.

Preferred Shelf Number

QA 76.9 S88 2001

Format:

Availability

Beytepe Library~1

Available:
Copies:

142.

Hardware and software for real time process control ; Proceedings of the.. Held in Warsaw, Poland, 30 May 1 June, 1988

Author

IFIP WG 5.4/IFAC/EWICS Working Conference on Hardware and Software for Real Time Process Control, Warsaw ; (1988 : Poland) Zalewski, J., ed. Ehrenberger, W., ed.

Preferred Shelf Number

TS 156.9 I35 1988

Format:

Availability

Beytepe Library~1

Available:
Copies:

143.

Proeceedings of the symposium on computer software engineering. New York, N. Y. April 20-22, 1976

Author

Symposium on Computer software Engineering, New York, 1976.

Preferred Shelf Number

QA 76.6 S919 1976

Format:

Availability

Beytepe Library~1

Available:
Copies:

144.

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:

145.

Directory of library automation software, systems, and services.

Author

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

Preferred Shelf Number

Z678.9.A3 D6

Format:

Availability

Beytepe Library~1

Available:
Copies:

146.

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:

147.

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:

148.

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:

149.

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:

150.

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:

151.

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:

152.

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:

153.

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:

154.

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:

155.

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:

156.

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:

157.

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:

158.

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:

159.

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

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:

160.

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:

161.

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:

162.

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:

163.

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:

164.

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:

165.

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:

166.

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:

167.

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:

168.

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:

169.

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:

170.

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:

171.

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:

172.

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:

173.

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:

174.

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:

175.

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:

176.

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:

177.

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:

178.

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:

179.

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:

180.

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:

181.

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:

182.

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:

183.

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:

184.

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:

185.

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:

186.

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:

187.

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:

188.

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:

189.

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:

190.

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:

191.

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:

192.

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:

193.

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:

194.

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:

195.

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:

196.

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:

197.

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:

198.

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:

199.

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:

200.

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:

201.

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:

202.

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:

203.

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:

204.

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:

205.

Bulanık çok kriterli karar verme yöntemleri : MS excel ® ve software çözümlü uygulamalar

Author

Erdebilli, Babek.

Preferred Shelf Number

HD30.23 B953 2021

Format:

Availability

Beytepe Library~1

Available:
Copies:

206.

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:

207.

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:

208.

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:

209.

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:

210.

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:

211.

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:

212.

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:

213.

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:

214.

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:

215.

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:

216.

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:

217.

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:

218.

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:

219.

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:

220.

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:

221.

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:

222.

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:

223.

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:

224.

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:

225.

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:

226.

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:

227.

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:

228.

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 I

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:

229.

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:

230.

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:

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 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:

234.

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:

235.

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:

236.

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:

237.

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:

238.

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:

239.

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:

240.

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:

241.

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:

242.

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:

243.

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:

244.

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:

245.

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:

246.

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:

247.

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:

248.

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:

249.

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:

250.

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:

251.

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:

252.

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Author

Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

253.

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:

254.

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:

255.

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:

256.

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:

257.

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:

258.

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:

259.

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:

260.

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:

261.

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:

262.

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:

263.

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:

264.

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:

265.

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:

266.

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:

267.

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:

268.

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:

269.

Cover image for Software Quality: Methods and Tools for Better Software and Systems 10th International Conference, SWQD 2018, Vienna, Austria, January 16–19, 2018, Proceedings

Software Quality: Methods and Tools for Better Software and Systems 10th International Conference, SWQD 2018, Vienna, Austria, January 16–19, 2018, Proceedings

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

270.

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:

271.

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:

272.

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:

273.

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:

274.

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:

275.

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:

276.

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:

277.

SDN and NFV Security Security Analysis of Software-Defined Networking and Network Function Virtualization

Author

Khondoker, Rahamatullah. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

278.

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:

279.

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:

280.

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:

281.

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:

282.

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:

283.

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:

284.

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 I

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:

285.

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:

286.

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:

287.

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:

288.

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:

289.

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:

290.

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:

291.

How to Reduce the Cost of Software Testing

Author

Heusser, Matthew, editor. Kulkarni, Govind, editor. Taylor and Francis.

Preferred Shelf Number

QA76.76 .T48

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

292.

Cover image for Handbook of system safety and security : cyber risk and risk management, cyber security, threat analysis, functional safety, software systems, and cyber physical systems

Handbook of system safety and security : cyber risk and risk management, cyber security, threat analysis, functional safety, software systems, and cyber physical systems

Author

Griffor, Edward R., editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

293.

Individualized drug therapy for patients : basic foundations, relevant software, and clinical applications

Author

Jelliffe, Roger W., editor. Neely, Michael, editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

294.

Topological UML modeling : an improved approach for domain modeling and software development

Author

Osis, Janis, 1929- author. Donins, Uldis, author.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect https://www.sciencedirect.com/science/book/9780128054765

Format:

Availability

Online Library~1

Available:
Copies:

295.

Software architecture for big data and the cloud

Author

Mistrík, Ivan, editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

296.

Environment modeling-based requirements engineering for software intensive systems.

Author

Jin, Zhi, 1962- author.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect https://www.sciencedirect.com/science/book/9780128019542

Format:

Availability

Online Library~1

Available:
Copies:

297.

Hardware/Software Co-Design and Optimization for Cyberphysical Integration in Digital Microfluidic Biochips

Author

Luo, Yan. author. Chakrabarty, Krishnendu. author. Ho, Tsung-Yi. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

298.

Cover image for Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems

Author

Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

299.

Cover image for Systems, Software and Services Process Improvement 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 -- October 2, 2015. Proceedings

Systems, Software and Services Process Improvement 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 -- October 2, 2015. Proceedings

Author

O'Connor, Rory V. editor. Umay Akkaya, Mariye. editor. Kemaneci, Kerem. editor. Yilmaz, Murat. editor. Poth, Alexander. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

300.

Cover image for Model-Driven Engineering and Software Development Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers

Model-Driven Engineering and Software Development Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers

Author

Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Filipe, Joaquim. editor. das Neves, Rui César. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}