Search Results for Calculus - Narrowed by: Logic design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCalculus$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026te$003dILS$0026ps$003d300?dt=list 2024-12-23T01:42:51Z Pattern Calculus Computing with Functions and Structures ent://SD_ILS/0/SD_ILS:189215 2024-12-23T01:42:51Z 2024-12-23T01:42:51Z Author&#160;Jay, Barry. author.&#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-89185-7">http://dx.doi.org/10.1007/978-3-540-89185-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abstract Computing Machines A Lambda Calculus Perspective ent://SD_ILS/0/SD_ILS:181360 2024-12-23T01:42:51Z 2024-12-23T01:42:51Z Author&#160;Kluge, W. author.&#160;Brauer, W. editor.&#160;Rozenberg, G. editor.&#160;Salomaa, A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138965">http://dx.doi.org/10.1007/b138965</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Modular Calculus for the Average Cost of Data Structuring ent://SD_ILS/0/SD_ILS:167050 2024-12-23T01:42:51Z 2024-12-23T01:42:51Z Author&#160;Schellekens, Michel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-73384-5">http://dx.doi.org/10.1007/978-0-387-73384-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Calculus of Computation Decision Procedures with Applications to Verification ent://SD_ILS/0/SD_ILS:187058 2024-12-23T01:42:51Z 2024-12-23T01:42:51Z Author&#160;Bradley, Aaron R. author.&#160;Manna, Zohar. author.&#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-74113-8">http://dx.doi.org/10.1007/978-3-540-74113-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures ent://SD_ILS/0/SD_ILS:187321 2024-12-23T01:42:51Z 2024-12-23T01:42:51Z Author&#160;George, Chris W. editor.&#160;Liu, Zhiming. editor.&#160;Woodcock, Jim. 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-74964-6">http://dx.doi.org/10.1007/978-3-540-74964-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>