Search Results for - Narrowed by: Computer simulation. - Steffen, Bernhard. editor. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026qf$003dAUTHOR$002509Author$002509Steffen$00252C$002bBernhard.$002beditor.$002509Steffen$00252C$002bBernhard.$002beditor.$0026ps$003d300? 2024-05-26T16:43:36Z Transactions on Foundations for Mastering Change I ent://SD_ILS/0/SD_ILS:2086117 2024-05-26T16:43:36Z 2024-05-26T16:43:36Z by&#160;Steffen, Bernhard. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46508-1">https://doi.org/10.1007/978-3-319-46508-1</a><br/>Format:&#160;Electronic Resources<br/> Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings ent://SD_ILS/0/SD_ILS:503759 2024-05-26T16:43:36Z 2024-05-26T16:43:36Z by&#160;Margaria, Tiziana. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88479-8">http://dx.doi.org/10.1007/978-3-540-88479-8</a><br/>Format:&#160;Electronic Resources<br/>