Arama Sonuçlarını Sınırlandır
Yazar
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)
Dil
English
(490)
Yayın Yılı
-
Konu
Computer networks .
(347)
Artificial intelligence.
(181)
Computer science.
(163)
Application software.
(140)
Computer and Information Systems Applications.
(140)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
490 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Event-Triggered Cooperative Control: Analysis and Synthesis için kapak resmi
Event-Triggered Cooperative Control: Analysis and Synthesis
Yazar 
Xu, Wenying. author. Ho, Daniel W. C. author. Cao, Jinde. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-5654-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Analysis and Design of Networked Control Systems için kapak resmi
Analysis and Design of Networked Control Systems
Yazar 
You, Keyou. author. Xiao, Nan. author. Xie, Lihua. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4471-6615-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Advances in Network Analysis and its Applications için kapak resmi
Advances in Network Analysis and its Applications
Yazar 
Kranakis, Evangelos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333370.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30904-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
802.11 Wireless Networks Security and Analysis için kapak resmi
802.11 Wireless Networks Security and Analysis
Yazar 
Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84996-275-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Vulnerability Analysis and Defense for the Internet için kapak resmi
Vulnerability Analysis and Defense for the Internet
Yazar 
Singh, Abhishek. editor. Singh, Baibhav. editor. Joseph, Hirosh. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-74390-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Secure Transaction Protocol Analysis Models and Applications için kapak resmi
Secure Transaction Protocol Analysis Models and Applications
Yazar 
Chen, Qingfeng. author. Zhang, Chengqi. author. Zhang, Shichao. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-85074-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Ophthalmic Medical Image Analysis 11th International Workshop, OMIA 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings için kapak resmi
Ophthalmic Medical Image Analysis 11th International Workshop, OMIA 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings
Yazar 
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
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-73119-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Modeling, Analysis, and Optimization for Space-Ground Integrated Networks için kapak resmi
Modeling, Analysis, and Optimization for Space-Ground Integrated Networks
Yazar 
Sheng, Min. author. Zhou, Di. author. (orcid)0000-0002-8375-9236 Zhu, Yan. author. Li, Jiandong. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-77278-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
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 için kapak resmi
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
Yazar 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90643-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
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 için kapak resmi
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
Yazar 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90660-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
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 için kapak resmi
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
Yazar 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90653-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers için kapak resmi
Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers
Yazar 
Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-50423-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç