Limit Search Results
Author
SpringerLink (Online service)
(271)
Cheng, Ming-Ming. editor. (orcid)0000-0001-5550-8758
(15)
He, Ran. editor. (orcid)0000-0002-3807-991X
(15)
Lin, Zhouchen. editor.
(15)
Liu, Cheng-Lin. editor. (orcid)0000-0002-6743-4175
(15)
Language
English
(281)
Publication Date
-
Subject
Computer System Implementation.
(271)
Computer networks .
(188)
Computer Communication Networks.
(182)
Artificial intelligence.
(129)
Application software.
(107)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
281 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Towards new e-Infrastructure and e-Services for Developing Countries 15th International Conference, AFRICOMM 2023, Bobo-Dioulasso, Burkina Faso, November 23-25, 2023, Proceedings, Part II
Towards new e-Infrastructure and e-Services for Developing Countries 15th International Conference, AFRICOMM 2023, Bobo-Dioulasso, Burkina Faso, November 23-25, 2023, Proceedings, Part II
Author 
Sere, Abdoulaye. editor. (orcid)0009-0009-0662-4571 Sie, Oumarou. editor. Saeed, Rashid A. editor. (orcid)0000-0002-9872-081X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81573-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Bio-inspired Information and Communications Technologies 15th EAI International Conference, BICT 2024, Quzhou, China, August 15-16, 2024, Proceedings
Bio-inspired Information and Communications Technologies 15th EAI International Conference, BICT 2024, Quzhou, China, August 15-16, 2024, Proceedings
Author 
Chen, Yifan. editor. (orcid)0000-0002-2776-9456 Yang, Kun. editor. Sun, Yue. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81599-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
Author 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4656-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Biological Computing
Biological Computing
Author 
Xu, Jin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-3870-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part XV
Pattern Recognition and Computer Vision 7th Chinese Conference, PRCV 2024, Urumqi, China, October 18-20, 2024, Proceedings, Part XV
Author 
Lin, Zhouchen. editor. Cheng, Ming-Ming. editor. (orcid)0000-0001-5550-8758 He, Ran. editor. (orcid)0000-0002-3807-991X Ubul, Kurban. editor. Silamu, Wushouer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8499-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Information Security Practice and Experience 19th International Conference, ISPEC 2024, Wuhan, China, October 25-27, 2024, Proceedings
Information Security Practice and Experience 19th International Conference, ISPEC 2024, Wuhan, China, October 25-27, 2024, Proceedings
Author 
Xia, Zhe. editor. (orcid)0000-0003-4397-1248 Chen, Jiageng. editor. (orcid)0000-0001-9033-2575 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-9053-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75107-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75380-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
Author 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73741-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action