Search Results for Foundations. - Narrowed by: Computer logic.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFoundations.$0026qf$003dSUBJECT$002509Subject$002509Computer$002blogic.$002509Computer$002blogic.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?2025-12-18T18:59:48ZFoundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadowsent://SD_ILS/0/SD_ILS:4860572025-12-18T18:59:48Z2025-12-18T18:59:48ZAuthor Guttman, Joshua D. editor. Landwehr, Carl E. editor. Meseguer, José. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19052-1">https://doi.org/10.1007/978-3-030-19052-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4892512025-12-18T18:59:48Z2025-12-18T18:59:48ZAuthor Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09195-2">https://doi.org/10.1007/978-3-319-09195-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4876552025-12-18T18:59:48Z2025-12-18T18:59:48ZAuthor Beierle, Christoph. editor. Meghini, Carlo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04939-7">https://doi.org/10.1007/978-3-319-04939-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889492025-12-18T18:59:48Z2025-12-18T18:59:48ZAuthor Muscholl, Anca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54830-7">https://doi.org/10.1007/978-3-642-54830-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dynamic logicent://SD_ILS/0/SD_ILS:2199672025-12-18T18:59:48Z2025-12-18T18:59:48ZAuthor Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>