Search Results for Calculus. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCalculus.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list2026-04-11T09:51:19ZFunctional Fractional Calculusent://SD_ILS/0/SD_ILS:1944092026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Das, Shantanu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20545-3">http://dx.doi.org/10.1007/978-3-642-20545-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stochastic Network Calculusent://SD_ILS/0/SD_ILS:1757232026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Liu, Yong. author. Jiang, Yuming. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-127-5">http://dx.doi.org/10.1007/978-1-84800-127-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Calculus for Computer Graphicsent://SD_ILS/0/SD_ILS:3312052026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Vince, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331205.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5466-2">http://dx.doi.org/10.1007/978-1-4471-5466-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fractional Calculus for Scientists and Engineersent://SD_ILS/0/SD_ILS:2059322026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Ortigueira, Manuel Duarte. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0747-4">http://dx.doi.org/10.1007/978-94-007-0747-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pattern Calculus Computing with Functions and Structuresent://SD_ILS/0/SD_ILS:1892152026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Jay, Barry. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Abstract Computing Machines A Lambda Calculus Perspectiveent://SD_ILS/0/SD_ILS:1813602026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Kluge, W. author. Brauer, W. editor. Rozenberg, G. editor. Salomaa, A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138965">http://dx.doi.org/10.1007/b138965</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semanticsent://SD_ILS/0/SD_ILS:6112402026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Draheim, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55198-7">https://doi.org/10.1007/978-3-642-55198-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domainsent://SD_ILS/0/SD_ILS:6149062026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Göbel, Susanne. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-11765-8">https://doi.org/10.1007/978-3-658-11765-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physikent://SD_ILS/0/SD_ILS:3330362026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333036.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70856-8">http://dx.doi.org/10.1007/978-3-540-70856-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Operator Calculus on Graphs Theory and Applications in Computer Science.ent://SD_ILS/0/SD_ILS:2794652026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Schott, Rene. Staples, G. Stacey.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=457191">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=457191</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Discrete Calculus Applied Analysis on Graphs for Computational Scienceent://SD_ILS/0/SD_ILS:1762112026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Grady, Leo J. author. Polimeni, Jonathan R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-290-2">http://dx.doi.org/10.1007/978-1-84996-290-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Modular Calculus for the Average Cost of Data Structuringent://SD_ILS/0/SD_ILS:1670502026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Schellekens, Michel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Calculus of Computation Decision Procedures with Applications to Verificationent://SD_ILS/0/SD_ILS:1870582026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lecturesent://SD_ILS/0/SD_ILS:1873212026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor George, Chris W. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculusent://SD_ILS/0/SD_ILS:1810882026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138337">http://dx.doi.org/10.1007/b138337</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A First Introduction to Quantum Computing and Informationent://SD_ILS/0/SD_ILS:6058952026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Zygelman, Bernard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66425-0">https://doi.org/10.1007/978-3-031-66425-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Tools for Telemedicineent://SD_ILS/0/SD_ILS:6083812026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Nichelatti, Michele. author. (orcid)0000-0002-5248-361X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81709-0">https://doi.org/10.1007/978-3-031-81709-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The French School of Programmingent://SD_ILS/0/SD_ILS:6033902026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34518-0">https://doi.org/10.1007/978-3-031-34518-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6036282026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61716-4">https://doi.org/10.1007/978-3-031-61716-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics in Programmingent://SD_ILS/0/SD_ILS:6042672026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Liu, Xinyu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2432-1">https://doi.org/10.1007/978-981-97-2432-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Informatics and machine learning : from Martingales to metaheuristicsent://SD_ILS/0/SD_ILS:5970872026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Winters-Hilt, Stephen, author.<br/>Preferred Shelf Number Q325.5 .W558 2022<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Space in Weak Propositional Proof Systemsent://SD_ILS/0/SD_ILS:6133592026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Bonacina, Ilario. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73453-8">https://doi.org/10.1007/978-3-319-73453-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6167142026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54458-7">https://doi.org/10.1007/978-3-662-54458-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applied Logic for Computer Scientists Computational Deduction and Formal Proofsent://SD_ILS/0/SD_ILS:6174652026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51653-0">https://doi.org/10.1007/978-3-319-51653-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Finitely Supported Mathematics An Introductionent://SD_ILS/0/SD_ILS:6154132026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Alexandru, Andrei. author. Ciobanu, Gabriel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6171342026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49630-5">https://doi.org/10.1007/978-3-662-49630-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Linear-Quadratic Controls in Risk-Averse Decision Making Performance-Measure Statistics and Control Decision Optimizationent://SD_ILS/0/SD_ILS:3316702026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Pham, Khanh D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331670.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5079-5">http://dx.doi.org/10.1007/978-1-4614-5079-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Based Parameter Estimation Theory and Applicationsent://SD_ILS/0/SD_ILS:3333242026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Bock, Hans Georg. editor. Carraro, Thomas. editor. Jäger, Willi. editor. Körkel, Stefan. editor. Rannacher, Rolf. editor.<br/>Preferred Shelf Number ONLINE(333324.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30367-8">http://dx.doi.org/10.1007/978-3-642-30367-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Nonlinear Optimization Applications Using the GAMS Technologyent://SD_ILS/0/SD_ILS:3321202026-04-11T09:51:19Z2026-04-11T09:51:19ZAuthor Andrei, Neculai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332120.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6797-7">http://dx.doi.org/10.1007/978-1-4614-6797-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>