Arama Sonu&ccedil;lar&#305; Concrete -- Analysis. - Daralt&#305;lm&#305;&#351;: Computer Modelling. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dConcrete$002b--$002bAnalysis.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bModelling.$002509Computer$002bModelling.$0026ps$003d300?dt=list 2026-03-21T06:13:12Z Earthquake Disaster Simulation of Civil Infrastructures From Tall Buildings to Urban Areas ent://SD_ILS/0/SD_ILS:616661 2026-03-21T06:13:12Z 2026-03-21T06:13:12Z Yazar&#160;Lu, Xinzheng. author.&#160;Guan, Hong. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:612618 2026-03-21T06:13:12Z 2026-03-21T06:13:12Z Yazar&#160;Majumdar, Rupak. editor.&#160;Kun&#269;ak, Viktor. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-63387-9">https://doi.org/10.1007/978-3-319-63387-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Managing the Complexity of Critical Infrastructures A Modelling and Simulation Approach ent://SD_ILS/0/SD_ILS:618185 2026-03-21T06:13:12Z 2026-03-21T06:13:12Z Yazar&#160;Setola, Roberto. editor.&#160;Rosato, Vittorio. editor.&#160;Kyriakides, Elias. editor.&#160;Rome, Erich. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-51043-9">https://doi.org/10.1007/978-3-319-51043-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Behavioural Models From Modelling Finite Automata to Analysing Business Processes ent://SD_ILS/0/SD_ILS:614579 2026-03-21T06:13:12Z 2026-03-21T06:13:12Z Yazar&#160;Kunze, Matthias. author.&#160;Weske, Mathias. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-44960-9">https://doi.org/10.1007/978-3-319-44960-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>