Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
Computer science.
(4)
Algorithms.
(3)
Computer Communication Networks.
(3)
Computer networks .
(3)
Mathematical Modeling and Industrial Mathematics.
(3)
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ç
13 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures için kapak resmi
Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
Yazar 
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)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-4656-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3 için kapak resmi
Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3
Yazar 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-96380-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Infrared Small Target Detection Theory, Methods, and Algorithms. için kapak resmi
Infrared Small Target Detection Theory, Methods, and Algorithms.
Yazar 
Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-9799-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Formal Aspects of Component Software 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers için kapak resmi
Formal Aspects of Component Software 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
Yazar 
Kouchnarenko, Olga. editor. Khosravi, Ramtin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57666-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings için kapak resmi
Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Yazar 
Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68034-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2016 için kapak resmi
Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2016
Yazar 
Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-3950-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Trends in Software Testing için kapak resmi
Trends in Software Testing
Yazar 
Mohanty, Hrushikesha. editor. Mohanty, J. R. editor. Balakrishnan, Arunkumar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-1415-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Models of Computation için kapak resmi
Models of Computation
Yazar 
Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42900-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings için kapak resmi
Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
Yazar 
Greuel, Gert-Martin. editor. Koch, Thorsten. editor. Paule, Peter. editor. Sommese, Andrew. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42432-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers için kapak resmi
Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Yazar 
Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28934-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers için kapak resmi
Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers
Yazar 
Kofroň, Jan. editor. Vojnar, Tomáš. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-29817-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
OSS Reliability Measurement and Assessment için kapak resmi
OSS Reliability Measurement and Assessment
Yazar 
Yamada, Shigeru. author. Tamura, Yoshinobu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-31818-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: