Search Results for Calculus. - Narrowed by: Computer software. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCalculus.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsoftware.$002509Computer$002bsoftware.$0026ps$003d300? 2024-10-30T12:04:00Z A Modular Calculus for the Average Cost of Data Structuring ent://SD_ILS/0/SD_ILS:167050 2024-10-30T12:04:00Z 2024-10-30T12:04:00Z 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-10-30T12:04:00Z 2024-10-30T12:04:00Z 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-10-30T12:04:00Z 2024-10-30T12:04:00Z 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/> Structure of Solutions of Variational Problems ent://SD_ILS/0/SD_ILS:332024 2024-10-30T12:04:00Z 2024-10-30T12:04:00Z Author&#160;Zaslavski, Alexander J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332024.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-6387-0">http://dx.doi.org/10.1007/978-1-4614-6387-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>