Search Results for Spatial systems.

82 Results Found

1 2 3 4 5 .. 7

000000000000DEFAULT

25.

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Author

Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520984.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

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:

27.

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VI

Author

Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.

Preferred Shelf Number

XX(521012.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Web Information Systems and Applications 20th International Conference, WISA 2023, Chengdu, China, September 15-17, 2023, Proceedings

Web Information Systems and Applications 20th International Conference, WISA 2023, Chengdu, China, September 15-17, 2023, Proceedings

Author

Yuan, Long. editor. Yang, Shiyu. editor. Li, Ruixuan. editor. Kanoulas, Evangelos. editor. Zhao, Xiang. editor.

Preferred Shelf Number

XX(521133.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

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:

30.

Cover image for Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part VI

Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part VI

Author

Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521171.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Database Systems for Advanced Applications 28th International Conference, DASFAA 2023, Tianjin, China, April 17-20, 2023, Proceedings, Part I

Database Systems for Advanced Applications 28th International Conference, DASFAA 2023, Tianjin, China, April 17-20, 2023, Proceedings, Part I

Author

Wang, Xin. editor. Sapino, Maria Luisa. editor. Han, Wook-Shin. editor. El Abbadi, Amr. editor. Dobbie, Gill. editor.

Preferred Shelf Number

XX(521186.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Web and Big Data 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25-27, 2022, Proceedings, Part I

Author

Li, Bohan. editor. Yue, Lin. editor. Tao, Chuanqi. editor. Han, Xuming. editor. Calvanese, Diego. editor.

Preferred Shelf Number

XX(521285.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Database Systems for Advanced Applications 28th International Conference, DASFAA 2023, Tianjin, China, April 17-20, 2023, Proceedings, Part IV

Author

Wang, Xin. editor. Sapino, Maria Luisa. editor. Han, Wook-Shin. editor. El Abbadi, Amr. editor. Dobbie, Gill. editor.

Preferred Shelf Number

XX(521290.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

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:

35.

Cover image for Information and Communication Technologies 11th Ecuadorian Conference, TICEC 2023, Cuenca, Ecuador, October 18-20, 2023, Proceedings

Information and Communication Technologies 11th Ecuadorian Conference, TICEC 2023, Cuenca, Ecuador, October 18-20, 2023, Proceedings

Author

Maldonado-Mahauad, Jorge. editor. Herrera-Tapia, Jorge. editor. Zambrano-Martínez, Jorge Luis. editor. Berrezueta, Santiago. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520693.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.