Search Results for Algebraic logic. - Narrowed by: 2017SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dAlgebraic$002blogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092017$0025092017$0026ic$003dtrue$0026ps$003d300?dt=list2026-06-06T12:02:52ZDesigning Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maudeent://SD_ILS/0/SD_ILS:6174612026-06-06T12:02:52Z2026-06-06T12:02:52ZAuthor Ölveczky, Peter Csaba. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6181502026-06-06T12:02:52Z2026-06-06T12:02:52ZAuthor Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62809-7">https://doi.org/10.1007/978-3-319-62809-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An introduction to proof through real analysisent://SD_ILS/0/SD_ILS:5936702026-06-06T12:02:52Z2026-06-06T12:02:52ZAuthor Madden, Daniel J., 1948- author. Aubrey, Jason A., 1975- author.<br/>Preferred Shelf Number QA9.54 .M335 2017<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119314769">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119314769</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>