Arama Sonuçları Concrete. - Daraltılmış: 2023

Concrete construction handbook

2024-10-12T19:27:33Z

Yazar Dobrowolski, Joseph A., ed.
Yer Numarası TA 681 C745 1998
Format: Kitap
Durum Beytepe Kütüphanesi~1

Put some Concrete in your Breakfast: Tales from Contemporary Nursing Building Resilience, Empathy and Confidence within a Challenging Profession

2024-10-12T19:27:33Z

Yazar Kabaila, Rasa. author. SpringerLink (Online service)
Yer Numarası XX(521572.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-24393-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

2024-10-12T19:27:33Z

Yazar Schreiner, Wolfgang. author. SpringerLink (Online service)
Yer Numarası XX(520401.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-24934-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Betonart : Beton, Mimarlık ve Tasarım.

2024-10-12T19:27:33Z

Format: Devam Eden Süreli Yayınlar Diğer
Durum ~0

Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings

2024-10-12T19:27:33Z

Yazar Quan, Wei. editor. SpringerLink (Online service)
Yer Numarası XX(520200.1)
Elektronik Erişim https://doi.org/10.1007/978-981-19-9697-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I

2024-10-12T19:27:33Z

Yazar Fu, Weina. editor. Yun, Lin. editor. SpringerLink (Online service)
Yer Numarası XX(520370.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-28787-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part II

2024-10-12T19:27:33Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers

2024-10-12T19:27:33Z

Yazar Noël, Frédéric. editor. Nyffenegger, Felix. editor. (orcid) Rivest, Louis. editor. Bouras, Abdelaziz. editor. (orcid) SpringerLink (Online service)
Yer Numarası XX(520558.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-25182-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Communication and Intelligent Systems First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers

2024-10-12T19:27:33Z

Yazar Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. (orcid) SpringerLink (Online service)
Yer Numarası XX(520756.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-25088-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings

2024-10-12T19:27:33Z

Yazar Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)
Yer Numarası XX(521244.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-45072-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning for Cyber Security 4th International Conference, ML4CS 2022, Guangzhou, China, December 2-4, 2022, Proceedings, Part II

2024-10-12T19:27:33Z

Yazar Xu, Yuan. editor. Yan, Hongyang. editor. Teng, Huang. editor. Cai, Jun. editor. Li, Jin. editor.
Yer Numarası XX(521284.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-20099-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Smart Vehicles First International Conference, ICAISV 2023, Tehran, Iran, May 24-25, 2023, Revised Selected Papers

2024-10-12T19:27:33Z

Yazar Ghatee, Mehdi. editor. Hashemi, S. Mehdi. editor. SpringerLink (Online service)
Yer Numarası XX(520689.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-43763-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification of Data-Aware Processes via Satisfiability Modulo Theories

2024-10-12T19:27:33Z

Yazar Gianola, Alessandro. author. SpringerLink (Online service)
Yer Numarası XX(520722.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-42746-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Progress in Cryptology - AFRICACRYPT 2023 14th International Conference on Cryptology in Africa, Sousse, Tunisia, July 19-21, 2023, Proceedings

2024-10-12T19:27:33Z

Yazar El Mrabet, Nadia. editor. De Feo, Luca. editor. Duquesne, Sylvain. editor. SpringerLink (Online service)
Yer Numarası XX(521092.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-37679-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

2024-10-12T19:27:33Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Critical Information Infrastructures Security 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers

2024-10-12T19:27:33Z

Yazar Hämmerli, Bernhard. editor. (orcid) Helmbrecht, Udo. editor. Hommel, Wolfgang. editor. Kunczik, Leonhard. editor. Pickl, Stefan. editor.
Yer Numarası XX(520990.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-35190-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VII

2024-10-12T19:27:33Z

Yazar Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Yer Numarası XX(521013.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-37123-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII

2024-10-12T19:27:33Z

Yazar Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Yer Numarası XX(521014.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-37126-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1