Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(65)
Shi, Yuhui. editor.
(4)
Tan, Ying. editor. (orcid)0000-0001-8243-4731
(4)
Finkbeiner, Bernd. editor.
(3)
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792
(3)
Dil
Yayın Yılı
-
Konu
Computer simulation.
(65)
Control engineering.
(17)
Artificial intelligence.
(16)
Computer Communication Networks.
(13)
Computer networks .
(13)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
65 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Yazar 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-57246-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Yazar 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-57249-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III
Yazar 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-57256-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Simulation on Hydration of Tricalcium Silicate in Cement Clinker için kapak resmi
Simulation on Hydration of Tricalcium Silicate in Cement Clinker
Yazar 
Shen, Dejian. author. Wang, Xin. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-4598-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Modeling, Simulation and Optimization Proceedings of CoMSO 2022 için kapak resmi
Modeling, Simulation and Optimization Proceedings of CoMSO 2022
Yazar 
Das, Biplab. editor. (orcid)0000-0003-3752-6308 Patgiri, Ripon. editor. (orcid)0000-0002-9899-9152 Bandyopadhyay, Sivaji. editor. (orcid)0000-0003-2607-1774 Balas, Valentina Emilia. editor. Roy, Sukanta. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-6866-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Innovative Product Development by Additive Manufacturing 2022 için kapak resmi
Innovative Product Development by Additive Manufacturing 2022
Yazar 
Lachmayer, Roland. editor. (orcid)0000-0002-3181-6323 Bode, Behrend. editor. (orcid)0000-0002-3718-9420 Kaierle, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-27261-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Application of Gray System Theory in Fishery Science için kapak resmi
Application of Gray System Theory in Fishery Science
Yazar 
Chen, Xinjun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-0635-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Advances in Modeling and Simulation Seminal Research from 50 Years of Winter Simulation Conferences için kapak resmi
Advances in Modeling and Simulation Seminal Research from 50 Years of Winter Simulation Conferences
Yazar 
Tolk, Andreas. editor. Fowler, John. editor. Shao, Guodong. editor. Yücesan, Enver. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-64182-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Bio-inspired Computing: Theories and Applications 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017, Proceedings için kapak resmi
Bio-inspired Computing: Theories and Applications 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017, Proceedings
Yazar 
He, Cheng. editor. Mo, Hongwei. editor. Pan, Linqiang. editor. Zhao, Yuxin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-7179-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part II için kapak resmi
Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part II
Yazar 
Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61833-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Critical Infrastructure Protection XI 11th IFIP WG 11.10 International Conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017, Revised Selected Papers için kapak resmi
Critical Infrastructure Protection XI 11th IFIP WG 11.10 International Conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017, Revised Selected Papers
Yazar 
Rice, Mason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-70395-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications için kapak resmi
Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications
Yazar 
Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-55417-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets