Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(181)
Garau, Chiara. editor. (orcid)
(4)
Gervasi, Osvaldo. editor. (orcid)
(4)
Murgante, Beniamino. editor. (orcid)
(4)
Abdelnour Nocera, José. editor.
(3)
Dil
English
(185)
Konu
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ç
185 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
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:
38. 
Business Modeling and Software Design 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3-5, 2023, Proceedings için kapak resmi
Business Modeling and Software Design 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3-5, 2023, Proceedings
Yazar 
Shishkov, Boris. editor. SpringerLink (Online service)
Yer Numarası 
XX(520592.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-36757-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Development of Safety-Critical Systems Architecture and Software için kapak resmi
Development of Safety-Critical Systems Architecture and Software
Yazar 
Karmakar, Gopinath. author. Wakankar, Amol. author. Kabra, Ashutosh. author. Pandya, Paritosh. author. SpringerLink (Online service)
Yer Numarası 
XX(520696.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-27901-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Yazar 
Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)
Yer Numarası 
XX(520841.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30826-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Yazar 
Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Yer Numarası 
XX(520842.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30829-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
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:
43. 
Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings için kapak resmi
Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Yazar 
Caltais, Georgiana. editor. Schilling, Christian. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(520854.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-32157-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings için kapak resmi
Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
Yazar 
David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)
Yer Numarası 
XX(521004.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-35257-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers için kapak resmi
Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
Yazar 
Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)
Yer Numarası 
XX(521120.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42441-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings için kapak resmi
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Yazar 
Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Yer Numarası 
XX(521275.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47115-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Frontiers in Software Engineering Education Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers için kapak resmi
Frontiers in Software Engineering Education Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers
Yazar 
Capozucca, Alfredo. editor. Ebersold, Sophie. editor. Bruel, Jean-Michel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)
Yer Numarası 
XX(521355.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-48639-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
A Review on Recent Echocardiographic Software Advancing the Field through the Emerging Science için kapak resmi
A Review on Recent Echocardiographic Software Advancing the Field through the Emerging Science
Yazar 
Karvandi, Mersedeh. author. Ranjbar, Saeed. author. SpringerLink (Online service)
Yer Numarası 
XX(521515.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-29046-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç