Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(54)
Khachay, Michael. editor. (orcid)
(3)
Alfnes, Erlend. editor.
(2)
Duan, Nan. editor.
(2)
Eremeev, Anton. editor. (orcid)
(2)
Dil
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
54 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
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:
26. 
Blended Learning : Lessons Learned and Ways Forward 16th International Conference on Blended Learning, ICBL 2023, Hong Kong, China, July 17-20, 2023, Proceedings için kapak resmi
Blended Learning : Lessons Learned and Ways Forward 16th International Conference on Blended Learning, ICBL 2023, Hong Kong, China, July 17-20, 2023, Proceedings
Yazar 
Li, Chen. editor. (orcid) Cheung, Simon K. S. editor. Wang, Fu Lee. editor. Lu, Angel. editor. (orcid) Kwok, Lam For. editor.
Yer Numarası 
XX(521046.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-35731-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Variable Neighborhood Search 9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25-28, 2022, Revised Selected Papers için kapak resmi
Variable Neighborhood Search 9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25-28, 2022, Revised Selected Papers
Yazar 
Sleptchenko, Andrei. editor. Sifaleras, Angelo. editor. Hansen, Pierre. editor. SpringerLink (Online service)
Yer Numarası 
XX(520951.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34500-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Computational Logistics 14th International Conference, ICCL 2023, Berlin, Germany, September 6-8, 2023, Proceedings için kapak resmi
Computational Logistics 14th International Conference, ICCL 2023, Berlin, Germany, September 6-8, 2023, Proceedings
Yazar 
Daduna, Joachim R. editor. Liedtke, Gernot. editor. Shi, Xiaoning. editor. Voß, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
XX(521128.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43612-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings için kapak resmi
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Yazar 
Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Yer Numarası 
XX(520984.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Web Information Systems Engineering - WISE 2023 24th International Conference, Melbourne, VIC, Australia, October 25-27, 2023, Proceedings için kapak resmi
Web Information Systems Engineering - WISE 2023 24th International Conference, Melbourne, VIC, Australia, October 25-27, 2023, Proceedings
Yazar 
Zhang, Feng. editor. Wang, Hua. editor. Barhamgi, Mahmoud. editor. Chen, Lu. editor. Zhou, Rui. editor.
Yer Numarası 
XX(521256.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-7254-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Evolutionary Multi-Criterion Optimization 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings için kapak resmi
Evolutionary Multi-Criterion Optimization 12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings
Yazar 
Emmerich, Michael. editor. Deutz, André. editor. Wang, Hao. editor. Kononova, Anna V. editor. Naujoks, Boris. editor.
Yer Numarası 
XX(521385.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-27250-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Mathematical Optimization Theory and Operations Research 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Proceedings için kapak resmi
Mathematical Optimization Theory and Operations Research 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Proceedings
Yazar 
Khachay, Michael. editor. (orcid) Kochetov, Yury. editor. (orcid) Eremeev, Anton. editor. (orcid) Khamisov, Oleg. editor. Mazalov, Vladimir. editor.
Yer Numarası 
XX(521398.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-35305-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Machine Learning and Mechanics Based Soft Computing Applications için kapak resmi
Machine Learning and Mechanics Based Soft Computing Applications
Yazar 
Nguyen, Thi Dieu Linh. editor. Lu, Joan. editor. SpringerLink (Online service)
Yer Numarası 
XX(520290.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-6450-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Smart Cities, Green Technologies, and Intelligent Transport Systems 11th International Conference, SMARTGREENS 2022, and 8th International Conference, VEHITS 2022, Virtual Event, April 27-29, 2022, Revised Selected Papers için kapak resmi
Smart Cities, Green Technologies, and Intelligent Transport Systems 11th International Conference, SMARTGREENS 2022, and 8th International Conference, VEHITS 2022, Virtual Event, April 27-29, 2022, Revised Selected Papers
Yazar 
Klein, Cornel. editor. Jarke, Matthias. editor. Ploeg, Jeroen. editor. Helfert, Markus. editor. Berns, Karsten. editor.
Yer Numarası 
XX(520497.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-37470-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Algorithmic Intelligence Towards an Algorithmic Foundation for Artificial Intelligence için kapak resmi
Algorithmic Intelligence Towards an Algorithmic Foundation for Artificial Intelligence
Yazar 
Edelkamp, Stefan. author. SpringerLink (Online service)
Yer Numarası 
XX(520422.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-65596-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Mathematical Optimization Theory and Operations Research: Recent Trends 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Revised Selected Papers için kapak resmi
Mathematical Optimization Theory and Operations Research: Recent Trends 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023, Revised Selected Papers
Yazar 
Khachay, Michael. editor. (orcid) Kochetov, Yury. editor. Eremeev, Anton. editor. (orcid) Khamisov, Oleg. editor. Mazalov, Vladimir. editor.
Yer Numarası 
XX(520629.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43257-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets