Search Results for Construction. - Narrowed by: Computer simulation.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dConstruction.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026ic$003dtrue$0026ps$003d300?dt=list2026-04-17T00:59:18ZDigital Fabrication in Architecture, Engineering and Constructionent://SD_ILS/0/SD_ILS:4871552026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Caneparo, Luca. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-94-007-7137-6">https://doi.org/10.1007/978-94-007-7137-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6083202026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90653-4">https://doi.org/10.1007/978-3-031-90653-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6082962026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90643-5">https://doi.org/10.1007/978-3-031-90643-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6082972026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90660-2">https://doi.org/10.1007/978-3-031-90660-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Ient://SD_ILS/0/SD_ILS:6031452026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57246-3">https://doi.org/10.1007/978-3-031-57246-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 IIent://SD_ILS/0/SD_ILS:6031512026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 IIIent://SD_ILS/0/SD_ILS:6031522026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4852822026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17502-3">https://doi.org/10.1007/978-3-030-17502-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Epistemic Complexity and Knowledge Construction Morphogenesis, symbolic dynamics and beyondent://SD_ILS/0/SD_ILS:3361362026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Carsetti, A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336136.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-6013-4">http://dx.doi.org/10.1007/978-94-007-6013-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Twin Adoption and BIM-GIS Implementationent://SD_ILS/0/SD_ILS:5920012026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Sepasgozar, Samad M. E., editor. Shirowzhan, Sara, editor.<br/>Preferred Shelf Number QA76.9 .C65<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003507000">https://www.taylorfrancis.com/books/9781003507000</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the 9th International Conference on Civil Engineering ICOCE 2025, 22-24 March, Singaporeent://SD_ILS/0/SD_ILS:6094752026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Strauss, Eric J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-8990-3">https://doi.org/10.1007/978-981-96-8990-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer models of process dynamics : from Newton to energy fieldsent://SD_ILS/0/SD_ILS:5978342026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Rubin, Olis, author.<br/>Preferred Shelf Number QC52 .R83 2023<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119885689">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119885689</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Twin Driven Intelligent Systems and Emerging Metaverseent://SD_ILS/0/SD_ILS:5277002026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Karaarslan, Enis. editor. Aydin, Ömer. editor. Cali, Ümit. editor. Challenger, Moharram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-0252-1">https://doi.org/10.1007/978-981-99-0252-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational modeling and simulation examples in bioengineeringent://SD_ILS/0/SD_ILS:5970942026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Filipovic, Nenad, 1970- editor.<br/>Preferred Shelf Number R856 .C66 2022<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119563983">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119563983</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Experimental and Numerical Study of Glass Façade Breakage Behavior under Fire Conditions Fire Safety Engineeringent://SD_ILS/0/SD_ILS:4834042026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Wang, Yu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-6484-6">https://doi.org/10.1007/978-981-13-6484-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Earthquake Disaster Simulation of Civil Infrastructures From Tall Buildings to Urban Areasent://SD_ILS/0/SD_ILS:6166612026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Lu, Xinzheng. author. Guan, Hong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3087-1">https://doi.org/10.1007/978-981-10-3087-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Social Simulation 2015ent://SD_ILS/0/SD_ILS:6169362026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Jager, Wander. editor. Verbrugge, Rineke. editor. Flache, Andreas. editor. de Roo, Gert. editor. Hoogduin, Lex. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47253-9">https://doi.org/10.1007/978-3-319-47253-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges 7th International Workshop, STACOM 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6181052026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Mansi, Tommaso. editor. McLeod, Kristin. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52718-5">https://doi.org/10.1007/978-3-319-52718-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Distributed Simulation with HLAent://SD_ILS/0/SD_ILS:6116892026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Topçu, Okan. author. Oğuztüzün, Halit. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61267-6">https://doi.org/10.1007/978-3-319-61267-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bankruptcy Prediction through Soft Computing based Deep Learning Techniqueent://SD_ILS/0/SD_ILS:6122512026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Chaudhuri, Arindam. author. Ghosh, Soumya K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6683-2">https://doi.org/10.1007/978-981-10-6683-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Graphical Simulation of Deformable Modelsent://SD_ILS/0/SD_ILS:6129232026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Cai, Jianping. author. Lin, Feng. author. Seah, Hock Soon. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51031-6">https://doi.org/10.1007/978-3-319-51031-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>High-Performance Computing for Structural Mechanics and Earthquake/Tsunami Engineeringent://SD_ILS/0/SD_ILS:6119022026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Yoshimura, Shinobu. editor. Hori, Muneo. editor. Ohsaki, Makoto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21048-3">https://doi.org/10.1007/978-3-319-21048-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges 6th International Workshop, STACOM 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6159832026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Camara, Oscar. editor. Mansi, Tommaso. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28712-6">https://doi.org/10.1007/978-3-319-28712-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lecturesent://SD_ILS/0/SD_ILS:6161342026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29628-9">https://doi.org/10.1007/978-3-319-29628-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Nondestructive Testing of Materials and Structuresent://SD_ILS/0/SD_ILS:3356982026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Büyüköztürk, Oral. author. Taşdemir, Mehmet Ali. author. Güneş, Oğuz. editor. Akkaya, Yılmaz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335698.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0723-8">http://dx.doi.org/10.1007/978-94-007-0723-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Techniques for Structural Health Monitoringent://SD_ILS/0/SD_ILS:1684782026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Gopalakrishnan, Srinivasan. author. Ruzzene, Massimo. author. Hanagud, Sathyanaraya. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-284-1">http://dx.doi.org/10.1007/978-0-85729-284-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Discrete-event modeling and simulation : a practitioner's approachent://SD_ILS/0/SD_ILS:5404832026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Wainer, Gabriel A., author.<br/>Preferred Shelf Number QA76.9 .C65 W35 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315219462">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Design and modeling for computer experimentsent://SD_ILS/0/SD_ILS:5450372026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Fang, Kaitai., author. Li, Run-ze. Sudjianto, Agus.<br/>Preferred Shelf Number QA76.9 .C65 F36 2006<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420034899">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Control of Traffic Systems in Buildingsent://SD_ILS/0/SD_ILS:1754232026-04-17T00:59:18Z2026-04-17T00:59:18ZAuthor Markon, Sandor. author. Kise, Hiroshi. author. Kita, Hajime. author. Bartz-Beielstein, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-449-X">http://dx.doi.org/10.1007/1-84628-449-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>