Limit Search Results
Author
SpringerLink (Online service)
(83)
Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X
(10)
Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758
(10)
Tetko, Igor V. editor. (orcid)0000-0002-6855-0012
(10)
Wand, Michael. editor. (orcid)0000-0003-0966-7824
(10)
Language
Publication Date
-
Subject
Computer networks .
(39)
Computing Milieux.
(39)
Artificial intelligence.
(34)
Computer Communication Networks.
(28)
Application software.
(27)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
85 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Author 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78709-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Author 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78750-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Smart Applications and Data Analysis 5th International Conference, SADASC 2024, Tangier, Morocco, April 18-20, 2024, Proceedings, Part I
Smart Applications and Data Analysis 5th International Conference, SADASC 2024, Tangier, Morocco, April 18-20, 2024, Proceedings, Part I
Author 
Hamlich, Mohamed. editor. (orcid)0000-0002-7512-4329 Dornaika, Fadi. editor. (orcid)0000-0001-6581-9680 Ordonez, Carlos. editor. Bellatreche, Ladjel. editor. Moutachaouik, Hicham. editor. (orcid)0000-0003-1566-104X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77040-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Smart Applications and Data Analysis 5th International Conference, SADASC 2024, Tangier, Morocco, April 18-20, 2024, Proceedings, Part II
Smart Applications and Data Analysis 5th International Conference, SADASC 2024, Tangier, Morocco, April 18-20, 2024, Proceedings, Part II
Author 
Hamlich, Mohamed. editor. (orcid)0000-0002-7512-4329 Dornaika, Fadi. editor. (orcid)0000-0001-6581-9680 Ordonez, Carlos. editor. Bellatreche, Ladjel. editor. Moutachaouik, Hicham. editor. (orcid)0000-0003-1566-104X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77043-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Medical Image Understanding and Analysis 28th Annual Conference, MIUA 2024, Manchester, UK, July 24-26, 2024, Proceedings, Part I
Medical Image Understanding and Analysis 28th Annual Conference, MIUA 2024, Manchester, UK, July 24-26, 2024, Proceedings, Part I
Author 
Yap, Moi Hoon. editor. (orcid)0000-0001-7681-4287 Kendrick, Connah. editor. (orcid)0000-0002-3623-6598 Behera, Ardhendu. editor. Cootes, Timothy. editor. Zwiggelaar, Reyer. editor. (orcid)0000-0002-4360-0896
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66955-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Medical Image Understanding and Analysis 28th Annual Conference, MIUA 2024, Manchester, UK, July 24-26, 2024, Proceedings, Part II
Medical Image Understanding and Analysis 28th Annual Conference, MIUA 2024, Manchester, UK, July 24-26, 2024, Proceedings, Part II
Author 
Yap, Moi Hoon. editor. (orcid)0000-0001-7681-4287 Kendrick, Connah. editor. (orcid)0000-0002-3623-6598 Behera, Ardhendu. editor. Cootes, Timothy. editor. Zwiggelaar, Reyer. editor. (orcid)0000-0002-4360-0896
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66958-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Decision-making Analysis and Optimization Modeling of Emergency Warnings for Major Accidents
Decision-making Analysis and Optimization Modeling of Emergency Warnings for Major Accidents
Author 
Gai, Wenmei. author. Du, Yan. author. Deng, Yunfeng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2871-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings
Author 
Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30690-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Image Analysis and Recognition 16th International Conference, ICIAR 2019, Waterloo, ON, Canada, August 27–29, 2019, Proceedings, Part I
Image Analysis and Recognition 16th International Conference, ICIAR 2019, Waterloo, ON, Canada, August 27–29, 2019, Proceedings, Part I
Author 
Karray, Fakhri. editor. (orcid)0000-0002-4217-1372 Campilho, Aurélio. editor. (orcid)0000-0002-5317-6275 Yu, Alfred. editor. (orcid)0000-0002-8604-0219 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27202-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 23rd Iberoamerican Congress, CIARP 2018, Madrid, Spain, November 19-22, 2018, Proceedings
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 23rd Iberoamerican Congress, CIARP 2018, Madrid, Spain, November 19-22, 2018, Proceedings
Author 
Vera-Rodriguez, Ruben. editor. Fierrez, Julian. editor. Morales, Aythami. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-13469-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Author 
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17462-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computer Analysis of Images and Patterns 18th International Conference, CAIP 2019, Salerno, Italy, September 3–5, 2019, Proceedings, Part I
Computer Analysis of Images and Patterns 18th International Conference, CAIP 2019, Salerno, Italy, September 3–5, 2019, Proceedings, Part I
Author 
Vento, Mario. editor. (orcid)0000-0002-2948-741X Percannella, Gennaro. editor. (orcid)0000-0002-1227-0353 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29888-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action