Arama Sonuçları System safety. - Daraltılmış: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSystem$002bsafety.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?2026-01-20T11:16:04ZImprovements in System Safetyent://SD_ILS/0/SD_ILS:1757112026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-100-8">http://dx.doi.org/10.1007/978-1-84800-100-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Adaptive Cooperation between Driver and Assistant System Improving Road Safetyent://SD_ILS/0/SD_ILS:1871712026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Holzmann, Frédéric. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74474-0">http://dx.doi.org/10.1007/978-3-540-74474-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005ent://SD_ILS/0/SD_ILS:1752572026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b139109">http://dx.doi.org/10.1007/b139109</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthdayent://SD_ILS/0/SD_ILS:5278042026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-28859-3">https://doi.org/10.1007/978-3-031-28859-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dependable Multicore Architectures at Nanoscaleent://SD_ILS/0/SD_ILS:4021902026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Ottavi, Marco. editor. Gizopoulos, Dimitris. editor. Pontarelli, Salvatore. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-54422-9">https://doi.org/10.1007/978-3-319-54422-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Foundations of Cyber-Physical Systemsent://SD_ILS/0/SD_ILS:3994992026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Platzer, André. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63588-0">https://doi.org/10.1007/978-3-319-63588-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Human Factors in Sports, Injury Prevention and Outdoor Recreation Proceedings of the AHFE 2017 International Conference on Human Factors in Sports, Injury Prevention and Outdoor Recreation, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:3995192026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Ahram, Tareq. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60822-8">https://doi.org/10.1007/978-3-319-60822-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ergonomics in Caring for People Proceedings of the International Conference on Humanizing Work and Work Environment 2015ent://SD_ILS/0/SD_ILS:4008092026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Ray, Gaur G. editor. Iqbal, Rauf. editor. Ganguli, Anindya K. editor. Khanzode, Vivek. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-4980-4">https://doi.org/10.1007/978-981-10-4980-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of Model Checkingent://SD_ILS/0/SD_ILS:4012932026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Physical Ergonomics and Human Factors Proceedings of the AHFE 2017 International Conference on Physical Ergonomics and Human Factors, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4018292026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Goonetilleke, Ravindra S. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60825-9">https://doi.org/10.1007/978-3-319-60825-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Human Error, Reliability, Resilience, and Performance Proceedings of the AHFE 2017 International Conference on Human Error, Reliability, Resilience, and Performance, July 17–21,2017, The Westin Bonaventure Hotel,Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4018302026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Boring, Ronald Laurids. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60645-3">https://doi.org/10.1007/978-3-319-60645-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Critical Infrastructures, Key Resources, Key Assets Risk, Vulnerability, Resilience, Fragility, and Perception Governanceent://SD_ILS/0/SD_ILS:4024622026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Gheorghe, Adrian V. author. Vamanu, Dan V. author. Katina, Polinpapilinho F. author. Pulfer, Roland. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-69224-1">https://doi.org/10.1007/978-3-319-69224-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Human Factors in Energy: Oil, Gas, Nuclear and Electric Power Industries Proceedings of the AHFE 2017 International Conference on Human Factors in Energy: Oil, Gas, Nuclear and Electric Power Industries, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4025582026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Fechtelkotter, Paul. editor. Legatt, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60204-2">https://doi.org/10.1007/978-3-319-60204-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Safety Management and Human Factors Proceedings of the AHFE 2017 International Conference on Safety Management and Human Factors, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4009882026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Arezes, Pedro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60525-8">https://doi.org/10.1007/978-3-319-60525-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Stochastic Reliability and Maintenance Modeling Essays in Honor of Professor Shunji Osaki on his 70th Birthdayent://SD_ILS/0/SD_ILS:3311092026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Dohi, Tadashi. editor. Nakagawa, Toshio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331109.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4971-2">http://dx.doi.org/10.1007/978-1-4471-4971-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From Fault Classification to Fault Tolerance for Multi-Agent Systemsent://SD_ILS/0/SD_ILS:3311272026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Potiron, Katia. author. El Fallah Seghrouchni, Amal. author. Taillibert, Patrick. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331127.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-5046-6">http://dx.doi.org/10.1007/978-1-4471-5046-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Product Quality Controlent://SD_ILS/0/SD_ILS:3346252026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Wagner, Stefan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334625.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38571-1">http://dx.doi.org/10.1007/978-3-642-38571-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mobile Schutzassistenz Grundlagen, Entwurfsmethodik, Gestaltanforderungenent://SD_ILS/0/SD_ILS:3377052026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Breckenfelder, Christof. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(337705.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-658-01128-4">http://dx.doi.org/10.1007/978-3-658-01128-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Secure Information Society Ethical, Legal and Political Challengesent://SD_ILS/0/SD_ILS:3310512026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Krüger, Jörg. editor. Nickolay, Bertram. editor. Gaycken, Sandro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331051.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4763-3">http://dx.doi.org/10.1007/978-1-4471-4763-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Risk Management Technologies With Logic and Probabilistic Modelsent://SD_ILS/0/SD_ILS:2066412026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Solozhentsev, E.D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-4288-8">http://dx.doi.org/10.1007/978-94-007-4288-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Interoperable Electronic Safety Equipment Performance Requirements for Compatible and Interoperable Electronic Equipment for Emergency First Respondersent://SD_ILS/0/SD_ILS:1744442026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Grant, Casey C. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-8277-2">http://dx.doi.org/10.1007/978-1-4614-8277-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Resilience Assessment and Evaluation of Computing Systemsent://SD_ILS/0/SD_ILS:1965922026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Wolter, Katinka. editor. Avritzer, Alberto. editor. Vieira, Marco. editor. van Moorsel, Aad. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29032-9">http://dx.doi.org/10.1007/978-3-642-29032-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dependability of Networked Computer-based Systemsent://SD_ILS/0/SD_ILS:1684882026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Verma, Ajit Kumar. author. Ajit, Srividya. author. Kumar, Manoj. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-85729-318-3">http://dx.doi.org/10.1007/978-0-85729-318-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model-Driven Risk Analysis The CORAS Approachent://SD_ILS/0/SD_ILS:1919582026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Lund, Mass Soldal. author. Solhaug, Bjørnar. author. Stølen, Ketil. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12323-8">http://dx.doi.org/10.1007/978-3-642-12323-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fault-Diagnosis Applications Model-Based Condition Monitoring: Actuators, Drives, Machinery, Plants, Sensors, and Fault-tolerant Systemsent://SD_ILS/0/SD_ILS:1921032026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Isermann, Rolf. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12767-0">http://dx.doi.org/10.1007/978-3-642-12767-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Human Error, Safety and Systems Development 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1917912026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Palanque, Philippe. editor. Vanderdonckt, Jean. editor. Winckler, Marco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11750-3">http://dx.doi.org/10.1007/978-3-642-11750-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Statistics for Innovation Statistical Design of “Continuous” Product Innovationent://SD_ILS/0/SD_ILS:2043052026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Erto, Pasquale. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-88-470-0815-1">http://dx.doi.org/10.1007/978-88-470-0815-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systemsent://SD_ILS/0/SD_ILS:1912792026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Ahuja, Ravindra K. editor. Möhring, Rolf H. editor. Zaroliagis, Christos D. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-05465-5">http://dx.doi.org/10.1007/978-3-642-05465-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Critical Information Infrastructure Security Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papersent://SD_ILS/0/SD_ILS:1906582026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Setola, Roberto. editor. Geretshuber, Stefan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03552-4">http://dx.doi.org/10.1007/978-3-642-03552-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Manufacturing Execution Systems — MESent://SD_ILS/0/SD_ILS:1852532026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Kletti, Jürgen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-49744-8">http://dx.doi.org/10.1007/978-3-540-49744-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reliability, Life Testing and the Prediction of Service Lives For Engineers and Scientistsent://SD_ILS/0/SD_ILS:1664112026-01-20T11:16:04Z2026-01-20T11:16:04ZYazar Saunders, Sam C. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-48538-6">http://dx.doi.org/10.1007/978-0-387-48538-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>