Limit Search Results
Author
SpringerLink (Online service)
(46)
Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940
(4)
Bäck, Thomas. editor. (orcid)0000-0001-6768-1478
(4)
Kononova, Anna V. editor. (orcid)0000-0002-4138-7024
(4)
Machado, Penousal. editor. (orcid)0000-0002-6308-6484
(4)
Language
Publication Date
-
Subject
Computer Engineering and Networks.
(33)
Computer networks .
(33)
Artificial intelligence.
(24)
Application software.
(17)
Computer and Information Systems Applications.
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
46 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Haptics: Understanding Touch; Technology and Systems; Applications and Interaction 14th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2024, Lille, France, June 30 - July 3, 2024, Proceedings, Part II
Haptics: Understanding Touch; Technology and Systems; Applications and Interaction 14th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2024, Lille, France, June 30 - July 3, 2024, Proceedings, Part II
Author 
Kajimoto, Hiroyuki. editor. (orcid)0000-0002-5088-7397 Lopes, Pedro. editor. (orcid)0000-0001-6527-7084 Pacchierotti, Claudio. editor. (orcid)0000-0002-8006-9168 Basdogan, Cagatay. editor. (orcid)0000-0002-6382-7334 Gori, Monica. editor. (orcid)0000-0002-5616-865X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70061-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
Author 
Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93706-4
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part II
Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part II
Author 
Dassisti, Michele. editor. (orcid)0000-0001-6984-9203 Madani, Kurosh. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80775-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part I
Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part I
Author 
Dassisti, Michele. editor. (orcid)0000-0001-6984-9203 Madani, Kurosh. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80760-2
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Haptics: Understanding Touch; Technology and Systems; Applications and Interaction 14th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2024, Lille, France, June 30 - July 3, 2024, Proceedings, Part I
Haptics: Understanding Touch; Technology and Systems; Applications and Interaction 14th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2024, Lille, France, June 30 - July 3, 2024, Proceedings, Part I
Author 
Kajimoto, Hiroyuki. editor. (orcid)0000-0002-5088-7397 Lopes, Pedro. editor. (orcid)0000-0001-6527-7084 Pacchierotti, Claudio. editor. (orcid)0000-0002-8006-9168 Basdogan, Cagatay. editor. (orcid)0000-0002-6382-7334 Gori, Monica. editor. (orcid)0000-0002-5616-865X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70058-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Author 
Neele, Thomas. editor. (orcid)0000-0001-6117-9129 Wijs, Anton. editor. (orcid)0000-0002-2071-9624 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66149-5
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for ITNG 2024: 21st International Conference on Information Technology-New Generations
ITNG 2024: 21st International Conference on Information Technology-New Generations
Author 
Latifi, Shahram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56599-1
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Proceedings of the 7th International Conference on Electrical, Control and Computer Engineering-Volume 1 InECCE 2023, Kuala Lumpur, Malaysia
Proceedings of the 7th International Conference on Electrical, Control and Computer Engineering-Volume 1 InECCE 2023, Kuala Lumpur, Malaysia
Author 
Md. Zain, Zainah. editor. Sulaiman, Norizam. editor. Mustafa, Mahfuzah. editor. (orcid)0000-0002-4909-7101 Shakib, Mohammed Nazmus. editor. Jabbar, Waheb A. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-3847-2
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
Author 
Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68150-9
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VI
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VI
Author 
Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8537-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Machine Learning for Cyber-Physical Systems Selected papers from the International Conference ML4CPS 2023
Machine Learning for Cyber-Physical Systems Selected papers from the International Conference ML4CPS 2023
Author 
Niggemann, Oliver. editor. Beyerer, Jürgen. editor. Krantz, Maria. editor. Kühnert, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47062-2
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Proceedings of the 7th International Conference on Electrical, Control and Computer Engineering-Volume 2 InECCE 2023, Kuala Lumpur, Malaysia
Proceedings of the 7th International Conference on Electrical, Control and Computer Engineering-Volume 2 InECCE 2023, Kuala Lumpur, Malaysia
Author 
Md. Zain, Zainah. editor. Sulaiman, Norizam. editor. Mustafa, Mahfuzah. editor. (orcid)0000-0002-4909-7101 Shakib, Mohammed Nazmus. editor. A. Jabbar, Waheb. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-3851-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action