Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
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ç
10 sonuç bulundu Arama sonuçlarına abone ol
0000000000DEFAULT_TR
Yazdır
1. 
Computational Collective Intelligence 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II için kapak resmi
Computational Collective Intelligence 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II
Yazar 
Núñez, Manuel. editor. Nguyen, Ngoc Thanh. editor. Camacho, David. editor. Trawiński, Bogdan. editor. SpringerLink (Online service)
Yer Numarası 
XX(518902.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-24306-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings için kapak resmi
Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Yazar 
Núñez, Manuel. editor. Güdemann, Matthias. editor. SpringerLink (Online service)
Yer Numarası 
XX(518977.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19458-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Computational Collective Intelligence 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I için kapak resmi
Computational Collective Intelligence 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I
Yazar 
Núñez, Manuel. editor. Nguyen, Ngoc Thanh. editor. Camacho, David. editor. Trawiński, Bogdan. editor. SpringerLink (Online service)
Yer Numarası 
XX(519000.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-24069-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
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 için kapak resmi
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
Yazar 
Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-05031-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
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 için kapak resmi
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
Yazar 
Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-05032-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings için kapak resmi
Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings
Yazar 
Nguyen, Ngoc Thanh. editor. Botzheim, János. editor. Gulyás, László. editor. Núñez, Manuel. editor. Treur, Jan. editor.
Yer Numarası 
XX(521308.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-41456-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Advances in Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings için kapak resmi
Advances in Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings
Yazar 
Nguyen, Ngoc Thanh. editor. (orcid) Botzheim, János. editor. Gulyás, László. editor. Nunez, Manuel. editor. Treur, Jan. editor.
Yer Numarası 
XX(520633.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-41774-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Modern Approaches for Intelligent Information and Database Systems için kapak resmi
Modern Approaches for Intelligent Information and Database Systems
Yazar 
Sieminski, Andrzej. editor. Kozierkiewicz, Adrianna. editor. Nunez, Manuel. editor. Ha, Quang Thuy. editor. (orcid)0000-0002-3901-3357 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-76081-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings için kapak resmi
Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings
Yazar 
Bravetti, Mario. editor. Núñez, Manuel. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11841197
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
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 için kapak resmi
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
Yazar 
Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11940197
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: