Search Results for Calculus. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCalculus.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026te$003dILS$0026ps$003d300?dt=list2026-04-16T00:19:43ZFunctional Fractional Calculusent://SD_ILS/0/SD_ILS:1944092026-04-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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/>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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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/>The French School of Programmingent://SD_ILS/0/SD_ILS:6033902026-04-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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/>Mathematics in Programmingent://SD_ILS/0/SD_ILS:6042672026-04-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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/>Nonlinear Optimization Applications Using the GAMS Technologyent://SD_ILS/0/SD_ILS:3321202026-04-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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/>Model Based Parameter Estimation Theory and Applicationsent://SD_ILS/0/SD_ILS:3333242026-04-16T00:19:43Z2026-04-16T00:19:43ZAuthor 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/>