Search Results for Construction. - Narrowed by: Computer simulation.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dConstruction.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026pe$003dd$00253A$0026ps$003d300$0026isd$003dtrue?dt=list2026-03-25T20:15:55ZDigital Fabrication in Architecture, Engineering and Constructionent://SD_ILS/0/SD_ILS:4871552026-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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 Ient://SD_ILS/0/SD_ILS:6082962026-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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 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-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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 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-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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/>Proceedings of the 9th International Conference on Civil Engineering ICOCE 2025, 22-24 March, Singaporeent://SD_ILS/0/SD_ILS:6094752026-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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/>Digital Twin Adoption and BIM-GIS Implementationent://SD_ILS/0/SD_ILS:5920012026-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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/>Computer models of process dynamics : from Newton to energy fieldsent://SD_ILS/0/SD_ILS:5978342026-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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/>Guide to Distributed Simulation with HLAent://SD_ILS/0/SD_ILS:6116892026-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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/>Advances in Social Simulation 2015ent://SD_ILS/0/SD_ILS:6169362026-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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/>Bankruptcy Prediction through Soft Computing based Deep Learning Techniqueent://SD_ILS/0/SD_ILS:6122512026-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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/>Earthquake Disaster Simulation of Civil Infrastructures From Tall Buildings to Urban Areasent://SD_ILS/0/SD_ILS:6166612026-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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/>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-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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/>High-Performance Computing for Structural Mechanics and Earthquake/Tsunami Engineeringent://SD_ILS/0/SD_ILS:6119022026-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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/>Graphical Simulation of Deformable Modelsent://SD_ILS/0/SD_ILS:6129232026-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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/>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-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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/>Control of Traffic Systems in Buildingsent://SD_ILS/0/SD_ILS:1754232026-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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/>Design and modeling for computer experimentsent://SD_ILS/0/SD_ILS:5450372026-03-25T20:15:55Z2026-03-25T20:15:55ZAuthor 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/>