Search Results for Butler, Michael. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dButler$00252C$002bMichael.$0026te$003dILS$0026ps$003d300?dt=list 2024-12-23T04:01:36Z Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5&ndash;8, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399958 2024-12-23T04:01:36Z 2024-12-23T04:01:36Z Author&#160;Butler, Michael. editor.&#160;Raschke, Alexander. editor.&#160;Hoang, Thai Son. editor.&#160;Reichl, Klaus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91271-4">https://doi.org/10.1007/978-3-319-91271-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518970 2024-12-23T04:01:36Z 2024-12-23T04:01:36Z Author&#160;Butler, Michael. editor.&#160;Conchon, Sylvain. editor.&#160;Za&iuml;di, Fatiha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518970.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-25423-4">https://doi.org/10.1007/978-3-319-25423-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194701 2024-12-23T04:01:36Z 2024-12-23T04:01:36Z Author&#160;Butler, Michael. editor.&#160;Schulte, Wolfram. 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-642-21437-0">http://dx.doi.org/10.1007/978-3-642-21437-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Methods, Models and Tools for Fault Tolerance ent://SD_ILS/0/SD_ILS:189817 2024-12-23T04:01:36Z 2024-12-23T04:01:36Z Author&#160;Butler, Michael. editor.&#160;Jones, Cliff. editor.&#160;Romanovsky, Alexander. editor.&#160;Troubitsyna, Elena. 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-642-00867-2">http://dx.doi.org/10.1007/978-3-642-00867-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187645 2024-12-23T04:01:36Z 2024-12-23T04:01:36Z Author&#160;Butler, Michael. editor.&#160;Hinchey, Michael G. editor.&#160;Larrondo-Petrie, Mar&iacute;a M. 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-76650-6">http://dx.doi.org/10.1007/978-3-540-76650-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rigorous Development of Complex Fault-Tolerant Systems ent://SD_ILS/0/SD_ILS:185062 2024-12-23T04:01:36Z 2024-12-23T04:01:36Z Author&#160;Butler, Michael. editor.&#160;Jones, Cliff B. editor.&#160;Romanovsky, Alexander. editor.&#160;Troubitsyna, Elena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11916246">http://dx.doi.org/10.1007/11916246</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> International conflict management ent://SD_ILS/0/SD_ILS:266956 2024-12-23T04:01:36Z 2024-12-23T04:01:36Z Author&#160;Butler, Michael J., 1972-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.tandfebooks.com/isbn/9780203879153">Click here to view</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hair ent://SD_ILS/0/SD_ILS:138423 2024-12-23T04:01:36Z 2024-12-23T04:01:36Z Author&#160;MacDermot, Galt.&#160;Forman, Milos.&#160;Weller, Michael, 1942-&#160;Persky, Lester, 1927-&#160;Butler, Michael.<br/>Preferred Shelf Number&#160;PN1995.9.M86 H24 2009<br/>Format:&#160;Video disc<br/>Availability&#160;Beytepe Library~1<br/> Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188879 2024-12-23T04:01:36Z 2024-12-23T04:01:36Z Author&#160;B&ouml;rger, Egon. editor.&#160;Butler, Michael. editor.&#160;Bowen, Jonathan P. editor.&#160;Boca, Paul. 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-87603-8">http://dx.doi.org/10.1007/978-3-540-87603-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Water co-management ent://SD_ILS/0/SD_ILS:288198 2024-12-23T04:01:36Z 2024-12-23T04:01:36Z Author&#160;Grover, Velma I.&#160;Krantzberg, Gail.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781466578449">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>