Search Results for Methods engineering.

21 Results Found

1 2

000000000000DEFAULT

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:

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:

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:

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:

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:

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:

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:

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:

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:

10.

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:

11.

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

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

Author

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

Preferred Shelf Number

XX(521140.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

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:

1 2

	{displayName}	{count}
{error}