Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
8 sonuç bulundu Arama sonuçlarına abone ol
00000000DEFAULT_TR
Yazdır
1. 
Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part IV için kapak resmi
Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part IV
Yazar 
Alfnes, Erlend. editor. Romsdal, Anita. editor. Strandhagen, Jan Ola. editor. von Cieminski, Gregor. editor. Romero, David. editor.
Yer Numarası 
XX(520613.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43688-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings için kapak resmi
Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Yazar 
Dragoi, Cezara. editor. Emmi, Michael. editor. Wang, Jingbo. editor. SpringerLink (Online service)
Yer Numarası 
XX(520797.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-24950-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
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:
4. 
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:
5. 
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:
6. 
Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings için kapak resmi
Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings
Yazar 
Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)
Yer Numarası 
XX(520949.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33620-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Euro-Par 2022: Parallel Processing Workshops Euro-Par 2022 International Workshops, Glasgow, UK, August 22-26, 2022, Revised Selected Papers için kapak resmi
Euro-Par 2022: Parallel Processing Workshops Euro-Par 2022 International Workshops, Glasgow, UK, August 22-26, 2022, Revised Selected Papers
Yazar 
Singer, Jeremy. editor. Elkhatib, Yehia. editor. Blanco Heras, Dora. editor. Diehl, Patrick. editor. (orcid) Brown, Nick. editor.
Yer Numarası 
XX(521293.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-31209-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers için kapak resmi
Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers
Yazar 
Olenev, Nicholas. editor. (orcid) Evtushenko, Yuri. editor. Jaćimović, Milojica. editor. Khachay, Michael. editor. (orcid) Malkova, Vlasta. editor.
Yer Numarası 
XX(521325.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47859-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: