Search Results for

1.

Cover image for Emerging Technologies in Computing 6th EAI International Conference, iCETiC 2023, Southend-on-Sea, UK, August 17-18, 2023, Proceedings

Emerging Technologies in Computing 6th EAI International Conference, iCETiC 2023, Southend-on-Sea, UK, August 17-18, 2023, Proceedings

Author

Miraz, Mahdi H. editor. (orcid)0000-0002-6795-7048 Southall, Garfield. editor. (orcid)0000-0003-4027-1852 Ali, Maaruf. editor. (orcid)0000-0001-9906-5004 Ware, Andrew. editor. (orcid)0000-0002-9354-5039 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Model and Data Engineering 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings

Author

Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237 Kechadi, Tahar. editor. (orcid)0000-0002-0176-6281 Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 Gargouri, Faiez. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2022 Workshops, Copenhagen, Denmark, June 13-17, 2022, and XP 2023 Workshops, Amsterdam, The Netherlands, June 13-16, 2023, Revised Selected Papers

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2022 Workshops, Copenhagen, Denmark, June 13-17, 2022, and XP 2023 Workshops, Amsterdam, The Netherlands, June 13-16, 2023, Revised Selected Papers

Author

Kruchten, Philippe. editor. Gregory, Peggy. editor. (orcid)0000-0001-7891-6666 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Author

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Author

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Evolution of STEM-Driven Computer Science Education The Perspective of Big Concepts

Author

Štuikys, Vytautas. author. Burbaitė, Renata. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part II

Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part II

Author

Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Diaz-Nafria, Jose Maria. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Author

Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Videogame Sciences and Arts 13th International Conference, VJ 2023, Aveiro, Portugal, November 28-30, 2023, Revised Selected Papers

Videogame Sciences and Arts 13th International Conference, VJ 2023, Aveiro, Portugal, November 28-30, 2023, Revised Selected Papers

Author

Vale Costa, Liliana. editor. Zagalo, Nelson. editor. (orcid)0000-0002-5478-0650 Veloso, Ana Isabel. editor. Clua, Esteban. editor. (orcid)0000-0001-5650-1718 Arnab, Sylvester. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Current Trends in Web Engineering ICWE 2023 International Workshops: BECS, SWEET, WALS, Alicante, Spain, June 6-9, 2023, Revised Selected Papers

Current Trends in Web Engineering ICWE 2023 International Workshops: BECS, SWEET, WALS, Alicante, Spain, June 6-9, 2023, Revised Selected Papers

Author

Casteleyn, Sven. editor. (orcid)0000-0003-0572-5716 Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 García Simón, Alberto. editor. Ko, In-Young. editor. Loseto, Giuseppe. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Transactions on Petri Nets and Other Models of Concurrency XVII

Author

Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Applied Reconfigurable Computing. Architectures, Tools, and Applications 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20-22, 2024, Proceedings

Applied Reconfigurable Computing. Architectures, Tools, and Applications 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20-22, 2024, Proceedings

Author

Skliarova, Iouliia. editor. (orcid)0000-0002-6684-9416 Brox Jiménez, Piedad. editor. (orcid)0000-0003-1059-5338 Véstias, Mário. editor. Diniz, Pedro C. editor. (orcid)0000-0003-3131-9367 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Smart Grid and Internet of Things 7th EAI International Conference, SGIoT 2023, TaiChung, Taiwan, November 18-19, 2023, Proceedings

Author

Deng, Der-Jiunn. editor. (orcid)0000-0001-8410-164X Chen, Jyh-Cheng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Mobile Networks and Management 13th EAI International Conference, MONAMI 2023, Yingtan, China, October 27-29, 2023, Proceedings

Author

Wu, Celimuge. editor. Chen, Xianfu. editor. Feng, Jie. editor. Wu, Zhen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I

Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I

Author

Goel, Sanjay. editor. (orcid)0000-0002-7164-8395 Nunes de Souza, Paulo Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part II

Author

Goel, Sanjay. editor. (orcid)0000-0002-7164-8395 Nunes de Souza, Paulo Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Author

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Author

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

Author

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Software Quality as a Foundation for Security 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024, Proceedings

Software Quality as a Foundation for Security 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024, Proceedings

Author

Bludau, Peter. editor. (orcid)0000-0003-4738-0488 Ramler, Rudolf. editor. (orcid)0000-0001-9903-6107 Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Bergsmann, Johannes. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Information Technologies and Intelligent Decision Making Systems Third International Scientific and Practical Conference, ITIDMS 2023, Moscow, Russia, December, 12-14, 2023, Revised Selected Papers

Information Technologies and Intelligent Decision Making Systems Third International Scientific and Practical Conference, ITIDMS 2023, Moscow, Russia, December, 12-14, 2023, Revised Selected Papers

Author

Gibadullin, Arthur. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Software Engineering and Management: Theory and Application Volume 16

Author

Lee, Roger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Research Challenges in Information Science 18th International Conference, RCIS 2024, Guimarães, Portugal, May 14-17, 2024, Proceedings, Part I

Research Challenges in Information Science 18th International Conference, RCIS 2024, Guimarães, Portugal, May 14-17, 2024, Proceedings, Part I

Author

Araújo, João. editor. (orcid)0000-0001-5914-1631 de la Vara, Jose Luis. editor. (orcid)0000-0003-1813-398X Santos, Maribel Yasmina. editor. (orcid)0000-0002-3249-6229 Assar, Saïd. editor. (orcid)0000-0001-8040-5865 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

25.

The French School of Programming

Author

Meyer, Bertrand. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Research Challenges in Information Science 18th International Conference, RCIS 2024, Guimarães, Portugal, May 14-17, 2024, Proceedings, Part II

Author

Araújo, João. editor. (orcid)0000-0001-5914-1631 de la Vara, Jose Luis. editor. (orcid)0000-0003-1813-398X Santos, Maribel Yasmina. editor. (orcid)0000-0002-3249-6229 Assar, Saïd. editor. (orcid)0000-0001-8040-5865 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Author

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2300-3

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Innovations for Community Services 24th International Conference, I4CS 2024, Maastricht, The Netherlands, June 12-14, 2024, Proceedings

Innovations for Community Services 24th International Conference, I4CS 2024, Maastricht, The Netherlands, June 12-14, 2024, Proceedings

Author

Phillipson, Frank. editor. (orcid)0000-0003-4580-7521 Eichler, Gerald. editor. (orcid)0000-0002-7420-698X Erfurth, Christian. editor. (orcid)0000-0003-2761-3985 Fahrnberger, Günter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Enterprise, Business-Process and Information Systems Modeling 25th International Conference, BPMDS 2024, and 29th International Conference, EMMSAD 2024, Limassol, Cyprus, June 3-4, 2024, Proceedings

Enterprise, Business-Process and Information Systems Modeling 25th International Conference, BPMDS 2024, and 29th International Conference, EMMSAD 2024, Limassol, Cyprus, June 3-4, 2024, Proceedings

Author

van der Aa, Han. editor. (orcid)0000-0002-4200-4937 Bork, Dominik. editor. (orcid)0000-0001-8259-2297 Schmidt, Rainer. editor. (orcid)0000-0002-1637-0589 Sturm, Arnon. editor. (orcid)0000-0002-4021-7752 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Agile Processes in Software Engineering and Extreme Programming 25th International Conference on Agile Software Development, XP 2024, Bozen-Bolzano, Italy, June 4-7, 2024, Proceedings

Agile Processes in Software Engineering and Extreme Programming 25th International Conference on Agile Software Development, XP 2024, Bozen-Bolzano, Italy, June 4-7, 2024, Proceedings

Author

Šmite, Darja. editor. (orcid)0000-0003-1744-3118 Guerra, Eduardo. editor. (orcid)0000-0001-5555-3487 Wang, Xiaofeng. editor. (orcid)0000-0001-8424-419X Marchesi, Michele. editor. Gregory, Peggy. editor. (orcid)0000-0001-7891-6666

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Generative AI for Effective Software Development

Author

Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200 Abrahamsson, Pekka. editor. Khomh, Foutse. editor. (orcid)0000-0002-5704-4173 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for HCI in Mobility, Transport, and Automotive Systems 6th International Conference, MobiTAS 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part I

HCI in Mobility, Transport, and Automotive Systems 6th International Conference, MobiTAS 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part I

Author

Krömker, Heidi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

HCI in Mobility, Transport, and Automotive Systems 6th International Conference, MobiTAS 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II

Author

Krömker, Heidi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Advanced Information Systems Engineering Workshops CAiSE 2024 International Workshops, Limassol, Cyprus, June 3-7, 2024, Proceedings

Advanced Information Systems Engineering Workshops CAiSE 2024 International Workshops, Limassol, Cyprus, June 3-7, 2024, Proceedings

Author

Almeida, João Paulo A. editor. (orcid)0000-0002-9819-3781 Di Ciccio, Claudio. editor. (orcid)0000-0001-5570-0475 Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for HCI for Cybersecurity, Privacy and Trust 6th International Conference, HCI-CPT 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part I

HCI for Cybersecurity, Privacy and Trust 6th International Conference, HCI-CPT 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part I

Author

Moallem, Abbas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

HCI for Cybersecurity, Privacy and Trust 6th International Conference, HCI-CPT 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II

Author

Moallem, Abbas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

Cover image for Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings

Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings

Author

Li, Chao. editor. (orcid)0000-0001-6218-4659 Li, Zhenhua. editor. (orcid)0000-0001-7286-122X Shen, Li. editor. (orcid)0000-0001-9043-2998 Wu, Fan. editor. (orcid)0000-0003-0965-9058 Gong, Xiaoli. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings

Author

Herber, Paula. editor. Wijs, Anton. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Advances in Computing 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10-11, 2023, Revised Selected Papers

Advances in Computing 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10-11, 2023, Revised Selected Papers

Author

Tabares, Marta. editor. Vallejo, Paola. editor. Suarez, Biviana. editor. Suarez, Marco. editor. Ruiz, Oscar. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Advances in Model and Data Engineering in the Digitalization Era MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings

Advances in Model and Data Engineering in the Digitalization Era MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings

Author

Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237 Kechadi, Tahar. editor. (orcid)0000-0002-0176-6281 Bellatreche, Ladjel. editor. Gargouri, Faiez. editor. Guegan, Chirine Ghedira. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Ethical and Legal Aspects of Computing A Professional Perspective from Software Engineering

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Software Architectures Topics Usually Missed in Textbooks

Author

Nagl, Manfred. author. Westfechtel, Bernhard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Networking and Parallel/Distributed Computing Systems Volume 18

Author

Lee, Roger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Human-Computer Interaction 9th Iberoamerican Workshop, HCI-COLLAB 2023, Buenos Aires, Argentina, September 13-15, 2023, Revised Selected Papers

Human-Computer Interaction 9th Iberoamerican Workshop, HCI-COLLAB 2023, Buenos Aires, Argentina, September 13-15, 2023, Revised Selected Papers

Author

Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614 Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895 Mon, Alicia. editor. (orcid)0000-0001-6365-9943 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

Author

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Author

Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

49.

Cover image for Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Author

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part I

Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part I

Author

Huang, De-Shuang. editor. Zhang, Xiankun. editor. Zhang, Qinhu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-5663-6

Format:

Availability

Online Library~1

Available:
Copies:

51.

Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part V

Author

Huang, De-Shuang. editor. Zhang, Xiankun. editor. Zhang, Chuanlei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-5675-9

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cooperatively Interacting Vehicles Methods and Effects of Automated Cooperation in Traffic

Author

Stiller, Christoph. editor. (orcid)0000-0003-4165-2075 Althoff, Matthias. editor. (orcid)0000-0003-3733-842X Burger, Christoph. editor. Deml, Barbara. editor. Eckstein, Lutz. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers

Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers

Author

Tekinerdoğan, Bedir. editor. (orcid)0000-0002-8538-7261 Spalazzese, Romina. editor. (orcid)0000-0003-0326-0556 Sözer, Hasan. editor. (orcid)0000-0002-2968-4763 Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551 Weyns, Danny. editor. (orcid)0000-0002-1162-0817

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part IV

Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part IV

Author

Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part III

Author

Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part I

Author

Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Cloud Computing and Services Science 12th International Conference, CLOSER 2022, Virtual Event, April 27-29, 2022, and 13th International Conference, CLOSER 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers

Cloud Computing and Services Science 12th International Conference, CLOSER 2022, Virtual Event, April 27-29, 2022, and 13th International Conference, CLOSER 2023, Prague, Czech Republic, April 26-28, 2023, Revised Selected Papers

Author

van Steen, Maarten. editor. Ferguson, Donald. editor. Pahl, Claus. editor. (orcid)0000-0002-9049-212X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Database and Expert Systems Applications 35th International Conference, DEXA 2024, Naples, Italy, August 26-28, 2024, Proceedings, Part II

Database and Expert Systems Applications 35th International Conference, DEXA 2024, Naples, Italy, August 26-28, 2024, Proceedings, Part II

Author

Strauss, Christine. editor. (orcid)0000-0003-0276-3610 Amagasa, Toshiyuki. editor. (orcid)0000-0003-0595-2230 Manco, Giuseppe. editor. Kotsis, Gabriele. editor. (orcid)0000-0002-4185-2942 Tjoa, A Min. editor. (orcid)0000-0002-8295-9252

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Collaboration Technologies and Social Computing 30th International Conference, CollabTech 2024, Barcelona, Spain, September 11-14, 2024, Proceedings

Collaboration Technologies and Social Computing 30th International Conference, CollabTech 2024, Barcelona, Spain, September 11-14, 2024, Proceedings

Author

Santos, Patricia. editor. (orcid)0000-0002-7337-2388 Álvarez, Claudio. editor. (orcid)0000-0002-5442-2140 Hernández-Leo, Davinia. editor. (orcid)0000-0003-0548-7455 Kobayashi, Minoru. editor. (orcid)0000-0001-6737-1736 Zurita, Gustavo. editor. (orcid)0000-0003-0757-1247

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Service Science CCF 17th International Conference, ICSS 2024, Hong Kong, China, May 11-12, 2024, Revised Selected Papers

Author

Wang, Jianping. editor. (orcid)0000-0002-9318-1482 Xiao, Bin. editor. (orcid)0000-0003-4223-8220 Liu, Xuanzhe. editor. (orcid)0000-0002-6813-2435 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-5760-2

Format:

Availability

Online Library~1

Available:
Copies:

61.

Cover image for Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Author

Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

62.

Quantum Software Aspects of Theory and System Design

Author

Exman, Iaakov. editor. (orcid)0000-0002-9917-3950 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Felderer, Michael. editor. (orcid)0000-0003-3818-4442 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

63.

Cover image for Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VII

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VII

Author

Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

64.

Understanding the Digital World Modeling with HERAKLIT

Author

Fettke, Peter. author. Reisig, Wolfgang. author. (orcid)0000-0002-7026-2810 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

65.

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Author

Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

66.

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VI

Author

Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

67.

Cover image for Machine Learning and Knowledge Discovery in Databases. Research Track and Demo Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VIII

Machine Learning and Knowledge Discovery in Databases. Research Track and Demo Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VIII

Author

Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Daniušis, Povilas. editor. (orcid)0000-0001-5977-827X Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

68.

Cover image for Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part IX

Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part IX

Author

Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Miliou, Ioanna. editor. (orcid)0000-0002-1357-1967 Nowaczyk, Slawomir. editor. (orcid)0000-0002-7796-5201 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

69.

Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part X

Author

Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Miliou, Ioanna. editor. (orcid)0000-0002-1357-1967 Nowaczyk, Slawomir. editor. (orcid)0000-0002-7796-5201 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

70.

Software Architecture 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings

Author

Galster, Matthias. editor. (orcid)0000-0003-3491-1833 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624 Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 Oliveira Antonino, Pablo. editor. (orcid)0000-0002-9631-8771 Nakagawa, Elisa Yumi. editor. (orcid)0000-0002-7754-4298

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

71.

Software Architecture. ECSA 2024 Tracks and Workshops Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings

Author

Ampatzoglou, Apostolos. editor. (orcid)0000-0002-5764-7302 Pérez, Jennifer. editor. (orcid)0000-0003-3192-7995 Buhnova, Barbora. editor. (orcid)0000-0003-4205-101X Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Venters, Colin C. editor. (orcid)0000-0001-8664-9107

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

72.

Cover image for Model-Driven Engineering and Software Development 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

Model-Driven Engineering and Software Development 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

Author

Domínguez Mayo, Francisco José. editor. Pires, Luís Ferreira. editor. Seidewitz, Edwin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

73.

Cover image for Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part I

Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part I

Author

Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224 Clarke, Paul. editor. (orcid)0000-0002-4487-627X Riel, Andreas. editor. (orcid)0000-0001-9859-019X Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 Greiner, Christian. editor. (orcid)0000-0002-8184-7128

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

74.

Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part II

Author

Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224 Clarke, Paul. editor. (orcid)0000-0002-4487-627X Riel, Andreas. editor. (orcid)0000-0001-9859-019X Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 Greiner, Christian. editor. (orcid)0000-0002-8184-7128

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

75.

Cover image for Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part I

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part I

Author

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

76.

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part II

Author

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

77.

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part III

Author

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

78.

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part IV

Author

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

79.

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Author

Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673 Sun, Meng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

80.

Cover image for Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings

Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings

Author

Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

81.

Cover image for Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings

Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings

Author

Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

82.

Cover image for Engineering Applications of Neural Networks 25th International Conference, EANN 2024, Corfu, Greece, June 27-30, 2024, Proceedings

Engineering Applications of Neural Networks 25th International Conference, EANN 2024, Corfu, Greece, June 27-30, 2024, Proceedings

Author

Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638 Pimenidis, Elias. editor. (orcid)0000-0003-3593-8640 Jayne, Chrisina. editor. (orcid)0000-0001-7292-2109

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

83.

Cover image for Navigating Unpredictability: Collaborative Networks in Non-linear Worlds 25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28-30, 2024, Proceedings, Part I

Navigating Unpredictability: Collaborative Networks in Non-linear Worlds 25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28-30, 2024, Proceedings, Part I

Author

Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Ortiz, Angel. editor. (orcid)0000-0001-5690-0807 Boucher, Xavier. editor. (orcid)0000-0002-0869-4153 Barthe-Delanoë, Anne-Marie. editor. (orcid)0000-0002-6619-7382 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

84.

Navigating Unpredictability: Collaborative Networks in Non-linear Worlds 25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28-30, 2024, Proceedings, Part II

Author

Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Ortiz, Angel. editor. (orcid)0000-0001-5690-0807 Boucher, Xavier. editor. (orcid)0000-0002-0869-4153 Barthe-Delanoë, Anne-Marie. editor. (orcid)0000-0002-6619-7382 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

85.

Cover image for Qualitative Research with Socio-Technical Grounded Theory A Practical Guide to Qualitative Data Analysis and Theory Development in the Digital World

Qualitative Research with Socio-Technical Grounded Theory A Practical Guide to Qualitative Data Analysis and Theory Development in the Digital World

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

86.

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Author

Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

87.

Cover image for Linking Theory and Practice of Digital Libraries 28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24-27, 2024, Proceedings, Part II

Linking Theory and Practice of Digital Libraries 28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24-27, 2024, Proceedings, Part II

Author

Antonacopoulos, Apostolos. editor. (orcid)0000-0001-9552-0233 Hinze, Annika. editor. (orcid)0000-0002-7383-1134 Piwowarski, Benjamin. editor. (orcid)0000-0001-6792-3262 Coustaty, Mickaël. editor. (orcid)0000-0002-0123-439X Di Nunzio, Giorgio Maria. editor. (orcid)0000-0001-9709-6392

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

88.

Agile-SOFL Agile Formal Engineering Method

Author

Liu, Shaoying. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2285-3

Format:

Availability

Online Library~1

Available:
Copies:

89.

Linking Theory and Practice of Digital Libraries 28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24-27, 2024, Proceedings, Part I

Author

Antonacopoulos, Apostolos. editor. (orcid)0000-0001-9552-0233 Hinze, Annika. editor. (orcid)0000-0002-7383-1134 Piwowarski, Benjamin. editor. (orcid)0000-0001-6792-3262 Coustaty, Mickaël. editor. (orcid)0000-0002-0123-439X Di Nunzio, Giorgio Maria. editor. (orcid)0000-0001-9709-6392

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

90.

Cover image for Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II

Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II

Author

Nowaczyk, Sławomir. editor. Biecek, Przemysław. editor. Chung, Neo Christopher. editor. Vallati, Mauro. editor. (orcid)0000-0002-8429-3570 Skruch, Paweł. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

91.

Parallel and Distributed Computing, Applications and Technologies Proceedings of PDCAT 2023

Author

Park, Ji Su. editor. (orcid)0000-0001-9003-1131 Takizawa, Hiroyuki. editor. (orcid)0000-0003-2858-3140 Shen, Hong. editor. Park, James J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8211-0

Format:

Availability

Online Library~1

Available:
Copies:

92.

Modern C Programming Including Standards C99, C11, C17, C23

Author

Gazi, Orhan. author. (orcid)0000-0001-5328-7955 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

93.

The Fundamental Research for Trustworthy Software

Author

He, Jifeng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

94.

Cover image for Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systems

Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systems

Author

Babkin, Eduard. author. (orcid)0000-0003-2597-9043 Ulitin, Boris. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

95.

Cover image for The Practice of Enterprise Modeling 16th IFIP Working Conference, PoEM 2023, Vienna, Austria, November 28 - December 1, 2023, Proceedings

The Practice of Enterprise Modeling 16th IFIP Working Conference, PoEM 2023, Vienna, Austria, November 28 - December 1, 2023, Proceedings

Author

Almeida, João Paulo A. editor. (orcid)0000-0002-9819-3781 Kaczmarek-Heß, Monika. editor. Koschmider, Agnes. editor. (orcid)0000-0001-8206-7636 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

96.

Cover image for Artificial Intelligence of Things First International Conference, ICAIoT 2023, Chandigarh, India, March 30-31, 2023, Revised Selected Papers, Part I

Artificial Intelligence of Things First International Conference, ICAIoT 2023, Chandigarh, India, March 30-31, 2023, Revised Selected Papers, Part I

Author

Challa, Rama Krishna. editor. (orcid)0000-0002-2759-2654 Aujla, Gagangeet Singh. editor. Mathew, Lini. editor. Kumar, Amod. editor. Kalra, Mala. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

97.

Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings

Author

Arcaini, Paolo. editor. (orcid)0000-0002-6253-4062 Yue, Tao. editor. Fredericks, Erik M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

98.

Cover image for Tools for Design, Implementation and Verification of Emerging Information Technologies 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings

Tools for Design, Implementation and Verification of Emerging Information Technologies 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings

Author

Liu, Jianghua. editor. Xu, Lei. editor. (orcid)0000-0001-9178-6640 Huang, Xinyi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

99.

Cover image for Services Computing - SCC 2023 20th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings

Services Computing - SCC 2023 20th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings

Author

Luo, Min. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

100.

Cover image for Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Author

Gierasimczuk, Nina. editor. Velázquez-Quesada, Fernando R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

101.

Cover image for Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Author

Cámara, Javier. editor. Jongmans, Sung-Shik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

102.

Cover image for Edge Computing - EDGE 2023 7th International Conference, Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023, Proceedings

Edge Computing - EDGE 2023 7th International Conference, Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023, Proceedings

Author

Feng, Jun. editor. (orcid)0000-0001-9917-1819 Jiang, Frank. editor. Luo, Min. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

103.

Cover image for Internet of Things - ICIOT 2023 8th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings

Internet of Things - ICIOT 2023 8th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings

Author

Ye, Kejiang. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

104.

Cover image for Advances in Computational Intelligence. MICAI 2023 International Workshops WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13-18, 2023, Proceedings

Advances in Computational Intelligence. MICAI 2023 International Workshops WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13-18, 2023, Proceedings

Author

Calvo, Hiram. editor. (orcid)0000-0003-2836-2102 Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Ponce, Hiram. editor. (orcid)0000-0002-6559-7501 Zatarain Cabada, Ramón. editor. (orcid)0000-0002-4524-3511 Montes Rivera, Martín. editor. (orcid)0000-0003-3897-6212

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

105.

Cover image for High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers

High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers

Author

Jordan, Vladimir. editor. Tarasov, Ilya. editor. Shurina, Ella. editor. Filimonov, Nikolay. editor. Faerman, Vladimir A. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

106.

Cover image for Big Data Technologies and Applications 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings

Big Data Technologies and Applications 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings

Author

Tan, Zhiyuan. editor. (orcid)0000-0001-5420-2554 Wu, Yulei. editor. (orcid)0000-0003-0801-8443 Xu, Min. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

107.

Cover image for Disruptive Information Technologies for a Smart Society Proceedings of the 13th International Conference on Information Society and Technology (ICIST)

Disruptive Information Technologies for a Smart Society Proceedings of the 13th International Conference on Information Society and Technology (ICIST)

Author

Trajanovic, Miroslav. editor. Filipovic, Nenad. editor. (orcid)0000-0001-9964-5615 Zdravkovic, Milan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

108.

Cover image for Smart Cities 6th Ibero-American Congress, ICSC-Cities 2023, Mexico City and Cuernavaca, Mexico, November 13-17, 2023, Revised Selected Papers

Smart Cities 6th Ibero-American Congress, ICSC-Cities 2023, Mexico City and Cuernavaca, Mexico, November 13-17, 2023, Revised Selected Papers

Author

Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012 Hernández Callejo, Luis. editor. (orcid)0000-0002-8822-2948 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

109.

Cover image for Distributed Computing for Emerging Smart Networks 4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023, Revised Selected Papers

Distributed Computing for Emerging Smart Networks 4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023, Revised Selected Papers

Author

Jemili, Imen. editor. (orcid)0000-0002-3701-1251 Mosbah, Mohamed. editor. Mabrouk, Sabra. editor. Mendiboure, Leo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

110.

Cover image for Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part I

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part I

Author

Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Mendes, Armando. editor. Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391 Coelho, João P. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

111.

Exception Handling Fundamentals and Programming

Author

Mejia Alvarez, Pedro. author. Gonzalez Torres, Raul E. author. Ortega Cisneros, Susana. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

112.

Cover image for Management of Digital EcoSystems 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers

Management of Digital EcoSystems 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers

Author

Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Benslimane, Djamal. editor. Zervakis, Michalis. editor. Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Ngyuen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

113.

Cover image for Innovations and Interdisciplinary Solutions for Underserved Areas 6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023, Proceedings

Innovations and Interdisciplinary Solutions for Underserved Areas 6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023, Proceedings

Author

Seeam, Amar. editor. Ramsurrun, Visham. editor. Juddoo, Suraj. editor. Phokeer, Amreesh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

114.

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part II

Author

Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Mendes, Armando. editor. Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391 Coelho, João P. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

115.

Software Business 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings

Author

Hyrynsalmi, Sami. editor. Münch, Jürgen. editor. (orcid)0000-0003-0327-8094 Smolander, Kari. editor. Melegati, Jorge. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

116.

Cover image for Distributed Ledger Technology 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 - December 1, 2023, Revised Selected Papers

Distributed Ledger Technology 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 - December 1, 2023, Revised Selected Papers

Author

Dong, Naipeng. editor. Pillai, Babu. editor. (orcid)0000-0003-4675-154X Bai, Guangdong. editor. Utting, Mark. editor. (orcid)0000-0003-3134-6306 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-0006-6

Format:

Availability

Online Library~1

Available:
Copies:

117.

New Perspectives in Software Engineering

Author

Mejía, Jezreel. editor. (orcid)0000-0003-0292-9318 Muñoz, Mirna. editor. Rocha, Alvaro. editor. (orcid)0000-0002-0750-8187 Hernández Pérez, Yasmin. editor. (orcid)0000-0002-8842-0899 Avila-George, Himer. editor. (orcid)0000-0001-8578-0170

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

118.

Cover image for Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 1

Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 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-53549-9

Format:

Availability

Online Library~1

Available:
Copies:

119.

Cover image for Collaborative Computing: Networking, Applications and Worksharing 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part I

Collaborative Computing: Networking, Applications and Worksharing 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part I

Author

Gao, Honghao. editor. (orcid)0000-0001-6861-9684 Wang, Xinheng. editor. Voros, Nikolaos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

120.

Collaborative Computing: Networking, Applications and Worksharing 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part II

Author

Gao, Honghao. editor. (orcid)0000-0001-6861-9684 Wang, Xinheng. editor. Voros, Nikolaos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

121.

Collaborative Computing: Networking, Applications and Worksharing 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part III

Author

Gao, Honghao. editor. (orcid)0000-0001-6861-9684 Wang, Xinheng. editor. Voros, Nikolaos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

122.

Data Analytics in System Engineering Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 3

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

123.

Data Analytics in System Engineering Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 4

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

124.

Cover image for Machine Learning and Data Mining for Sports Analytics 10th International Workshop, MLSA 2023, Turin, Italy, September 18, 2023, Revised Selected Papers

Machine Learning and Data Mining for Sports Analytics 10th International Workshop, MLSA 2023, Turin, Italy, September 18, 2023, Revised Selected Papers

Author

Brefeld, Ulf. editor. (orcid)0000-0001-9600-6463 Davis, Jesse. editor. Van Haaren, Jan. editor. Zimmermann, Albrecht. editor. (orcid)0000-0002-8319-7456 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

125.

Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 2

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

126.

Structures of Computing A Guide to Practice-Oriented Theory

Author

Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

127.

Cover image for Advances in Visual Informatics 8th International Visual Informatics Conference, IVIC 2023, Selangor, Malaysia, November 15-17, 2023, Proceedings

Advances in Visual Informatics 8th International Visual Informatics Conference, IVIC 2023, Selangor, Malaysia, November 15-17, 2023, Proceedings

Author

Badioze Zaman, Halimah. editor. Robinson, Peter. editor. Smeaton, Alan F. editor. De Oliveira, Renato Lima. editor. Jørgensen, Bo Nørregaard. editor. (orcid)0000-0001-5678-6602

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

128.

Cover image for Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised Selected Papers

Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised Selected Papers

Author

Jarzębowicz, Aleksander. editor. Luković, Ivan. editor. (orcid)0000-0003-1319-488X Przybyłek, Adam. editor. Staroń, Mirosław. editor. (orcid)0000-0002-9052-0864 Ahmad, Muhammad Ovais. editor. (orcid)0000-0002-7885-0369

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

129.

Dependable Computing - EDCC 2024 Workshops SafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings

Author

Sangchoolie, Behrooz. editor. Adler, Rasmus. editor. Hawkins, Richard. editor. (orcid)0000-0001-7347-3413 Schleiss, Philipp. editor. Arteconi, Alessia. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

130.

Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations

Author

Bodden, Eric. editor. Felderer, Michael. editor. Hasselbring, Wilhelm. editor. (orcid)0000-0001-6625-4335 Herber, Paula. editor. Koziolek, Heiko. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

131.

Managing Information Technology

Author

Castillo, Francisco. author. Monoso, Korina. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

132.

Cover image for Autonomous Agents and Multiagent Systems. Best and Visionary Papers AAMAS 2023 Workshops, London, UK, May 29 -June 2, 2023, Revised Selected Papers

Autonomous Agents and Multiagent Systems. Best and Visionary Papers AAMAS 2023 Workshops, London, UK, May 29 -June 2, 2023, Revised Selected Papers

Author

Amigoni, Francesco. editor. (orcid)0000-0001-8146-6213 Sinha, Arunesh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

133.

Cover image for Requirements Engineering: Foundation for Software Quality 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings

Requirements Engineering: Foundation for Software Quality 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings

Author

Mendez, Daniel. editor. Moreira, Ana. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

134.

Infrared Small Target Detection Theory, Methods, and Algorithms.

Author

Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

135.

Cover image for Digital Business and Intelligent Systems 16th International Baltic Conference, Baltic DB&IS 2024, Vilnius, Lithuania, June 30 - July 3, 2024, Proceedings

Digital Business and Intelligent Systems 16th International Baltic Conference, Baltic DB&IS 2024, Vilnius, Lithuania, June 30 - July 3, 2024, Proceedings

Author

Lupeikienė, Audronė. editor. (orcid)0000-0001-6011-3072 Ralyté, Jolita. editor. (orcid)0000-0001-8561-3567 Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

136.

Cover image for International Conference on Applied Technologies 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part III

International Conference on Applied Technologies 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part III

Author

Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Zambrano Vizuete, Marcelo. editor. (orcid)0000-0001-5152-7572 Montes León, Sergio. editor. (orcid)0000-0002-2564-4465 Torres-Carrión, Pablo. editor. (orcid)0000-0002-7606-0582 Durakovic, Benjamin. editor. (orcid)0000-0002-3099-0354

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

137.

Cover image for Artificial Intelligence Applications and Innovations. AIAI 2024 IFIP WG 12.5 International Workshops MHDW 2024, 5G-PINE 2024, and ΑΙ4GD 2024, Corfu, Greece, June 27-30, 2024, Proceedings

Artificial Intelligence Applications and Innovations. AIAI 2024 IFIP WG 12.5 International Workshops MHDW 2024, 5G-PINE 2024, and ΑΙ4GD 2024, Corfu, Greece, June 27-30, 2024, Proceedings

Author

Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528 Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729 Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638 Chochliouros, Ioannis. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

138.

Mechatronics - Industry-Inspired Advances

Author

Martowicz, Adam. editor. (orcid)0000-0001-9630-0355 Mańka, Michał. editor. (orcid)0000-0002-2959-9681 Mendrok, Krzysztof. editor. (orcid)0000-0002-3720-6454 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

139.

Cover image for Critical Information Infrastructures Security 18th International Conference, CRITIS 2023, Helsinki Region, Finland, September 13-15, 2023, Revised Selected Papers

Critical Information Infrastructures Security 18th International Conference, CRITIS 2023, Helsinki Region, Finland, September 13-15, 2023, Revised Selected Papers

Author

Pickl, Stefan. editor. (orcid)0000-0001-5549-6259 Hämmerli, Bernhard. editor. (orcid)0000-0001-6251-1154 Mattila, Päivi. editor. (orcid)0000-0002-1683-2392 Sevillano, Annaleena. editor. (orcid)0000-0002-8204-1791 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

140.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

141.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

142.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

143.

Research in Computer Science 6th Conference, CRI 2023, Yaounde, Cameroon, December 12-13, 2023, Proceedings

Author

Melatagia Yonta, Paulin. editor. (orcid)0000-0003-3479-2627 Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Ndoundam, René. editor. (orcid)0000-0003-1105-762X Yenke, Omer-Blaise. editor. (orcid)0000-0001-9670-1001 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

144.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

145.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

146.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

147.

Metrics for Test Reporting Analysis and Reporting for Effective Test Management

Author

Witte, Frank. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-44006-0

Format:

Availability

Online Library~1

Available:
Copies:

148.

Feature Models AI-Driven Design, Analysis and Applications

Author

Felfernig, Alexander. author. Falkner, Andreas. author. Benavides, David. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

149.

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

Author

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

150.

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

Author

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

151.

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Author

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

152.

Cover image for Human-Centered Software Engineering 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8-10, 2024, Proceedings

Human-Centered Software Engineering 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8-10, 2024, Proceedings

Author

Lárusdóttir, Marta Kristín. editor. (orcid)0000-0003-0256-5710 Naqvi, Bilal. editor. (orcid)0000-0001-5271-5604 Bernhaupt, Regina. editor. (orcid)0000-0003-3522-5990 Ardito, Carmelo. editor. (orcid)0000-0001-8993-9855 Sauer, Stefan. editor. (orcid)0000-0003-3084-0409

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

153.

Cover image for Computational Science and Its Applications - ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part I

Computational Science and Its Applications - ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part I

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

154.

Computational Science and Its Applications - ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part II

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

155.

Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX

Author

Diehl, Patrick. author. Brandt, Steven R. author. Kaiser, Hartmut. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

156.

Cover image for Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT MICCAI Challenge, FLARE 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings

Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT MICCAI Challenge, FLARE 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings

Author

Ma, Jun. editor. (orcid)0000-0002-9739-0855 Wang, Bo. editor. (orcid)0000-0002-9620-3413 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

157.

Cover image for Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings

Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings

Author

Shishkov, Boris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

158.

Cover image for Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

Author

Harmer, Russ. editor. (orcid)0000-0002-0817-1029 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

159.

Search-Based Software Engineering 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings

Author

Jahangirova, Gunel. editor. Khomh, Foutse. editor. (orcid)0000-0002-5704-4173 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

160.

ITNG 2024: 21st International Conference on Information Technology-New Generations

Author

Latifi, Shahram. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

161.

Learn coding with Python and JavaScript A practical introduction for beginners

Author

Zuckarelli, Joachim L. author. (orcid)0000-0002-9280-3016 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-42912-6

