Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(472)
Apduhan, Bernady O. editor.
(12)
Bernardo, Marco. editor.
(11)
Messnarz, Richard. editor.
(10)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(6)
Dil
Yayın Yılı
-
Konu
Software engineering.
(233)
Computer science.
(157)
Artificial intelligence.
(76)
Computer Communication Networks.
(56)
Logic design.
(47)
Materyal Türü
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
545 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Trustworthy systems through quantitative software engineering için kapak resmi
Trustworthy systems through quantitative software engineering
Yazar 
Bernstein, Lawrence, 1940- Yuhas, C. M. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988898
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Software engineering for image processing systems için kapak resmi
Software engineering for image processing systems
Yazar 
Laplante, Phillip A.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Developing Sustainable and Energy-Efficient Software Systems için kapak resmi
Developing Sustainable and Energy-Efficient Software Systems
Yazar 
Kruglov, Artem. author. Succi, Giancarlo. author. SpringerLink (Online service)
Yer Numarası 
XX(520659.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-11658-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Model-Driven Dependability Assessment of Software Systems için kapak resmi
Model-Driven Dependability Assessment of Software Systems
Yazar 
Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334812.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39512-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Software Tools and Algorithms for Biological Systems için kapak resmi
Software Tools and Algorithms for Biological Systems
Yazar 
Arabnia, Hamid R. editor. Tran, Quoc-Nam. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-7046-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Handbook of Re-Engineering Software Intensive Systems into Software Product Lines için kapak resmi
Handbook of Re-Engineering Software Intensive Systems into Software Product Lines
Yazar 
Lopez-Herrejon, Roberto E. editor. Martinez, Jabier. editor. Guez Assunção, Wesley Klewerton. editor. Ziadi, Tewfik. editor. Acher, Mathieu. editor.
Yer Numarası 
XX(520251.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-11686-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings için kapak resmi
Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings
Yazar 
Karimi , Hamid Reza. editor. Wang, Ning. editor. SpringerLink (Online service)
Yer Numarası 
XX(520457.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34899-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings için kapak resmi
Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings
Yazar 
Henkler, Stefan. editor. Kreutz, Márcio. editor. Wehrmeister, Marco A. editor. Götz, Marcelo. editor. Rettberg, Achim. editor.
Yer Numarası 
XX(520586.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34214-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Yazar 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası 
XX(520840.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Yazar 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası 
XX(520843.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings için kapak resmi
Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings
Yazar 
Bonfanti, Silvia. editor. Gargantini, Angelo. editor. Salvaneschi, Paolo. editor. SpringerLink (Online service)
Yer Numarası 
XX(521157.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43240-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Applied Computing for Software and Smart Systems Proceedings of ACSS 2022 için kapak resmi
Applied Computing for Software and Smart Systems Proceedings of ACSS 2022
Yazar 
Chaki, Rituparna. editor. Cortesi, Agostino. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Nabendu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-6791-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç