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?dt=list2026-03-25T17:47:48ZDigital Fabrication in Architecture, Engineering and Constructionent://SD_ILS/0/SD_ILS:4871552026-03-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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-25T17:47:48Z2026-03-25T17:47:48ZAuthor 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/>