Arama Sonuçları Calculus. - Daraltılmış: 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dCalculus.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092023$0025092023$0026pe$003dd$00253A$0026ps$003d300?dt=list
2025-01-02T20:27:16Z
Thomas calculus
ent://SD_ILS/0/SD_ILS:524602
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Thomas, George B.<br/>Yer Numarası QA303.2 T46 2023<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
First-order functional calculus
ent://SD_ILS/0/SD_ILS:765
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Keene, Geoffrey Bourton.<br/>Yer Numarası BC 135 K4 1966<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Calculus for Computer Graphics
ent://SD_ILS/0/SD_ILS:520217
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Vince, John. author. SpringerLink (Online service)<br/>Yer Numarası XX(520217.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to stochastic calculus with applications
ent://SD_ILS/0/SD_ILS:90898
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Klebaner, Fima C.<br/>Yer Numarası QA 274.2 K54 1998<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
R-Calculus, IV: Propositional Logic
ent://SD_ILS/0/SD_ILS:520383
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)<br/>Yer Numarası XX(520383.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Elementary stochastic calculus with finance in view
ent://SD_ILS/0/SD_ILS:90739
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Mikosch, Thomas.<br/>Yer Numarası QA 274.2 M54 1998<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Yüksek matematik
ent://SD_ILS/0/SD_ILS:113238
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Halilov, Hüseyin. Hasanoğlu, Alemdar, 1976- ort. yaz. Can, Mehmet, 1943- ort. yaz.<br/>Yer Numarası QA303 H139 1999-2001 V.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Yer Numarası QA 9 C742513 2000 PT.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
Yüksek matematik
ent://SD_ILS/0/SD_ILS:89458
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Halilov, Hüseyin. Hasanoğlu, Alemdar, 1976- ort. yaz. Can, Mehmet, 1943- ort. yaz.<br/>Yer Numarası QA303 H139 2001-2002 V.12.BS.<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
Mathematics for Computer Scientists A Practice-Oriented Approach
ent://SD_ILS/0/SD_ILS:520344
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Hartmann, Peter. author. SpringerLink (Online service)<br/>Yer Numarası XX(520344.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundation Mathematics for Computer Science A Visual Approach
ent://SD_ILS/0/SD_ILS:520271
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Vince, John. author. SpringerLink (Online service)<br/>Yer Numarası XX(520271.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520842.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası XX(520976.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)<br/>Yer Numarası XX(520982.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521275.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Bramer, Max. editor. Stahl, Frederic. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521322.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar You, Ilsun. editor. Kim, Hwankuk. editor. Angin, Pelin. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520516.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pediatric Surgery Pediatric Urology
ent://SD_ILS/0/SD_ILS:521693
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Puri, Prem. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521693.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Misdiagnosis Casebook in Clinical Medicine A Case-Based Guide
ent://SD_ILS/0/SD_ILS:521696
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Tohid, Hassaan. editor. Baratta, Larry G. editor. Maibach, Howard. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521696.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Matematiksel analiz 1
ent://SD_ILS/0/SD_ILS:524186
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Koçak, Mahmut.<br/>Yer Numarası QA304 K633 2023<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~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
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521245.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Hur, Chung-Kil. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521341.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?
ent://SD_ILS/0/SD_ILS:520261
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Hausser, Roland. author. SpringerLink (Online service)<br/>Yer Numarası XX(520261.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neuro Symbolic Reasoning and Learning
ent://SD_ILS/0/SD_ILS:520609
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.<br/>Yer Numarası XX(520609.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası XX(520880.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521090
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Kutrib, Martin. editor. (orcid) Meyer, Uwe. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521090.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521139.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Varyasyonlar hesabı
ent://SD_ILS/0/SD_ILS:524716
2025-01-02T20:27:16Z
2025-01-02T20:27:16Z
Yazar Sezgin, Mehmet. Güleroğlu, Arzu.<br/>Yer Numarası QA315 S494 2023<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>