Search Results for Calculus. - Narrowed by: 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCalculus.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092023$0025092023$0026ps$003d300?
2024-10-30T11:15:14Z
First-order functional calculus
ent://SD_ILS/0/SD_ILS:765
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Keene, Geoffrey Bourton.<br/>Preferred Shelf Number BC 135 K4 1966<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Calculus for Computer Graphics
ent://SD_ILS/0/SD_ILS:520217
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Vince, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520217.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28117-4">https://doi.org/10.1007/978-3-031-28117-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to stochastic calculus with applications
ent://SD_ILS/0/SD_ILS:90898
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Klebaner, Fima C.<br/>Preferred Shelf Number QA 274.2 K54 1998<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
R-Calculus, IV: Propositional Logic
ent://SD_ILS/0/SD_ILS:520383
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520383.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-8633-8">https://doi.org/10.1007/978-981-19-8633-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Elementary stochastic calculus with finance in view
ent://SD_ILS/0/SD_ILS:90739
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Mikosch, Thomas.<br/>Preferred Shelf Number QA 274.2 M54 1998<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Yüksek matematik
ent://SD_ILS/0/SD_ILS:113238
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Halilov, Hüseyin. Hasanoğlu, Alemdar, 1976- ort. yaz. Can, Mehmet, 1943- ort. yaz.<br/>Preferred Shelf Number QA303 H139 1999-2001 V.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Yüksek matematik
ent://SD_ILS/0/SD_ILS:89458
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Halilov, Hüseyin. Hasanoğlu, Alemdar, 1976- ort. yaz. Can, Mehmet, 1943- ort. yaz.<br/>Preferred Shelf Number QA303 H139 2001-2002 V.12.BS.<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Mathematics for Computer Scientists A Practice-Oriented Approach
ent://SD_ILS/0/SD_ILS:520344
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Hartmann, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520344.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-40423-9">https://doi.org/10.1007/978-3-658-40423-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Neuro Symbolic Reasoning and Learning
ent://SD_ILS/0/SD_ILS:520609
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.<br/>Preferred Shelf Number XX(520609.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39179-8">https://doi.org/10.1007/978-3-031-39179-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520842
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520842.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30829-1">https://doi.org/10.1007/978-3-031-30829-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520880
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520880.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39784-4">https://doi.org/10.1007/978-3-031-39784-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521090
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Kutrib, Martin. editor. (orcid) Meyer, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521090.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-38100-3">https://doi.org/10.1007/978-3-031-38100-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521139
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521139.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43513-3">https://doi.org/10.1007/978-3-031-43513-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521245
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521245.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45784-5">https://doi.org/10.1007/978-3-031-45784-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521275
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521275.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47115-5">https://doi.org/10.1007/978-3-031-47115-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pediatric Surgery Pediatric Urology
ent://SD_ILS/0/SD_ILS:521693
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Puri, Prem. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521693.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43567-0">https://doi.org/10.1007/978-3-662-43567-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Misdiagnosis Casebook in Clinical Medicine A Case-Based Guide
ent://SD_ILS/0/SD_ILS:521696
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Tohid, Hassaan. editor. Baratta, Larry G. editor. Maibach, Howard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521696.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28296-6">https://doi.org/10.1007/978-3-031-28296-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520976
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520976.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-38499-8">https://doi.org/10.1007/978-3-031-38499-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520982
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)<br/>Preferred Shelf Number XX(520982.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5837-5">https://doi.org/10.1007/978-981-99-5837-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?
ent://SD_ILS/0/SD_ILS:520261
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Hausser, Roland. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520261.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-22739-4">https://doi.org/10.1007/978-3-031-22739-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundation Mathematics for Computer Science A Visual Approach
ent://SD_ILS/0/SD_ILS:520271
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Vince, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520271.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-17411-7">https://doi.org/10.1007/978-3-031-17411-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Internet Security 6th International Symposium, MobiSec 2022, Jeju, South Korea, December 15-17, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520516
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author You, Ilsun. editor. Kim, Hwankuk. editor. Angin, Pelin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520516.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-4430-9">https://doi.org/10.1007/978-981-99-4430-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521341
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Hur, Chung-Kil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521341.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8311-7">https://doi.org/10.1007/978-981-99-8311-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence XL 43rd SGAI International Conference on Artificial Intelligence, AI 2023, Cambridge, UK, December 12-14, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521322
2024-10-30T11:15:14Z
2024-10-30T11:15:14Z
Author Bramer, Max. editor. Stahl, Frederic. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521322.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47994-6">https://doi.org/10.1007/978-3-031-47994-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>