Arama Sonuçları Calculus. - Daraltılmış: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dCalculus.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list2026-04-09T08:07:12ZFunctional Fractional Calculusent://SD_ILS/0/SD_ILS:1944092026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Das, Shantanu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Stochastic Network Calculusent://SD_ILS/0/SD_ILS:1757232026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Liu, Yong. author. Jiang, Yuming. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Calculus for Computer Graphicsent://SD_ILS/0/SD_ILS:3312052026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Vince, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331205.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fractional Calculus for Scientists and Engineersent://SD_ILS/0/SD_ILS:2059322026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Ortigueira, Manuel Duarte. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pattern Calculus Computing with Functions and Structuresent://SD_ILS/0/SD_ILS:1892152026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Jay, Barry. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Abstract Computing Machines A Lambda Calculus Perspectiveent://SD_ILS/0/SD_ILS:1813602026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Kluge, W. author. Brauer, W. editor. Rozenberg, G. editor. Salomaa, A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138965">http://dx.doi.org/10.1007/b138965</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semanticsent://SD_ILS/0/SD_ILS:6112402026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Draheim, Dirk. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-09T08:07:12Z2026-04-09T08:07:12ZYazar Göbel, Susanne. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-09T08:07:12Z2026-04-09T08:07:12ZYazar Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333036.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Operator Calculus on Graphs Theory and Applications in Computer Science.ent://SD_ILS/0/SD_ILS:2794652026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Schott, Rene. Staples, G. Stacey.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Discrete Calculus Applied Analysis on Graphs for Computational Scienceent://SD_ILS/0/SD_ILS:1762112026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Grady, Leo J. author. Polimeni, Jonathan R. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Modular Calculus for the Average Cost of Data Structuringent://SD_ILS/0/SD_ILS:1670502026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Schellekens, Michel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-09T08:07:12Z2026-04-09T08:07:12ZYazar George, Chris W. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Calculus of Computation Decision Procedures with Applications to Verificationent://SD_ILS/0/SD_ILS:1870582026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-09T08:07:12Z2026-04-09T08:07:12ZYazar Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138337">http://dx.doi.org/10.1007/b138337</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Tools for Telemedicineent://SD_ILS/0/SD_ILS:6083812026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Nichelatti, Michele. author. (orcid)0000-0002-5248-361X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A First Introduction to Quantum Computing and Informationent://SD_ILS/0/SD_ILS:6058952026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Zygelman, Bernard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-09T08:07:12Z2026-04-09T08:07:12ZYazar Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The French School of Programmingent://SD_ILS/0/SD_ILS:6033902026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics in Programmingent://SD_ILS/0/SD_ILS:6042672026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Liu, Xinyu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Informatics and machine learning : from Martingales to metaheuristicsent://SD_ILS/0/SD_ILS:5970872026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Winters-Hilt, Stephen, author.<br/>Yer Numarası Q325.5 .W558 2022<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-09T08:07:12Z2026-04-09T08:07:12ZYazar Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Space in Weak Propositional Proof Systemsent://SD_ILS/0/SD_ILS:6133592026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Bonacina, Ilario. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applied Logic for Computer Scientists Computational Deduction and Formal Proofsent://SD_ILS/0/SD_ILS:6174652026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Finitely Supported Mathematics An Introductionent://SD_ILS/0/SD_ILS:6154132026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Alexandru, Andrei. author. Ciobanu, Gabriel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-09T08:07:12Z2026-04-09T08:07:12ZYazar Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Linear-Quadratic Controls in Risk-Averse Decision Making Performance-Measure Statistics and Control Decision Optimizationent://SD_ILS/0/SD_ILS:3316702026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Pham, Khanh D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331670.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Nonlinear Optimization Applications Using the GAMS Technologyent://SD_ILS/0/SD_ILS:3321202026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Andrei, Neculai. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332120.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Based Parameter Estimation Theory and Applicationsent://SD_ILS/0/SD_ILS:3333242026-04-09T08:07:12Z2026-04-09T08:07:12ZYazar Bock, Hans Georg. editor. Carraro, Thomas. editor. Jäger, Willi. editor. Körkel, Stefan. editor. Rannacher, Rolf. editor.<br/>Yer Numarası ONLINE(333324.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>