Search Results for - Narrowed by: Springer E-Book Collection - Computer science. - System safety.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Konu$002509System$002bsafety.$002509System$002bsafety.$0026ps$003d300$0026isd$003dtrue?2024-05-20T19:24:06ZHandbook of Model Checkingent://SD_ILS/0/SD_ILS:2242052024-05-20T19:24:06Z2024-05-20T19:24:06ZYazar Clarke, Edmund M. editor.<br/><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: Electronic Resources<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:2235532024-05-20T19:24:06Z2024-05-20T19:24:06ZYazar Arezes, Pedro. editor.<br/><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: Electronic Resources<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:2252822024-05-20T19:24:06Z2024-05-20T19:24:06ZYazar Boring, Ronald Laurids. editor.<br/><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: Electronic Resources<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:2252902024-05-20T19:24:06Z2024-05-20T19:24:06ZYazar Goonetilleke, Ravindra S. editor.<br/><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: Electronic Resources<br/>Critical Infrastructures, Key Resources, Key Assets Risk, Vulnerability, Resilience, Fragility, and Perception Governanceent://SD_ILS/0/SD_ILS:2264062024-05-20T19:24:06Z2024-05-20T19:24:06ZYazar Gheorghe, Adrian V. author.<br/><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: Electronic Resources<br/>Logical Foundations of Cyber-Physical Systemsent://SD_ILS/0/SD_ILS:2217412024-05-20T19:24:06Z2024-05-20T19:24:06ZYazar Platzer, André. author.<br/><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: Electronic Resources<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:2212062024-05-20T19:24:06Z2024-05-20T19:24:06ZYazar Ahram, Tareq. editor.<br/><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: Electronic Resources<br/>Ergonomics in Caring for People Proceedings of the International Conference on Humanizing Work and Work Environment 2015ent://SD_ILS/0/SD_ILS:2232222024-05-20T19:24:06Z2024-05-20T19:24:06ZYazar Ray, Gaur G. editor.<br/><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: Electronic Resources<br/>Dependable Multicore Architectures at Nanoscaleent://SD_ILS/0/SD_ILS:2259892024-05-20T19:24:06Z2024-05-20T19:24:06ZYazar Ottavi, Marco. editor.<br/><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: Electronic Resources<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:2265462024-05-20T19:24:06Z2024-05-20T19:24:06ZYazar Fechtelkotter, Paul. editor.<br/><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: Electronic Resources<br/>An Integrated Solution Based Irregular Driving Detectionent://SD_ILS/0/SD_ILS:2253182024-05-20T19:24:06Z2024-05-20T19:24:06ZYazar Sun, Rui. author.<br/><a href="https://doi.org/10.1007/978-3-319-44926-5">https://doi.org/10.1007/978-3-319-44926-5</a><br/>Format: Electronic Resources<br/>Cryptography Made Simpleent://SD_ILS/0/SD_ILS:167412024-05-20T19:24:06Z2024-05-20T19:24:06ZYazar Smart, Nigel P. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21936-3">http://dx.doi.org/10.1007/978-3-319-21936-3</a><br/>Format: Electronic Resources<br/>Computational Personality Analysis Introduction, Practical Applications and Novel Directionsent://SD_ILS/0/SD_ILS:182102024-05-20T19:24:06Z2024-05-20T19:24:06ZYazar Neuman, Yair. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42460-6">http://dx.doi.org/10.1007/978-3-319-42460-6</a><br/>Format: Electronic Resources<br/>Cryptology Transmitted Message Protection From Deterministic Chaos up to Optical Vorticesent://SD_ILS/0/SD_ILS:174512024-05-20T19:24:06Z2024-05-20T19:24:06ZYazar Izmailov, Igor. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30125-9">http://dx.doi.org/10.1007/978-3-319-30125-9</a><br/>Format: Electronic Resources<br/>Cyber Security: Analytics, Technology and Automationent://SD_ILS/0/SD_ILS:228072024-05-20T19:24:06Z2024-05-20T19:24:06ZYazar Lehto, Martti. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-18302-2">http://dx.doi.org/10.1007/978-3-319-18302-2</a><br/>Format: Electronic Resources<br/>The Global Cyber-Vulnerability Reportent://SD_ILS/0/SD_ILS:234802024-05-20T19:24:06Z2024-05-20T19:24:06ZYazar Subrahmanian, V.S. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25760-0">http://dx.doi.org/10.1007/978-3-319-25760-0</a><br/>Format: Electronic Resources<br/>Encyclopedia of Social Network Analysis and Miningent://SD_ILS/0/SD_ILS:196282024-05-20T19:24:06Z2024-05-20T19:24:06ZYazar Alhajj, Reda. editor.<br/><a href="http://dx.doi.org/10.1007/978-1-4614-6170-8">http://dx.doi.org/10.1007/978-1-4614-6170-8</a><br/>Format: Electronic Resources<br/>Homomorphic Encryption and Applicationsent://SD_ILS/0/SD_ILS:218672024-05-20T19:24:06Z2024-05-20T19:24:06ZYazar Yi, Xun. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12229-8">http://dx.doi.org/10.1007/978-3-319-12229-8</a><br/>Format: Electronic Resources<br/>Trusted Computing Platforms TPM2.0 in Contextent://SD_ILS/0/SD_ILS:212292024-05-20T19:24:06Z2024-05-20T19:24:06ZYazar Proudler, Graeme. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08744-3">http://dx.doi.org/10.1007/978-3-319-08744-3</a><br/>Format: Electronic Resources<br/>The Hash Function BLAKEent://SD_ILS/0/SD_ILS:245522024-05-20T19:24:06Z2024-05-20T19:24:06ZYazar Aumasson, Jean-Philippe. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44757-4">http://dx.doi.org/10.1007/978-3-662-44757-4</a><br/>Format: Electronic Resources<br/>