Limit Search Results
Author
SpringerLink (Online service)
(52)
Apduhan, Bernady O. editor.
(5)
Gavrilova, Marina L. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Language
Publication Date
-
Subject
Geographic information systems.
(13)
Coğrafi bilgi sistemleri.
(4)
Geospatial data.
(4)
Spatial systems.
(3)
Agricultural mapping.
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
82 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Author 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520889.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
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:
39. 
Cover image for Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
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:
40. 
Cover image for Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VI
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:
41. 
Cover image for Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part VII
Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part VII
Author 
Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number 
XX(521240.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-6498-7
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings
Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings
Author 
Zhou, Jianying. editor. (orcid) Batina, Lejla. editor. Li, Zengpeng. editor. Lin, Jingqiang. editor. Losiouk, Eleonora. editor.
Preferred Shelf Number 
XX(521216.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-41181-6
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
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:
44. 
Cover image for Beyond Databases, Architectures and Structures 11th International Conference, BDAS 2015, Ustroń, Poland, May 26-29, 2015, Proceedings
Beyond Databases, Architectures and Structures 11th International Conference, BDAS 2015, Ustroń, Poland, May 26-29, 2015, Proceedings
Author 
Kozielski, Stanisław. editor. Mrozek, Dariusz. editor. Kasprowski, Paweł. editor. Małysiak-Mrozek, Bożena. editor. Kostrzewa, Daniel. editor.
Preferred Shelf Number 
XX(518692.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-18422-7
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings
Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings
Author 
Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518763.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23485-4
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings
Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings
Author 
Amine, Abdelmalek. editor. Bellatreche, Ladjel. editor. Elberrichi, Zakaria. editor. Neuhold, Erich J. editor. Wrembel, Robert. editor.
Preferred Shelf Number 
XX(518503.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19578-0
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Human Centered Computing First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers
Human Centered Computing First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers
Author 
Zu, Qiaohong. editor. Hu, Bo. editor. Gu, Ning. editor. Seng, Sopheap. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518792.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15554-8
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II
Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II
Author 
Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.
Preferred Shelf Number 
XX(518794.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21407-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action