Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(162)
Hashizume, Ayako. editor.
(12)
Kurosu, Masaaki. editor.
(12)
Antona, Margherita. editor.
(7)
Ntoa, Stavroula. editor. (orcid)0000-0002-6270-8333
(7)
Dil
English
(162)
Yayın Yılı
-
Konu
Computer Communication Networks.
(113)
Artificial intelligence.
(74)
Application software.
(63)
Computer and Information Systems Applications.
(63)
Software engineering.
(57)
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ç
162 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Yazar 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-57246-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Yazar 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-57249-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III
Yazar 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-57256-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools için kapak resmi
Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
Yazar 
Mahmood, Zaigham. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54325-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Researching Complex Information Infrastructures Design Characteristics of ICT Tools for Examining Modern Technology Usage için kapak resmi
Researching Complex Information Infrastructures Design Characteristics of ICT Tools for Examining Modern Technology Usage
Yazar 
Ludwig, Thomas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-16921-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Modeling, Methodologies and Tools for Molecular and Nano-scale Communications Modeling, Methodologies and Tools için kapak resmi
Modeling, Methodologies and Tools for Molecular and Nano-scale Communications Modeling, Methodologies and Tools
Yazar 
Suzuki, Junichi. editor. Nakano, Tadashi. editor. Moore, Michael John. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-50688-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday için kapak resmi
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Yazar 
Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63121-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Network Traffic Anomaly Detection and Prevention Concepts, Techniques, and Tools için kapak resmi
Network Traffic Anomaly Detection and Prevention Concepts, Techniques, and Tools
Yazar 
Bhuyan, Monowar H. author. Bhattacharyya, Dhruba K. author. Kalita, Jugal K. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-65188-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Developing Security Tools of WSN and WBAN Networks Applications için kapak resmi
Developing Security Tools of WSN and WBAN Networks Applications
Yazar 
A. M. El-Bendary, Mohsen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-4-431-55069-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Fostering Machine Learning and IoT for Blockchain Technology Smart Cities Applications, Volume 1 için kapak resmi
Fostering Machine Learning and IoT for Blockchain Technology Smart Cities Applications, Volume 1
Yazar 
Ahmad, Khaleel. editor. Dulhare, Uma N. editor. Badar, Mohammad Sufian. editor. Ahamed, Jameel. editor. Rizvi, M. A. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-4078-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings için kapak resmi
Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Yazar 
Neele, Thomas. editor. (orcid)0000-0001-6117-9129 Wijs, Anton. editor. (orcid)0000-0002-2071-9624 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66149-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Simultaneously Transmitting and Reflecting Surfaces for Wireless Communications için kapak resmi
Simultaneously Transmitting and Reflecting Surfaces for Wireless Communications
Yazar 
Liu, Yuanwei. author. Mu, Xidong. author. (orcid)0000-0001-8351-360X Xu, Jiaqi. author. Zhang, Junshan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-76848-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç