Search Results for Computers. - Narrowed by: Steffen, Bernhard. editor. - English - Springer E-Book Collection - Computer industry. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputers.$0026qf$003dAUTHOR$002509Yazar$002509Steffen$00252C$002bBernhard.$002beditor.$002509Steffen$00252C$002bBernhard.$002beditor.$0026qf$003dLANGUAGE$002509Dil$002509ENG$002509English$0026qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Computer$002bindustry.$002509Computer$002bindustry.$0026ps$003d300? 2024-09-06T20:03:27Z Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:221586 2024-09-06T20:03:27Z 2024-09-06T20:03:27Z Yazar&#160;Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03424-5">https://doi.org/10.1007/978-3-030-03424-5</a><br/>Format:&#160;Electronic Resources<br/> Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:221559 2024-09-06T20:03:27Z 2024-09-06T20:03:27Z Yazar&#160;Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03427-6">https://doi.org/10.1007/978-3-030-03427-6</a><br/>Format:&#160;Electronic Resources<br/> Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:221602 2024-09-06T20:03:27Z 2024-09-06T20:03:27Z Yazar&#160;Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03421-4">https://doi.org/10.1007/978-3-030-03421-4</a><br/>Format:&#160;Electronic Resources<br/> Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:221549 2024-09-06T20:03:27Z 2024-09-06T20:03:27Z Yazar&#160;Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03418-4">https://doi.org/10.1007/978-3-030-03418-4</a><br/>Format:&#160;Electronic Resources<br/>