Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(18)
Liang, Qilian. editor.
(4)
Wang, Wei. editor.
(4)
Zhang, Baoju. editor.
(4)
Liu, Xin. editor.
(3)
Dil
Yayın Yılı
-
Konu
Computer Communication Networks.
(9)
Computer Engineering and Networks.
(9)
Computer engineering.
(9)
Logic design.
(8)
Artificial intelligence.
(6)
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ç
18 sonuç bulundu Arama sonuçlarına abone ol
000000DEFAULT_TR
Yazdır
1. 
Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings için kapak resmi
Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings
Yazar 
Bodden, Eric. editor. Payer, Mathias. editor. (orcid)0000-0001-5054-7547 Athanasopoulos, Elias. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-62105-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude için kapak resmi
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Yazar 
Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
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:
4. 
Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2014 için kapak resmi
Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2014
Yazar 
Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. Ao, Sio-long. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-94-017-7236-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Intelligent Computing, Communication and Devices Proceedings of ICCD 2014, Volume 1 için kapak resmi
Intelligent Computing, Communication and Devices Proceedings of ICCD 2014, Volume 1
Yazar 
Jain, Lakhmi C. editor. Patnaik, Srikanta. editor. Ichalkaranje, Nikhil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-81-322-2012-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
The Proceedings of the Third International Conference on Communications, Signal Processing, and Systems için kapak resmi
The Proceedings of the Third International Conference on Communications, Signal Processing, and Systems
Yazar 
Mu, Jiasong. editor. Liang, Qilian. editor. Wang, Wei. editor. Zhang, Baoju. editor. Pi, Yiming. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08991-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: