Search Results for Methods engineering.

1.

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

Author

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

Preferred Shelf Number

XX(520632.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

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

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

Author

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

Preferred Shelf Number

XX(520812.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

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

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

Author

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

Preferred Shelf Number

XX(521275.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

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

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

Author

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

Preferred Shelf Number

XX(521324.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Optimization Methods for Product and System Design

Author

Kulkarni, Anand J. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520587.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

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

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

Author

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

Preferred Shelf Number

XX(520517.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

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

Author

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

Preferred Shelf Number

XX(520650.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

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

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

Author

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

Preferred Shelf Number

XX(520735.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Artificial Intelligence and Cybersecurity Theory and Applications

Author

Sipola, Tuomo. editor. Kokkonen, Tero. editor. Karjalainen, Mika. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520170.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I

International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I

Author

Zhang, Haijun. editor. (orcid) Ke, Yinggen. editor. Wu, Zhou. editor. Hao, Tianyong. editor. Zhang, Zhao. editor.

Preferred Shelf Number

XX(520345.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Signal and Information Processing, Networking and Computers Proceedings of the 10th International Conference on Signal and Information Processing, Networking and Computers (ICSINC)

Signal and Information Processing, Networking and Computers Proceedings of the 10th International Conference on Signal and Information Processing, Networking and Computers (ICSINC)

Author

Wang, Yue. editor. Liu, Yuyang. editor. Zou, Jiaqi. editor. Huo, Mengyao. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520352.1)

Electronic Access

https://doi.org/10.1007/978-981-19-9968-0

Format:

Availability

Online Library~1

Available:
Copies:

12.

Conceptual Modeling 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings

Author

Almeida, João Paulo A. editor. (orcid) Borbinha, José. editor. Guizzardi, Giancarlo. editor. (orcid) Link, Sebastian. editor. Zdravkovic, Jelena. editor.

Preferred Shelf Number

XX(521271.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures

Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures

Author

Cerone, Antonio. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521282.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Information Integration and Web Intelligence 25th International Conference, iiWAS 2023, Denpasar, Bali, Indonesia, December 4-6, 2023, Proceedings

Information Integration and Web Intelligence 25th International Conference, iiWAS 2023, Denpasar, Bali, Indonesia, December 4-6, 2023, Proceedings

Author

Delir Haghighi, Pari. editor. Pardede, Eric. editor. Dobbie, Gillian. editor. Yogarajan, Vithya. editor. ER, Ngurah Agus Sanjaya. editor.

Preferred Shelf Number

XX(521336.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Advanced Analytics and Learning on Temporal Data 8th ECML PKDD Workshop, AALTD 2023, Turin, Italy, September 18-22, 2023, Revised Selected Papers

Advanced Analytics and Learning on Temporal Data 8th ECML PKDD Workshop, AALTD 2023, Turin, Italy, September 18-22, 2023, Revised Selected Papers

Author

Ifrim, Georgiana. editor. Tavenard, Romain. editor. Bagnall, Anthony. editor. Schaefer, Patrick. editor. Malinowski, Simon. editor.

Preferred Shelf Number

XX(521375.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Clinical Applications of Artificial Intelligence in Real-World Data

Author

Asselbergs, Folkert W. editor. Denaxas, Spiros. editor. Oberski, Daniel L. editor. Moore, Jason H. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(522026.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Digital Design and Manufacturing of Medical Devices and Systems

Author

Velu, Rajkumar. editor. Subburaj, Karupppasamy. editor. Subramaniyan, Anand Kumar. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(522257.1)

Electronic Access

https://doi.org/10.1007/978-981-99-7100-8

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Engineering Applications of Neural Networks 24th International Conference, EAAAI/EANN 2023, León, Spain, June 14-17, 2023, Proceedings

Engineering Applications of Neural Networks 24th International Conference, EAAAI/EANN 2023, León, Spain, June 14-17, 2023, Proceedings

Author

Iliadis, Lazaros. editor. (orcid) Maglogiannis, Ilias. editor. (orcid) Alonso, Serafin. editor. Jayne, Chrisina. editor. Pimenidis, Elias. editor. (orcid)

Preferred Shelf Number

XX(520434.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.