Limit Search Results
Author
SpringerLink (Online service)
(490)
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
(490)
Publication Date
-
Subject
Computer networks .
(347)
Artificial intelligence.
(181)
Computer science.
(163)
Application software.
(140)
Computer and Information Systems Applications.
(140)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
490 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Event-Triggered Cooperative Control: Analysis and Synthesis
Event-Triggered Cooperative Control: Analysis and Synthesis
Author 
Xu, Wenying. author. Ho, Daniel W. C. author. Cao, Jinde. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-5654-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Analysis and Design of Networked Control Systems
Analysis and Design of Networked Control Systems
Author 
You, Keyou. author. Xiao, Nan. author. Xie, Lihua. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6615-3
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Advances in Network Analysis and its Applications
Advances in Network Analysis and its Applications
Author 
Kranakis, Evangelos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333370.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30904-5
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for 802.11 Wireless Networks Security and Analysis
802.11 Wireless Networks Security and Analysis
Author 
Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-275-9
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Secure Transaction Protocol Analysis Models and Applications
Secure Transaction Protocol Analysis Models and Applications
Author 
Chen, Qingfeng. author. Zhang, Chengqi. author. Zhang, Shichao. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85074-8
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Vulnerability Analysis and Defense for the Internet
Vulnerability Analysis and Defense for the Internet
Author 
Singh, Abhishek. editor. Singh, Baibhav. editor. Joseph, Hirosh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-74390-5
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90643-5
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90660-2
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Ophthalmic Medical Image Analysis 11th International Workshop, OMIA 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings
Ophthalmic Medical Image Analysis 11th International Workshop, OMIA 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings
Author 
Bhavna, Antony. editor. (orcid)0000-0002-6882-2444 Chen, Hao. editor. (orcid)0000-0002-8400-3780 Fang, Huihui. editor. (orcid)0000-0003-3380-7970 Fu, Huazhu. editor. (orcid)0000-0002-9702-5524 Lee, Cecilia S. editor. (orcid)0000-0003-1994-7213
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73119-8
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Modeling, Analysis, and Optimization for Space-Ground Integrated Networks
Modeling, Analysis, and Optimization for Space-Ground Integrated Networks
Author 
Sheng, Min. author. Zhou, Di. author. (orcid)0000-0002-8375-9236 Zhu, Yan. author. Li, Jiandong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77278-8
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Author 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90653-4
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Constructive Side-Channel Analysis and Secure Design 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings
Constructive Side-Channel Analysis and Secure Design 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings
Author 
Wacquez, Romain. author. Homma, Naofumi. editor. (orcid)0000-0003-0864-3126 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57543-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action