Arama Sonuçları Critical - Daraltılmış: Computer simulation.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dCritical$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026ps$003d300?dt=list
2026-03-20T18:38:29Z
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484028
2026-03-20T18:38:29Z
2026-03-20T18:38:29Z
Yazar Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400230
2026-03-20T18:38:29Z
2026-03-20T18:38:29Z
Yazar Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615166
2026-03-20T18:38:29Z
2026-03-20T18:38:29Z
Yazar Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-53946-1">https://doi.org/10.1007/978-3-319-53946-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Critical Infrastructure Protection XI 11th IFIP WG 11.10 International Conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617656
2026-03-20T18:38:29Z
2026-03-20T18:38:29Z
Yazar Rice, Mason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70395-4">https://doi.org/10.1007/978-3-319-70395-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Managing the Complexity of Critical Infrastructures A Modelling and Simulation Approach
ent://SD_ILS/0/SD_ILS:618185
2026-03-20T18:38:29Z
2026-03-20T18:38:29Z
Yazar Setola, Roberto. editor. Rosato, Vittorio. editor. Kyriakides, Elias. editor. Rome, Erich. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617935
2026-03-20T18:38:29Z
2026-03-20T18:38:29Z
Yazar Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29510-7">https://doi.org/10.1007/978-3-319-29510-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Critical Infrastructure Protection X 10th IFIP WG 11.10 International Conference, ICCIP 2016, Arlington, VA, USA, March 14-16, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617621
2026-03-20T18:38:29Z
2026-03-20T18:38:29Z
Yazar Rice, Mason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-48737-3">https://doi.org/10.1007/978-3-319-48737-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Using Event-B for Critical Device Software Systems
ent://SD_ILS/0/SD_ILS:331181
2026-03-20T18:38:29Z
2026-03-20T18:38:29Z
Yazar Singh, Neeraj Kumar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331181.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Critical Infrastructure Protection VI 6th IFIP WG 11.10 International Conference, ICCIP 2012, Washington, DC, USA, March 19-21, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197638
2026-03-20T18:38:29Z
2026-03-20T18:38:29Z
Yazar Butts, Jonathan. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35764-0">http://dx.doi.org/10.1007/978-3-642-35764-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Empirical Software Engineering Issues. Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers
ent://SD_ILS/0/SD_ILS:186242
2026-03-20T18:38:29Z
2026-03-20T18:38:29Z
Yazar Basili, Victor R. editor. Rombach, Dieter. editor. Schneider, Kurt. editor. Kitchenham, Barbara. editor. Pfahl, Dietmar. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71301-2">http://dx.doi.org/10.1007/978-3-540-71301-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applications of Machine Learning in Hydroclimatology
ent://SD_ILS/0/SD_ILS:605893
2026-03-20T18:38:29Z
2026-03-20T18:38:29Z
Yazar Srivastav, Roshan. author. (orcid)0000-0002-8175-8969 Nayak, Purna C. author. (orcid)0000-0002-0711-5295 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-64403-0">https://doi.org/10.1007/978-3-031-64403-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Control Systems Benchmarks
ent://SD_ILS/0/SD_ILS:608684
2026-03-20T18:38:29Z
2026-03-20T18:38:29Z
Yazar Maestre, José M. editor. (orcid)0000-0002-4968-6811 Ocampo-Martinez, Carlos. editor. (orcid)0000-0001-9251-6044 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-76312-0">https://doi.org/10.1007/978-3-031-76312-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608842
2026-03-20T18:38:29Z
2026-03-20T18:38:29Z
Yazar Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-93706-4">https://doi.org/10.1007/978-3-031-93706-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Structural Decision Diagrams in Digital Test Theory and Applications
ent://SD_ILS/0/SD_ILS:602442
2026-03-20T18:38:29Z
2026-03-20T18:38:29Z
Yazar Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-44734-1">https://doi.org/10.1007/978-3-031-44734-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603672
2026-03-20T18:38:29Z
2026-03-20T18:38:29Z
Yazar Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-60698-4">https://doi.org/10.1007/978-3-031-60698-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fire Safety of Historical Buildings Traditional Versus Innovative "Behavioural Design" Solutions by Using Wayfinding Systems
ent://SD_ILS/0/SD_ILS:613395
2026-03-20T18:38:29Z
2026-03-20T18:38:29Z
Yazar Bernardini, Gabriele. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-55744-1">https://doi.org/10.1007/978-3-319-55744-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Measuring, Modeling and Simulating the Re-adaptation Process of the Human Visual System after Short-Time Glares in Traffic Scenarios
ent://SD_ILS/0/SD_ILS:618470
2026-03-20T18:38:29Z
2026-03-20T18:38:29Z
Yazar Meyer, Benjamin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-14704-4">https://doi.org/10.1007/978-3-658-14704-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Natural Disasters, When Will They Reach Me?
ent://SD_ILS/0/SD_ILS:612175
2026-03-20T18:38:29Z
2026-03-20T18:38:29Z
Yazar Wijesundera, Isuri. author. Halgamuge, Malka N. author. (orcid)0000-0001-9994-3778 Nanayakkara, Thrishantha. author. Nirmalathas, Thas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-1113-9">https://doi.org/10.1007/978-981-10-1113-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>