Search Results for Finite groups. - Narrowed by: Mathematics of Computing. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFinite$002bgroups.$0026qf$003dSUBJECT$002509Subject$002509Mathematics$002bof$002bComputing.$002509Mathematics$002bof$002bComputing.$0026te$003dILS$0026ps$003d300?dt=list 2026-03-15T13:38:44Z Finitely Supported Mathematics An Introduction ent://SD_ILS/0/SD_ILS:615413 2026-03-15T13:38:44Z 2026-03-15T13:38:44Z Author&#160;Alexandru, Andrei. author.&#160;Ciobanu, Gabriel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42282-4">https://doi.org/10.1007/978-3-319-42282-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs ent://SD_ILS/0/SD_ILS:617799 2026-03-15T13:38:44Z 2026-03-15T13:38:44Z Author&#160;Herdt, Vladimir. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-12680-3">https://doi.org/10.1007/978-3-658-12680-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptography Made Simple ent://SD_ILS/0/SD_ILS:617695 2026-03-15T13:38:44Z 2026-03-15T13:38:44Z Author&#160;Smart, Nigel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21936-3">https://doi.org/10.1007/978-3-319-21936-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>