Format:

Availability

Online Library~1

Available:
Copies:

162.

Cover image for Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, 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-64182-4

Format:

Availability

Online Library~1

Available:
Copies:

163.

Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis

Author

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Kühn, Harald. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

164.

Cover image for Theoretical Aspects of Software Engineering 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings

Theoretical Aspects of Software Engineering 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings

Author

Chin, Wei-Ngan. editor. (orcid)0000-0002-9660-5682 Xu, Zhiwu. editor. (orcid)0000-0001-6727-440X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

165.

Software Design for Resilient Computer Systems

Author

Schagaev, Igor. author. Gutknecht, Jürg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

166.

Cover image for Challenging the Future with Lean 9th IFIP WG 5.7 European Lean Educator Conference, ELEC 2023, 's-Hertogenbosch, The Netherlands, October 24-26, 2023, Proceedings

Challenging the Future with Lean 9th IFIP WG 5.7 European Lean Educator Conference, ELEC 2023, 's-Hertogenbosch, The Netherlands, October 24-26, 2023, Proceedings

Author

van Kollenburg, Ton. editor. (orcid)0000-0003-0958-7605 Kokkinou, Alinda. editor. (orcid)0000-0001-7991-2253 McDermott, Olivia. editor. (orcid)0000-0001-5714-4601 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

167.

Cybernetics and Control Theory in Systems Proceedings of 13th Computer Science On-line Conference 2024, Volume 2

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

168.

Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, 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-70285-3

Format:

Availability

Online Library~1

Available:
Copies:

169.

Machine Learning Methods in Systems Proceedings of 13th Computer Science On-line Conference 2024, Vol. 4

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

170.

Learning C# Through Small Projects

Author

Panjuta, Denis. author. (orcid)0009-0001-4855-9300 Jabbarzadeh, Jafar. author. (orcid)0009-0004-3534-795X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

171.

Cover image for Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part V

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part V

Author

Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

172.

Cover image for Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Author

Martins, Rolando. editor. (orcid)0000-0002-1838-1417 Selimi, Mennan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

173.

Cover image for Coordination Models and Languages 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Coordination Models and Languages 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Author

Castellani, Ilaria. editor. (orcid)0000-0001-9820-0892 Tiezzi, Francesco. editor. (orcid)0000-0003-4740-7521 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

174.

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IV

Author

Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

175.

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Author

Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523 Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

176.

Artificial Intelligence Algorithm Design for Systems Proceedings of 13th Computer Science Online Conference 2024, Volume 3

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

177.

Cover image for Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Author

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0617-7

Format:

Availability

Online Library~1

Available:
Copies:

178.

Cover image for Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings

Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings

Author

Guisado-Lizar, José-Luis. editor. Riscos-Núñez, Agustín. editor. (orcid)0000-0002-5409-3578 Morón-Fernández, María-José. editor. Wainer, Gabriel. editor. (orcid)0000-0003-3366-9184 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

179.

Cover image for Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part I

Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part I

Author

Duque-Méndez, Néstor Darío. editor. (orcid)0000-0002-4608-281X Aristizábal-Quintero, Luz Ángela. editor. (orcid)0000-0003-4510-9029 Orozco-Alzate, Mauricio. editor. (orcid)0000-0002-5937-6382 Aguilar, Jose. editor. (orcid)0000-0003-4194-6882 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

180.

Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part II

Author

Duque-Méndez, Néstor Darío. editor. (orcid)0000-0002-4608-281X Aristizábal-Quintero, Luz Ángela. editor. (orcid)0000-0003-4510-9029 Orozco-Alzate, Mauricio. editor. (orcid)0000-0002-5937-6382 Aguilar, Jose. editor. (orcid)0000-0003-4194-6882 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

181.

Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I

Author

Nowaczyk, Sławomir. editor. Biecek, Przemysław. editor. Chung, Neo Christopher. editor. Vallati, Mauro. editor. (orcid)0000-0002-8429-3570 Skruch, Paweł. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

182.

What every engineer should know about software engineering

Author

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

Preferred Shelf Number

QA76.758

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

183.

A pragmatic programmer for machine learning : engineering analytics and data science solutions

Author

Scutari, Marco, author. Malvestio, Mauro, author.

Preferred Shelf Number

Q325.5

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

184.

A Software Development Approach for Driving Competitiveness in Small Firms

Author

Chevers, Delroy A., author.

Preferred Shelf Number

HD2341

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

185.

Computational intelligence applications for software engineering problems

Author

Nand, Parma (Computer scientist), editor. Nitin, Rakesh, editor. Agrawal, Arun Prakash, editor. Jain, Vishal, 1983- editor.

Preferred Shelf Number

QA76.758

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

186.

Experience of PYNQ Tutorials for PYNQ-Z2

Author

Sun, Songlin. editor. Zou, Jiaqi. editor. Zou, Zixuan. editor. Wang, Shaokang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-9072-4

Format:

Availability

Online Library~1

Available:
Copies:

187.

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:

188.

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:

189.

Cover image for Artificial Intelligence Application in Networks and Systems Proceedings of 12th Computer Science On-line Conference 2023, Volume 3

Artificial Intelligence Application in Networks and Systems Proceedings of 12th Computer Science On-line Conference 2023, Volume 3

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

190.

Semantic Knowledge Modelling via Open Linked Ontologies Ontologies in E-Governance

Author

Theocharis, Stamatios. author. Tsihrintzis, George A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

191.

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:

192.

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:

193.

Innovations in Information and Communication Technologies Proceedings of ICIICT 2022

Author

Garg, Deepak. editor. Kumar, Neeraj. editor. Iqbal, Rahat. editor. Gupta, Suneet. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-3796-5

Format:

Availability

Online Library~1

Available:
Copies:

194.

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:

195.

Intelligent Software Defect Prediction

Author

Jing, Xiao-Yuan. author. Chen, Haowen. author. Xu, Baowen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

196.

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:

197.

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:

198.

ITNG 2023 20th International Conference on Information Technology-New Generations

Author

Latifi, Shahram. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

199.

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:

200.

Networks and Systems in Cybernetics Proceedings of 12th Computer Science On-line Conference 2023, Volume 2

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

201.

Challenges of Software Verification

Author

Arceri, Vincenzo. editor. Cortesi, Agostino. editor. Ferrara, Pietro. editor. Olliaro, Martina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

202.

From Blockchain to Web3 & Metaverse

Author

Huang, Huawei. editor. Wu, Jiajing. editor. (orcid)0000-0001-5155-8547 Zheng, Zibin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-3648-9

Format:

Availability

Online Library~1

Available:
Copies:

203.

Beginning software engineering

Author

Stephens, Rod, author.

Preferred Shelf Number

QA76.758 .S74 2023

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

204.

Software engineering for automotive systems : principles and applications

Author

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

Preferred Shelf Number

TL272.53

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

205.

Python packages

Author

Beuzen, Tomas, author. Timbers, Tiffany-Anne, author.

Preferred Shelf Number

QA76.73 .P98

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

206.

Evolving software processes : trends and future directions

Author

Khan, Arif Ali, editor. Le, Dac-Nhuong, 1983- editor.

Preferred Shelf Number

QA76.76 .D47

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

207.

Bilgisayar mühendisliğine giriş

Author

Çölkesen, Toros Rifat. Eren, Şaban.

Preferred Shelf Number

QA76.27 B552 2022

Format:

Availability

Beytepe Library~1

Available:
Copies:

208.

Yazılım test mühendisinin el kitabı

Author

Gürbüz, Ali.

Preferred Shelf Number

QA76.758 G87 2022

Format:

Availability

Beytepe Library~1

Available:
Copies:

209.

Effective methods for software engineering

Author

Summers, Boyd L., author.

Preferred Shelf Number

QA76.758 .S857 2020 EB

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

210.

Software Engineering Perspectives in Computer Game Development.

Author

Cooper, Kendra M. L., editor.

Preferred Shelf Number

QA76.76 .C672

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

211.

Component-based software engineering : methods and metrics

Author

Tiwari, Umesh Kumar, author. Kumar, Santosh, author.

Preferred Shelf Number

QA76.758 .T58 2021 EB

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

212.

Yazılım mühendisliği

Author

Sommerville, Ian. Topaloğlu, N. Yasemin.

Preferred Shelf Number

QA76.758 S6619 2021

Format:

Availability

Beytepe Library~2

Available:
Copies:

213.

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

Author

Weyns, Danny.

Preferred Shelf Number

QA76.76 .S375

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

214.

Yazılım test mühendisinin el kitabı

Author

Gürbüz, Ali.

Preferred Shelf Number

QA76.758 G87 2020

Format:

Availability

Beytepe Library~1

Available:
Copies:

215.

Official Google Cloud Certified Professional Data Engineer study guide

Author

Sullivan, Dan, 1962-

Preferred Shelf Number

QA76.3

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

216.

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:

217.

Agile Methods 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers

Author

Tonin, Graziela Simone. editor. Estácio, Bernardo. editor. Goldman, Alfredo. editor. Guerra, Eduardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

218.

Transactions on Pattern Languages of Programming IV

Author

Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

219.

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:

220.

Cover image for Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

221.

Cover image for Perspectives in Business Informatics Research 18th International Conference, BIR 2019, Katowice, Poland, September 23–25, 2019, Proceedings

Perspectives in Business Informatics Research 18th International Conference, BIR 2019, Katowice, Poland, September 23–25, 2019, Proceedings

Author

Pańkowska, Małgorzata. editor. (orcid)0000-0001-8660-606X Sandkuhl, Kurt. editor. (orcid)0000-0002-7431-8412 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

222.

Cover image for Risks and Security of Internet and Systems 13th International Conference, CRiSIS 2018, Arcachon, France, October 16–18, 2018, Revised Selected Papers

Risks and Security of Internet and Systems 13th International Conference, CRiSIS 2018, Arcachon, France, October 16–18, 2018, Revised Selected Papers

Author

Zemmari, Akka. editor. Mosbah, Mohamed. editor. Cuppens-Boulahia, Nora. editor. Cuppens, Frédéric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

223.

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:

224.

Cryptography and Coding 17th IMA International Conference, IMACC 2019, Oxford, UK, December 16–18, 2019, Proceedings

Author

Albrecht, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

225.

Cover image for Service Research and Innovation 7th Australian Symposium, ASSRI 2018, Sydney, NSW, Australia, September 6, 2018, and Wollongong, NSW, Australia, December 14, 2018, Revised Selected Papers

Service Research and Innovation 7th Australian Symposium, ASSRI 2018, Sydney, NSW, Australia, September 6, 2018, and Wollongong, NSW, Australia, December 14, 2018, Revised Selected Papers

Author

Lam, Ho-Pun. editor. (orcid)0000-0002-1137-8549 Mistry, Sajib. editor. (orcid)0000-0001-7513-3789 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

226.

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Author

Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

227.

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Author

Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

228.

Cover image for Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Author

Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

229.

Ambient Intelligence 15th European Conference, AmI 2019, Rome, Italy, November 13–15, 2019, Proceedings

Author

Chatzigiannakis, Ioannis. editor. (orcid)0000-0001-8955-9270 De Ruyter, Boris. editor. (orcid)0000-0002-2682-7538 Mavrommati, Irene. editor. (orcid)0000-0002-8870-746X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

230.

Trustworthy Cyber-Physical Systems A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness

Author

Gol Mohammadi, Nazila. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-658-27488-7

Format:

Availability

Online Library~1

Available:
Copies:

231.

Technologies and Innovation 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2–5, 2019, Proceedings

Author

Valencia-García, Rafael. editor. Alcaraz-Mármol, Gema. editor. Del Cioppo-Morstadt, Javier. editor. Vera-Lucio, Néstor. editor. Bucaram-Leverone, Martha. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

232.

Cover image for Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Author

Duan, Zhenhua. editor. Liu, Shaoying. editor. Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

233.

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Author

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Cleaveland, Rance. editor. Grosu, Radu. editor. (orcid)0000-0001-5715-2142 Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

234.

Cover image for Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Author

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

235.

Concise Guide to Software Testing

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

236.

Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

Author

Bures, Tomas. editor. Duchien, Laurence. editor. (orcid)0000-0002-4517-5862 Inverardi, Paola. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

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 Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

Author

Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

239.

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:

240.

A Practical Approach to High-Performance Computing

Author

Kurgalin, Sergei. author. Borzunov, Sergei. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

241.

Cover image for Progress in Cryptology – AFRICACRYPT 2019 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedings

Progress in Cryptology – AFRICACRYPT 2019 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedings

Author

Buchmann, Johannes. editor. Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 Rachidi, Tajjeeddine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

242.

Cover image for Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Author

Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

243.

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:

244.

Frontiers in Cyber Security Second International Conference, FCS 2019, Xi'an, China, November 15–17, 2019, Proceedings

Author

Shen, Bazhong. editor. Wang, Baocang. editor. (orcid)0000-0002-2554-4464 Han, Jinguang. editor. (orcid)0000-0002-4993-9452 Yu, Yong. editor. (orcid)0000-0003-0667-077X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-15-0818-9

Format:

Availability

Online Library~1

Available:
Copies:

245.

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:

246.

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:

247.

Cover image for Augmented Cognition 13th International Conference, AC 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings

Augmented Cognition 13th International Conference, AC 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings

Author

Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

248.

Cover image for Design, User Experience, and Usability. Practice and Case Studies 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IV

Design, User Experience, and Usability. Practice and Case Studies 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IV

Author

Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

249.

Cover image for Human-Computer Interaction. Design Practice in Contemporary Societies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III

Human-Computer Interaction. Design Practice in Contemporary Societies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III

Author

Kurosu, Masaaki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

250.

Cover image for Human-Computer Interaction. Recognition and Interaction Technologies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II

Human-Computer Interaction. Recognition and Interaction Technologies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II

Author

Kurosu, Masaaki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

251.

Cover image for Design, User Experience, and Usability. Design Philosophy and Theory 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Design, User Experience, and Usability. Design Philosophy and Theory 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Author

Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

252.

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:

253.

Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings

Author

Gaston, Christophe. editor. (orcid)0000-0001-6865-5108 Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

254.

Cover image for Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings

Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings

Author

Burgeth, Bernhard. editor. (orcid)0000-0001-6602-6201 Kleefeld, Andreas. editor. (orcid)0000-0001-8324-821X Naegel, Benoît. editor. (orcid)0000-0002-7695-1473 Passat, Nicolas. editor. (orcid)0000-0002-0320-4581 Perret, Benjamin. editor. (orcid)0000-0003-0933-8342

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

255.

Cover image for Innovative Security Solutions for Information Technology and Communications 11th International Conference, SecITC 2018, Bucharest, Romania, November 8–9, 2018, Revised Selected Papers

Innovative Security Solutions for Information Technology and Communications 11th International Conference, SecITC 2018, Bucharest, Romania, November 8–9, 2018, Revised Selected Papers

Author

Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941 Toma, Cristian. editor. (orcid)0000-0001-9316-7739 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

256.

Formal Methods An Appetizer

Author

Nielson, Flemming. author. (orcid)0000-0001-7362-6176 Riis Nielson, Hanne. author. (orcid)0000-0002-2484-5580 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

257.

Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings

Author

Hofman, Piotrek. editor. Skrzypczak, Michał. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

258.

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

Author

Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

259.

Cover image for Advances in Data Science, Cyber Security and IT Applications First International Conference on Computing, ICC 2019, Riyadh, Saudi Arabia, December 10–12, 2019, Proceedings, Part II

Advances in Data Science, Cyber Security and IT Applications First International Conference on Computing, ICC 2019, Riyadh, Saudi Arabia, December 10–12, 2019, Proceedings, Part II

Author

Alfaries, Auhood. editor. Mengash, Hanan. editor. Yasar, Ansar. editor. (orcid)0000-0002-1542-2658 Shakshuki, Elhadi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

260.

Discovery Science 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings

Author

Kralj Novak, Petra. editor. (orcid)0000-0003-3385-6430 Šmuc, Tomislav. editor. (orcid)0000-0002-9185-9384 Džeroski, Sašo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

261.

Cover image for OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers

Author

Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Aderholdt, Ferrol. editor. (orcid)0000-0002-4208-6493 Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

262.

Distributed Real-Time Systems Theory and Practice

Author

Erciyes, K. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

263.

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

Author

Hutton, Graham. editor. (orcid)0000-0001-9584-5150 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

264.

Cover image for Computer-Aided Architectural Design. "Hello, Culture" 18th International Conference, CAAD Futures 2019, Daejeon, Republic of Korea, June 26–28, 2019, Selected Papers

Computer-Aided Architectural Design. "Hello, Culture" 18th International Conference, CAAD Futures 2019, Daejeon, Republic of Korea, June 26–28, 2019, Selected Papers

Author

Lee, Ji-Hyun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-8410-3

Format:

Availability

Online Library~1

Available:
Copies:

265.

HCI International 2019 - Posters 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Author

Stephanidis, Constantine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

266.

Cover image for Internet and Distributed Computing Systems 12th International Conference, IDCS 2019, Naples, Italy, October 10–12, 2019, Proceedings

Internet and Distributed Computing Systems 12th International Conference, IDCS 2019, Naples, Italy, October 10–12, 2019, Proceedings

Author

Montella, Raffaele. editor. Ciaramella, Angelo. editor. (orcid)0000-0001-5592-7995 Fortino, Giancarlo. editor. Guerrieri, Antonio. editor. (orcid)0000-0003-1469-9484 Liotta, Antonio. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

267.

Cover image for Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

Author

Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

268.

Cover image for Digital Forensics and Cyber Crime 10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10–12, 2018, Proceedings

Digital Forensics and Cyber Crime 10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10–12, 2018, Proceedings

Author

Breitinger, Frank. editor. (orcid)0000-0001-5261-4600 Baggili, Ibrahim. editor. (orcid)0000-0002-9574-9537 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

269.

Cover image for The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

Author

Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

270.

Cover image for Computer and Computing Technologies in Agriculture X 10th IFIP WG 5.14 International Conference, CCTA 2016, Dongying, China, October 19–21, 2016, Proceedings

Computer and Computing Technologies in Agriculture X 10th IFIP WG 5.14 International Conference, CCTA 2016, Dongying, China, October 19–21, 2016, Proceedings

Author

Li, Daoliang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

271.

Business Information Systems 22nd International Conference, BIS 2019, Seville, Spain, June 26–28, 2019, Proceedings, Part I

Author

Abramowicz, Witold. editor. (orcid)0000-0001-5464-9698 Corchuelo, Rafael. editor. (orcid)0000-0003-1563-6979 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

272.

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:

273.

Cover image for Critical Infrastructure Protection XIII 13th IFIP WG 11.10 International Conference, ICCIP 2019, Arlington, VA, USA, March 11–12, 2019, Revised Selected Papers

Critical Infrastructure Protection XIII 13th IFIP WG 11.10 International Conference, ICCIP 2019, Arlington, VA, USA, March 11–12, 2019, Revised Selected Papers

Author

Staggs, Jason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

274.

Cover image for Job Scheduling Strategies for Parallel Processing 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers

Author

Klusáček, Dalibor. editor. Cirne, Walfredo. editor. Desai, Narayan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

275.

Cover image for Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part I

Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part I

Author

Lin, Dongdai. editor. Sako, Kazue. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

276.

Technology Trends 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29–31, 2018, Revised Selected Papers

Author

Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Pizarro, Guillermo. editor. (orcid)0000-0002-0731-4550 Zúñiga-Prieto, Miguel. editor. (orcid)0000-0001-9369-1813 D’Armas, Mayra. editor. Zúñiga Sánchez, Miguel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

277.

Cover image for Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III

Author

Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

278.

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II

Author

Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

279.

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:

280.

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I

Author

Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

281.

Systems engineering of software-enabled systems

Author

Fairley, R. E. (Richard E.), 1937- author.

Preferred Shelf Number

QA76.758

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

282.

Bilgisayar mühendisliğine giriş

Author

Çölkesen, Toros Rifat. Eren, Şaban.

Preferred Shelf Number

QA76.27 B552 2019

Format:

Availability

Beytepe Library~1

Available:
Copies:

283.

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:

284.

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:

285.

Advanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings

Author

Giorgini, Paolo. editor. (orcid)0000-0003-4152-9683 Weber, Barbara. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

286.

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:

287.

Cover image for Cloud Computing – CLOUD 2019 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Cloud Computing – CLOUD 2019 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Author

Da Silva, Dilma. editor. Wang, Qingyang. editor. (orcid)0000-0002-5729-2898 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

288.

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Author

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

289.

Provable Security 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings

Author

Steinfeld, Ron. editor. (orcid)0000-0003-1745-4183 Yuen, Tsz Hon. editor. (orcid)0000-0002-0629-6792 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

290.

Cover image for New Opportunities for Innovation Breakthroughs for Developing Countries and Emerging Economies 19th International TRIZ Future Conference, TFC 2019, Marrakesh, Morocco, October 9–11, 2019, Proceedings

New Opportunities for Innovation Breakthroughs for Developing Countries and Emerging Economies 19th International TRIZ Future Conference, TFC 2019, Marrakesh, Morocco, October 9–11, 2019, Proceedings

Author

Benmoussa, Rachid. editor. De Guio, Roland. editor. Dubois, Sébastien. editor. (orcid)0000-0003-1501-4977 Koziołek, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

291.

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:

292.

Cover image for Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

Author

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

293.

Cover image for Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Author

Enea, Constantin. editor. Piskac, Ruzica. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

294.

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

295.

Cover image for Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings

Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings

Author

Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Barzola-Monteses, Julio. editor. Santos-Baquerizo, Eduardo. editor. Espinoza-Andaluz, Mayken. editor. Yánez-Pazmiño, Wendy. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

296.

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Author

Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

297.

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:

298.

Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings

Author

Hochberger, Christian. editor. Nelson, Brent. editor. Koch, Andreas. editor. Woods, Roger. editor. Diniz, Pedro. editor. (orcid)0000-0003-3131-9367

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

299.

Design and Development of Web Information Systems

Author

Schewe, Klaus-Dieter. author. Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

300.

Developing Enterprise Chatbots Learning Linguistic Structures

Author

Galitsky, Boris. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}