Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(64)
Dragan, Vasile. author.
(3)
Morozan, Toader. author.
(3)
Pardalos, Panos. editor.
(3)
Stoica, Adrian-Mihail. author.
(3)
Dil
Yayın Yılı
-
Konu
Distribution (Probability theory).
(15)
Mathematics.
(13)
Systems theory.
(13)
Engineering.
(10)
Stochastic systems.
(9)
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ç
105 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
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:
50. 
Decision and Game Theory for Security 13th International Conference, GameSec 2022, Pittsburgh, PA, USA, October 26-28, 2022, Proceedings için kapak resmi
Decision and Game Theory for Security 13th International Conference, GameSec 2022, Pittsburgh, PA, USA, October 26-28, 2022, Proceedings
Yazar 
Fang, Fei. editor. Xu, Haifeng. editor. Hayel, Yezekael. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(520809.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26369-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
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:
52. 
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:
53. 
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:
54. 
Distributed Optimization in Networked Systems Algorithms and Applications için kapak resmi
Distributed Optimization in Networked Systems Algorithms and Applications
Yazar 
Lü, Qingguo. author. Liao, Xiaofeng. author. Li, Huaqing. author. Deng, Shaojiang. author. Gao, Shanfu. author.
Yer Numarası 
XX(520208.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-8559-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Mathematics for Computer Scientists A Practice-Oriented Approach için kapak resmi
Mathematics for Computer Scientists A Practice-Oriented Approach
Yazar 
Hartmann, Peter. author. SpringerLink (Online service)
Yer Numarası 
XX(520344.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-40423-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Performance Evaluation Methodologies and Tools 15th EAI International Conference, VALUETOOLS 2022, Virtual Event, November 2022, Proceedings için kapak resmi
Performance Evaluation Methodologies and Tools 15th EAI International Conference, VALUETOOLS 2022, Virtual Event, November 2022, Proceedings
Yazar 
Hyytiä, Esa. editor. Kavitha, Veeraruna. editor. SpringerLink (Online service)
Yer Numarası 
XX(520408.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-31234-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part II için kapak resmi
International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part II
Yazar 
Zhang, Haijun. editor. (orcid) Ke, Yinggen. editor. Wu, Zhou. editor. Hao, Tianyong. editor. Zhang, Zhao. editor.
Yer Numarası 
XX(520549.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-5847-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
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 I 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 I
Yazar 
Alfnes, Erlend. editor. Romsdal, Anita. editor. Strandhagen, Jan Ola. editor. von Cieminski, Gregor. editor. Romero, David. editor.
Yer Numarası 
XX(520610.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43662-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
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:
60. 
Handbook of Dynamic Data Driven Applications Systems Volume 2 için kapak resmi
Handbook of Dynamic Data Driven Applications Systems Volume 2
Yazar 
Darema, Frederica. editor. Blasch, Erik P. editor. Ravela, Sai. editor. Aved, Alex J. editor. SpringerLink (Online service)
Yer Numarası 
XX(520614.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-27986-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç