Search Results for Operating systems (Computers). - Narrowed by: Meyer, Bertrand. editor. - English - Online Library SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dOperating$002bsystems$002b$002528Computers$002529.$0026qf$003dAUTHOR$002509Author$002509Meyer$00252C$002bBertrand.$002beditor.$002509Meyer$00252C$002bBertrand.$002beditor.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-08-22T11:56:06Z 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:185723 2024-08-22T11:56:06Z 2024-08-22T11:56:06Z Author&#160;Meyer, Bertrand. editor.&#160;Woodcock, Jim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<br/> Dependable Systems: Software, Computing, Networks Research Results of the DICS Program ent://SD_ILS/0/SD_ILS:184443 2024-08-22T11:56:06Z 2024-08-22T11:56:06Z Author&#160;Kohlas, J&uuml;rg. editor.&#160;Meyer, Bertrand. editor.&#160;Schiper, Andr&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11808107">http://dx.doi.org/10.1007/11808107</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>