Search Results for Concrete. - Narrowed by: 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dConcrete.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092023$0025092023$0026ps$003d300$0026isd$003dtrue?
2024-11-18T22:16:04Z
Concrete construction handbook
ent://SD_ILS/0/SD_ILS:56487
2024-11-18T22:16:04Z
2024-11-18T22:16:04Z
Author Dobrowolski, Joseph A., ed.<br/>Preferred Shelf Number TA 681 C745 1998<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
ent://SD_ILS/0/SD_ILS:520401
2024-11-18T22:16:04Z
2024-11-18T22:16:04Z
Author Schreiner, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520401.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-24934-1">https://doi.org/10.1007/978-3-031-24934-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Put some Concrete in your Breakfast: Tales from Contemporary Nursing Building Resilience, Empathy and Confidence within a Challenging Profession
ent://SD_ILS/0/SD_ILS:521572
2024-11-18T22:16:04Z
2024-11-18T22:16:04Z
Author Kabaila, Rasa. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521572.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-24393-6">https://doi.org/10.1007/978-3-031-24393-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Betonart : Beton, Mimarlık ve Tasarım.
ent://SD_ILS/0/SD_ILS:269477
2024-11-18T22:16:04Z
2024-11-18T22:16:04Z
Format: Continuing Resources Other<br/>Availability ~0<br/>
Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520200
2024-11-18T22:16:04Z
2024-11-18T22:16:04Z
Author Quan, Wei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520200.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-9697-9">https://doi.org/10.1007/978-981-19-9697-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520370
2024-11-18T22:16:04Z
2024-11-18T22:16:04Z
Author Fu, Weina. editor. Yun, Lin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520370.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28787-9">https://doi.org/10.1007/978-3-031-28787-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Smart Vehicles First International Conference, ICAISV 2023, Tehran, Iran, May 24-25, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520689
2024-11-18T22:16:04Z
2024-11-18T22:16:04Z
Author Ghatee, Mehdi. editor. Hashemi, S. Mehdi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520689.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43763-2">https://doi.org/10.1007/978-3-031-43763-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning for Cyber Security 4th International Conference, ML4CS 2022, Guangzhou, China, December 2-4, 2022, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521284
2024-11-18T22:16:04Z
2024-11-18T22:16:04Z
Author Xu, Yuan. editor. Yan, Hongyang. editor. Teng, Huang. editor. Cai, Jun. editor. Li, Jin. editor.<br/>Preferred Shelf Number XX(521284.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-20099-1">https://doi.org/10.1007/978-3-031-20099-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification of Data-Aware Processes via Satisfiability Modulo Theories
ent://SD_ILS/0/SD_ILS:520722
2024-11-18T22:16:04Z
2024-11-18T22:16:04Z
Author Gianola, Alessandro. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520722.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42746-6">https://doi.org/10.1007/978-3-031-42746-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520984
2024-11-18T22:16:04Z
2024-11-18T22:16:04Z
Author Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520984.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33170-1">https://doi.org/10.1007/978-3-031-33170-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Information Infrastructures Security 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520990
2024-11-18T22:16:04Z
2024-11-18T22:16:04Z
Author Hämmerli, Bernhard. editor. (orcid) Helmbrecht, Udo. editor. Hommel, Wolfgang. editor. Kunczik, Leonhard. editor. Pickl, Stefan. editor.<br/>Preferred Shelf Number XX(520990.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35190-7">https://doi.org/10.1007/978-3-031-35190-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VII
ent://SD_ILS/0/SD_ILS:521013
2024-11-18T22:16:04Z
2024-11-18T22:16:04Z
Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.<br/>Preferred Shelf Number XX(521013.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-37123-3">https://doi.org/10.1007/978-3-031-37123-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII
ent://SD_ILS/0/SD_ILS:521014
2024-11-18T22:16:04Z
2024-11-18T22:16:04Z
Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.<br/>Preferred Shelf Number XX(521014.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-37126-4">https://doi.org/10.1007/978-3-031-37126-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Cryptology - AFRICACRYPT 2023 14th International Conference on Cryptology in Africa, Sousse, Tunisia, July 19-21, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521092
2024-11-18T22:16:04Z
2024-11-18T22:16:04Z
Author El Mrabet, Nadia. editor. De Feo, Luca. editor. Duquesne, Sylvain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521092.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-37679-5">https://doi.org/10.1007/978-3-031-37679-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521244
2024-11-18T22:16:04Z
2024-11-18T22:16:04Z
Author Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521244.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45072-3">https://doi.org/10.1007/978-3-031-45072-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520549
2024-11-18T22:16:04Z
2024-11-18T22:16:04Z
Author Zhang, Haijun. editor. (orcid) Ke, Yinggen. editor. Wu, Zhou. editor. Hao, Tianyong. editor. Zhang, Zhao. editor.<br/>Preferred Shelf Number XX(520549.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5847-4">https://doi.org/10.1007/978-981-99-5847-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:520558
2024-11-18T22:16:04Z
2024-11-18T22:16:04Z
Author Noël, Frédéric. editor. Nyffenegger, Felix. editor. (orcid) Rivest, Louis. editor. Bouras, Abdelaziz. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520558.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-25182-5">https://doi.org/10.1007/978-3-031-25182-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Communication and Intelligent Systems First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520756
2024-11-18T22:16:04Z
2024-11-18T22:16:04Z
Author Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520756.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-25088-0">https://doi.org/10.1007/978-3-031-25088-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>