Search Results for - Narrowed by: Meyer, Bertrand. editor. - Springer Collection - Operating systems (Computers). SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dAUTHOR$002509Author$002509Meyer$00252C$002bBertrand.$002beditor.$002509Meyer$00252C$002bBertrand.$002beditor.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AONLINESPR$002509Springer$002bCollection$0026qf$003dSUBJECT$002509Subject$002509Operating$002bsystems$002b$002528Computers$002529.$002509Operating$002bsystems$002b$002528Computers$002529.$0026ps$003d300? 2024-06-25T22:09:14Z Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions ent://SD_ILS/0/SD_ILS:502714 2024-06-25T22:09:14Z 2024-06-25T22:09:14Z by&#160;Meyer, Bertrand. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69149-5">http://dx.doi.org/10.1007/978-3-540-69149-5</a><br/>Format:&#160;Electronic Resources<br/> Dependable Systems: Software, Computing, Networks Research Results of the DICS Program ent://SD_ILS/0/SD_ILS:511425 2024-06-25T22:09:14Z 2024-06-25T22:09:14Z by&#160;Kohlas, J&uuml;rg. editor.<br/><a href="http://dx.doi.org/10.1007/11808107">http://dx.doi.org/10.1007/11808107</a><br/>Format:&#160;Electronic Resources<br/>