Search Results for Software engineering.

1.

Agile Software Engineering Skills

Author

Bass, Julian Michael. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520305.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Handbook of software engineering & knowledge engineering

Author

Chang, Shi Kuo, 1944- ed.

Preferred Shelf Number

QA 76.758 H36 2001- V.2

Format:

Availability

Beytepe Library~1

Available:
Copies:

3.

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

Author

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

Preferred Shelf Number

XX(520574.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

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

XX(520632.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

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

XX(520650.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

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

XX(521324.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

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

XX(520250.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

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

XX(520251.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

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

XX(520444.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

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

XX(520493.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

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

XX(520927.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

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

XX(521004.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

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

XX(521120.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

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

XX(521355.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

UML-Based Software Product Line Engineering with SMarty

Author

OliveiraJr, Edson. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520695.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

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

XX(520812.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

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

XX(520841.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

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

XX(521275.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

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

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

Author

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

Preferred Shelf Number

XX(520342.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for New Trends in Database and Information Systems ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings

New Trends in Database and Information Systems ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings

Author

Abelló, Alberto. editor. Vassiliadis, Panos. editor. Romero, Oscar. editor. Wrembel, Robert. editor. Bugiotti, Francesca. editor.

Preferred Shelf Number

XX(520343.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I

Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I

Author

Fu, Weina. editor. Yun, Lin. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520370.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part I

Author

Botto-Tobar, Miguel. editor. (orcid) Zambrano Vizuete, Marcelo. editor. Montes León, Sergio. editor. Torres-Carrión, Pablo. editor. Durakovic, Benjamin. editor. (orcid)

Preferred Shelf Number

XX(520654.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings

Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings

Author

Nguyen, Ngoc Thanh. editor. Botzheim, János. editor. Gulyás, László. editor. Núñez, Manuel. editor. Treur, Jan. editor.

Preferred Shelf Number

XX(521308.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part I

Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part I

Author

Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.

Preferred Shelf Number

XX(521309.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

25.

Springer Handbook of Augmented Reality

Author

Nee, Andrew Yeh Ching. editor. Ong, Soh Khim. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520176.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing

Author

Nazareth, John Lawrence. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520189.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Agile Methods 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8-10, 2021, Revised Selected Papers

Author

Rocha, Carla. editor. Santana Júnior, Celio. editor. De Sá, Fernando. editor. Silva da Silva, Tiago. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520195.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part I

Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part I

Author

Sun, Yuqing. editor. Lu, Tun. editor. Guo, Yinzhang. editor. Song, Xiaoxia. editor. Fan, Hongfei. editor.

Preferred Shelf Number

XX(520315.1)

Electronic Access

https://doi.org/10.1007/978-981-99-2356-4

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II

Author

Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520319.1)

Electronic Access

https://doi.org/10.1007/978-981-99-2446-2

Format:

Availability

Online Library~1

Available:
Copies:

30.

Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers

Author

Pesado, Patricia. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520411.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Enterprise, Business-Process and Information Systems Modeling 24th International Conference, BPMDS 2023, and 28th International Conference, EMMSAD 2023, Zaragoza, Spain, June 12-13, 2023, Proceedings

Enterprise, Business-Process and Information Systems Modeling 24th International Conference, BPMDS 2023, and 28th International Conference, EMMSAD 2023, Zaragoza, Spain, June 12-13, 2023, Proceedings

Author

van der Aa, Han. editor. Bork, Dominik. editor. (orcid) Proper, Henderik A. editor. Schmidt, Rainer. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520421.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Subject-Oriented Business Process Management. Models for Designing Digital Transformations 14th International Conference, S-BPM ONE 2023, Rostock, Germany, May 31 - June 1, 2023, Proceedings

Subject-Oriented Business Process Management. Models for Designing Digital Transformations 14th International Conference, S-BPM ONE 2023, Rostock, Germany, May 31 - June 1, 2023, Proceedings

Author

Elstermann, Matthes. editor. Dittmar, Anke. editor. Lederer, Matthias. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520440.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Communications and Networking 17th EAI International Conference, Chinacom 2022, Virtual Event, November 19-20, 2022, Proceedings

Communications and Networking 17th EAI International Conference, Chinacom 2022, Virtual Event, November 19-20, 2022, Proceedings

Author

Gao, Feifei. editor. Wu, Jun. editor. Li, Yun. editor. Gao, Honghao. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520456.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers

Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers

Author

Noël, Frédéric. editor. Nyffenegger, Felix. editor. (orcid) Rivest, Louis. editor. Bouras, Abdelaziz. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520558.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

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

XX(520515.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers

E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers

Author

Samarati, Pierangela. editor. van Sinderen, Marten. editor. Vimercati, Sabrina De Capitani di. editor. Wijnhoven, Fons. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520517.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

Cover image for Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part III

Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part III

Author

Alfnes, Erlend. editor. Romsdal, Anita. editor. Strandhagen, Jan Ola. editor. von Cieminski, Gregor. editor. Romero, David. editor.

Preferred Shelf Number

XX(520612.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings

Collaborative Networks in Digitalization and Society 5.0 24th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2023, Valencia, Spain, September 27-29, 2023, Proceedings

Author

Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Ortiz, Angel. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520625.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Foundations and Practice of Security 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers

Foundations and Practice of Security 15th International Symposium, FPS 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected Papers

Author

Jourdan, Guy-Vincent. editor. Mounier, Laurent. editor. Adams, Carlisle. editor. Sèdes, Florence. editor. Garcia-Alfaro, Joaquin. editor.

Preferred Shelf Number

XX(520922.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers

Author

Ciortea, Andrei. editor. Dastani, Mehdi. editor. Luo, Jieting. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521346.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part I

Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part I

Author

Goh, Dion H. editor. Chen, Shu-Jiun. editor. Tuarob, Suppawong. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521351.1)

Electronic Access

https://doi.org/10.1007/978-981-99-8085-7

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings

Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings

Author

Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520735.1)

Electronic Access

https://doi.org/10.1007/978-981-99-8296-7

Format:

Availability

Online Library~1

Available:
Copies:

43.

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

XX(520766.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I

Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I

Author

Yu, Zhiwen. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Guo, Bin. editor. Zhou, Xiaokang. editor.

Preferred Shelf Number

XX(520688.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Computer Science and Education in Computer Science 19th EAI International Conference, CSECS 2023, Boston, MA, USA, June 28-29, 2023, Proceedings

Computer Science and Education in Computer Science 19th EAI International Conference, CSECS 2023, Boston, MA, USA, June 28-29, 2023, Proceedings

Author

Zlateva, Tanya. editor. Tuparov, Georgi. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520698.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Big Data Technologies and Applications 11th and 12th EAI International Conference, BDTA 2021 and BDTA 2022, Virtual Event, December 2021 and 2022, Proceedings

Big Data Technologies and Applications 11th and 12th EAI International Conference, BDTA 2021 and BDTA 2022, Virtual Event, December 2021 and 2022, Proceedings

Author

Hou, Rui. editor. Huang, Huan. editor. Zeng, Deze. editor. Xia, Guisong. editor. A. Ghany, Kareem Kamal. editor.

Preferred Shelf Number

XX(520770.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

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

XX(520840.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Author

Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520864.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

49.

Cover image for Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV

Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV

Author

Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.

Preferred Shelf Number

XX(520973.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

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

XX(521095.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings

Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings

Author

Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Bitsch, Friedemann. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521134.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

Author

Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521140.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Web Services - ICWS 2023 30th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings

Web Services - ICWS 2023 30th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings

Author

Zhang, Yuchao. editor. Zhang, Liang-Jie. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(521181.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}