Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(89)
Apduhan, Bernady O. editor.
(6)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(6)
Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
(6)
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
(6)
Dil
Yayın Yılı
-
2019
(53)
2014
(34)
2023
(2)
Konu
Materyal Türü
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
89 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Innovation and Competitiveness in Industry 4.0 Based on Intelligent Systems için kapak resmi
Innovation and Competitiveness in Industry 4.0 Based on Intelligent Systems
Yazar 
Méndez-González, Luis Carlos. editor. Rodríguez-Picón, Luis Alberto. editor. Pérez Olguín, Iván Juan Carlos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-29775-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part I için kapak resmi
Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part I
Yazar 
Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-5834-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings için kapak resmi
Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
Yazar 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-31157-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings için kapak resmi
Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings
Yazar 
Bordeleau, Francis. editor. Sillitti, Alberto. editor. Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-20883-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Advanced Hybrid Information Processing Second EAI International Conference, ADHIP 2018, Yiyang, China, October 5-6, 2018, Proceedings için kapak resmi
Advanced Hybrid Information Processing Second EAI International Conference, ADHIP 2018, Yiyang, China, October 5-6, 2018, Proceedings
Yazar 
Liu, Shuai. editor. (orcid)0000-0001-9909-0664 Yang, Gelan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-19086-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Yazar 
Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-29026-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings için kapak resmi
Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
Yazar 
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 Petrenko, Alexander. editor. (orcid)0000-0001-7411-3831 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-29852-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings için kapak resmi
Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
Yazar 
Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-35333-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Queueing Theory and Network Applications 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings için kapak resmi
Queueing Theory and Network Applications 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings
Yazar 
Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946 Kasahara, Shoji. editor. (orcid)0000-0001-9785-8350 Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-27181-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Big Data Innovations and Applications 5th International Conference, Innovate-Data 2019, Istanbul, Turkey, August 26–28, 2019, Proceedings için kapak resmi
Big Data Innovations and Applications 5th International Conference, Innovate-Data 2019, Istanbul, Turkey, August 26–28, 2019, Proceedings
Yazar 
Younas, Muhammad. editor. Awan, Irfan. editor. Benbernou, Salima. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-27355-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings için kapak resmi
Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Yazar 
Fontaine, Pascal. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-29436-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
Yazar 
Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-24258-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets