Search Results for - Narrowed by: Math Applications in Computer Science. - Mathematical Logic and Formal Languages.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Math$002bApplications$002bin$002bComputer$002bScience.$002509Math$002bApplications$002bin$002bComputer$002bScience.$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026te$003dILS$0026ps$003d300?
2025-12-14T12:36:35Z
Modelling Computing Systems Mathematics for Computer Science
ent://SD_ILS/0/SD_ILS:332574
2025-12-14T12:36:35Z
2025-12-14T12:36:35Z
Author Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332574.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-322-4">http://dx.doi.org/10.1007/978-1-84800-322-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
ent://SD_ILS/0/SD_ILS:334264
2025-12-14T12:36:35Z
2025-12-14T12:36:35Z
Author Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334264.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36675-8">http://dx.doi.org/10.1007/978-3-642-36675-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
ent://SD_ILS/0/SD_ILS:331002
2025-12-14T12:36:35Z
2025-12-14T12:36:35Z
Author O’Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331002.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4534-9">http://dx.doi.org/10.1007/978-1-4471-4534-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334781
2025-12-14T12:36:35Z
2025-12-14T12:36:35Z
Author Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE(334781.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39320-4">http://dx.doi.org/10.1007/978-3-642-39320-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334925
2025-12-14T12:36:35Z
2025-12-14T12:36:35Z
Author Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334925.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40313-2">http://dx.doi.org/10.1007/978-3-642-40313-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Teoria degli Automi Finiti
ent://SD_ILS/0/SD_ILS:335644
2025-12-14T12:36:35Z
2025-12-14T12:36:35Z
Author Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335644.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-5474-5">http://dx.doi.org/10.1007/978-88-470-5474-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>