Arama Sonuçları Construction. - Daraltılmış: Computer Modelling.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dConstruction.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bModelling.$002509Computer$002bModelling.$0026pe$003dd$00253A$0026ps$003d300?dt=list2026-03-26T19:44:45ZTools 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-26T19:44:45Z2026-03-26T19:44:45ZYazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-26T19:44:45Z2026-03-26T19:44:45ZYazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-26T19:44:45Z2026-03-26T19:44:45ZYazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-26T19:44:45Z2026-03-26T19:44:45ZYazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-26T19:44:45Z2026-03-26T19:44:45ZYazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-26T19:44:45Z2026-03-26T19:44:45ZYazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Digital Twin Driven Intelligent Systems and Emerging Metaverseent://SD_ILS/0/SD_ILS:5277002026-03-26T19:44:45Z2026-03-26T19:44:45ZYazar Karaarslan, Enis. editor. Aydin, Ömer. editor. Cali, Ümit. editor. Challenger, Moharram. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guide to Distributed Simulation with HLAent://SD_ILS/0/SD_ILS:6116892026-03-26T19:44:45Z2026-03-26T19:44:45ZYazar Topçu, Okan. author. Oğuztüzün, Halit. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Bankruptcy Prediction through Soft Computing based Deep Learning Techniqueent://SD_ILS/0/SD_ILS:6122512026-03-26T19:44:45Z2026-03-26T19:44:45ZYazar Chaudhuri, Arindam. author. Ghosh, Soumya K. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Earthquake Disaster Simulation of Civil Infrastructures From Tall Buildings to Urban Areasent://SD_ILS/0/SD_ILS:6166612026-03-26T19:44:45Z2026-03-26T19:44:45ZYazar Lu, Xinzheng. author. Guan, Hong. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Social Simulation 2015ent://SD_ILS/0/SD_ILS:6169362026-03-26T19:44:45Z2026-03-26T19:44:45ZYazar Jager, Wander. editor. Verbrugge, Rineke. editor. Flache, Andreas. editor. de Roo, Gert. editor. Hoogduin, Lex. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-26T19:44:45Z2026-03-26T19:44:45ZYazar Mansi, Tommaso. editor. McLeod, Kristin. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-26T19:44:45Z2026-03-26T19:44:45ZYazar Camara, Oscar. editor. Mansi, Tommaso. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-26T19:44:45Z2026-03-26T19:44:45ZYazar Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>High-Performance Computing for Structural Mechanics and Earthquake/Tsunami Engineeringent://SD_ILS/0/SD_ILS:6119022026-03-26T19:44:45Z2026-03-26T19:44:45ZYazar Yoshimura, Shinobu. editor. Hori, Muneo. editor. Ohsaki, Makoto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Graphical Simulation of Deformable Modelsent://SD_ILS/0/SD_ILS:6129232026-03-26T19:44:45Z2026-03-26T19:44:45ZYazar Cai, Jianping. author. Lin, Feng. author. Seah, Hock Soon. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>