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$0026te$003dILS$0026ps$003d300?dt=list 2024-12-23T00:39:31Z Concrete construction handbook ent://SD_ILS/0/SD_ILS:56487 2024-12-23T00:39:31Z 2024-12-23T00:39:31Z Author&#160;Dobrowolski, Joseph A., ed.<br/>Preferred Shelf Number&#160;TA 681 C745 1998<br/>Format:&#160;Books<br/>Availability&#160;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-12-23T00:39:31Z 2024-12-23T00:39:31Z Author&#160;Schreiner, Wolfgang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520401.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-12-23T00:39:31Z 2024-12-23T00:39:31Z Author&#160;Kabaila, Rasa. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521572.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Betonart : Beton, Mimarl&#305;k ve Tasar&#305;m. ent://SD_ILS/0/SD_ILS:269477 2024-12-23T00:39:31Z 2024-12-23T00:39:31Z Format:&#160;Continuing Resources&#160;Other<br/>Availability&#160;~0<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-12-23T00:39:31Z 2024-12-23T00:39:31Z Author&#160;Fu, Weina. editor.&#160;Yun, Lin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520370.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-12-23T00:39:31Z 2024-12-23T00:39:31Z Author&#160;Shaw, Rabindra Nath. editor.&#160;Paprzycki, Marcin. editor.&#160;Ghosh, Ankush. editor. (orcid)&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520756.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-12-23T00:39:31Z 2024-12-23T00:39:31Z Author&#160;Rozier, Kristin Yvonne. editor.&#160;Chaudhuri, Swarat. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520984.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-12-23T00:39:31Z 2024-12-23T00:39:31Z Author&#160;Gervasi, Osvaldo. editor. (orcid)&#160;Murgante, Beniamino. editor. (orcid)&#160;Rocha, Ana Maria A. C. editor. (orcid)&#160;Garau, Chiara. editor. (orcid)&#160;Scorza, Francesco. editor.<br/>Preferred Shelf Number&#160;XX(521013.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-12-23T00:39:31Z 2024-12-23T00:39:31Z Author&#160;Gervasi, Osvaldo. editor. (orcid)&#160;Murgante, Beniamino. editor. (orcid)&#160;Rocha, Ana Maria A. C. editor. (orcid)&#160;Garau, Chiara. editor. (orcid)&#160;Scorza, Francesco. editor.<br/>Preferred Shelf Number&#160;XX(521014.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<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-12-23T00:39:31Z 2024-12-23T00:39:31Z Author&#160;Quan, Wei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520200.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-12-23T00:39:31Z 2024-12-23T00:39:31Z Author&#160;Zhang, Haijun. editor. (orcid)&#160;Ke, Yinggen. editor.&#160;Wu, Zhou. editor.&#160;Hao, Tianyong. editor.&#160;Zhang, Zhao. editor.<br/>Preferred Shelf Number&#160;XX(520549.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-12-23T00:39:31Z 2024-12-23T00:39:31Z Author&#160;No&euml;l, Fr&eacute;d&eacute;ric. editor.&#160;Nyffenegger, Felix. editor. (orcid)&#160;Rivest, Louis. editor.&#160;Bouras, Abdelaziz. editor. (orcid)&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520558.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-12-23T00:39:31Z 2024-12-23T00:39:31Z Author&#160;Ghatee, Mehdi. editor.&#160;Hashemi, S. Mehdi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520689.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification of Data-Aware Processes via Satisfiability Modulo Theories ent://SD_ILS/0/SD_ILS:520722 2024-12-23T00:39:31Z 2024-12-23T00:39:31Z Author&#160;Gianola, Alessandro. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520722.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-12-23T00:39:31Z 2024-12-23T00:39:31Z Author&#160;El Mrabet, Nadia. editor.&#160;De Feo, Luca. editor.&#160;Duquesne, Sylvain. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521092.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-12-23T00:39:31Z 2024-12-23T00:39:31Z Author&#160;H&auml;mmerli, Bernhard. editor. (orcid)&#160;Helmbrecht, Udo. editor.&#160;Hommel, Wolfgang. editor.&#160;Kunczik, Leonhard. editor.&#160;Pickl, Stefan. editor.<br/>Preferred Shelf Number&#160;XX(520990.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-12-23T00:39:31Z 2024-12-23T00:39:31Z Author&#160;Fensel, Anna. editor.&#160;Ozaki, Ana. editor.&#160;Roman, Dumitru. editor.&#160;Soylu, Ahmet. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521244.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-12-23T00:39:31Z 2024-12-23T00:39:31Z Author&#160;Xu, Yuan. editor.&#160;Yan, Hongyang. editor.&#160;Teng, Huang. editor.&#160;Cai, Jun. editor.&#160;Li, Jin. editor.<br/>Preferred Shelf Number&#160;XX(521284.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Betonarme ent://SD_ILS/0/SD_ILS:523636 2024-12-23T00:39:31Z 2024-12-23T00:39:31Z Author&#160;Ersoy, U&#287;ur.&#160;&Ouml;zcebe, G&uuml;ney.&#160;Canbay, Erdem.<br/>Preferred Shelf Number&#160;TA683.2 E77 2023 V.1<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>