Search Results for Software design.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

64 Results Found

1 2 3 4 5 6

000000000000DEFAULT

37.

Optimising the Software Development Process with Artificial Intelligence

Author

Romero, José Raúl. editor. Medina-Bulo, Inmaculada. editor. Chicano, Francisco. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520515.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Concise Guide to Software Verification From Model Checking to Annotation Checking

Author

Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520525.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Artificial Intelligence in Music, Sound, Art and Design 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings

Artificial Intelligence in Music, Sound, Art and Design 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings

Author

Johnson, Colin. editor. Rodríguez-Fernández, Nereida. editor. Rebelo, Sérgio M. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520836.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Passive and Active Measurement 24th International Conference, PAM 2023, Virtual Event, March 21-23, 2023, Proceedings

Author

Brunstrom, Anna. editor. Flores, Marcel. editor. Fiore, Marco. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520896.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings

Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings

Author

Bañares, José Ángel. editor. Altmann, Jörn. editor. Agmon Ben-Yehuda, Orna. editor. Djemame, Karim. editor. Stankovski, Vlado. editor.

Preferred Shelf Number

XX(520919.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

Author

David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521004.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings

Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings

Author

Ferrari, Alessio. editor. Penzenstadler, Birgit. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520927.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

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

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

Author

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

Preferred Shelf Number

XX(521134.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I

Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I

Author

Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.

Preferred Shelf Number

XX(521363.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings

Author

Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(521295.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers

High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers

Author

Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521305.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Learning Technologies and Systems 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers

Learning Technologies and Systems 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers

Author

González-González, Carina S. editor. Fernández-Manjón, Baltasar. editor. Li, Frederick. editor. García-Peñalvo, Francisco José. editor. Sciarrone, Filippo. editor.

Preferred Shelf Number

XX(521395.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6

	{displayName}	{count}
{error}