Arama Sonuçları Núñez, Manuel.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dN$0025C3$0025BA$0025C3$0025B1ez$00252C$002bManuel.$0026ic$003dtrue$0026ps$003d300?
2024-11-15T18:51:31Z
Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
ent://SD_ILS/0/SD_ILS:518977
2024-11-15T18:51:31Z
2024-11-15T18:51:31Z
Yazar Núñez, Manuel. editor. Güdemann, Matthias. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518977.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19458-5">https://doi.org/10.1007/978-3-319-19458-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Collective Intelligence 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:518902
2024-11-15T18:51:31Z
2024-11-15T18:51:31Z
Yazar Núñez, Manuel. editor. Nguyen, Ngoc Thanh. editor. Camacho, David. editor. Trawiński, Bogdan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518902.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-24306-1">https://doi.org/10.1007/978-3-319-24306-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Collective Intelligence 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:519000
2024-11-15T18:51:31Z
2024-11-15T18:51:31Z
Yazar Núñez, Manuel. editor. Nguyen, Ngoc Thanh. editor. Camacho, David. editor. Trawiński, Bogdan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519000.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-24069-5">https://doi.org/10.1007/978-3-319-24069-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191134
2024-11-15T18:51:31Z
2024-11-15T18:51:31Z
Yazar Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-05031-2">http://dx.doi.org/10.1007/978-3-642-05031-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487763
2024-11-15T18:51:31Z
2024-11-15T18:51:31Z
Yazar Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-05032-4">https://doi.org/10.1007/978-3-319-05032-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520633
2024-11-15T18:51:31Z
2024-11-15T18:51:31Z
Yazar Nguyen, Ngoc Thanh. editor. (orcid) Botzheim, János. editor. Gulyás, László. editor. Nunez, Manuel. editor. Treur, Jan. editor.<br/>Yer Numarası XX(520633.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-41774-0">https://doi.org/10.1007/978-3-031-41774-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521308
2024-11-15T18:51:31Z
2024-11-15T18:51:31Z
Yazar Nguyen, Ngoc Thanh. editor. Botzheim, János. editor. Gulyás, László. editor. Núñez, Manuel. editor. Treur, Jan. editor.<br/>Yer Numarası XX(521308.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-41456-5">https://doi.org/10.1007/978-3-031-41456-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Modern Approaches for Intelligent Information and Database Systems
ent://SD_ILS/0/SD_ILS:401821
2024-11-15T18:51:31Z
2024-11-15T18:51:31Z
Yazar Sieminski, Andrzej. editor. Kozierkiewicz, Adrianna. editor. Nunez, Manuel. editor. Ha, Quang Thuy. editor. (orcid)0000-0002-3901-3357 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-76081-0">https://doi.org/10.1007/978-3-319-76081-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184696
2024-11-15T18:51:31Z
2024-11-15T18:51:31Z
Yazar Bravetti, Mario. editor. Núñez, Manuel. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11841197">http://dx.doi.org/10.1007/11841197</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185247
2024-11-15T18:51:31Z
2024-11-15T18:51:31Z
Yazar Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11940197">http://dx.doi.org/10.1007/11940197</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>