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$0026ps$003d300$0026isd$003dtrue?dt=list
2024-11-26T15:46:43Z
First-order functional calculus
ent://SD_ILS/0/SD_ILS:765
2024-11-26T15:46:43Z
2024-11-26T15:46:43Z
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
2024-11-26T15:46:43Z
2024-11-26T15:46:43Z
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
2024-11-26T15:46:43Z
2024-11-26T15:46:43Z
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
2024-11-26T15:46:43Z
2024-11-26T15:46:43Z
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
2024-11-26T15:46:43Z
2024-11-26T15:46:43Z
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:89458
2024-11-26T15:46:43Z
2024-11-26T15:46:43Z
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/>
Yüksek matematik
ent://SD_ILS/0/SD_ILS:113238
2024-11-26T15:46:43Z
2024-11-26T15:46:43Z
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
2024-11-26T15:46:43Z
2024-11-26T15:46:43Z
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/>
Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?
ent://SD_ILS/0/SD_ILS:520261
2024-11-26T15:46:43Z
2024-11-26T15:46:43Z
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/>
Foundation Mathematics for Computer Science A Visual Approach
ent://SD_ILS/0/SD_ILS:520271
2024-11-26T15:46:43Z
2024-11-26T15:46:43Z
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/>
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-11-26T15:46:43Z
2024-11-26T15:46:43Z
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/>
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-11-26T15:46:43Z
2024-11-26T15:46:43Z
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/>
Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521090
2024-11-26T15:46:43Z
2024-11-26T15:46:43Z
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/>
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-11-26T15:46:43Z
2024-11-26T15:46:43Z
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/>
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-11-26T15:46:43Z
2024-11-26T15:46:43Z
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/>
Pediatric Surgery Pediatric Urology
ent://SD_ILS/0/SD_ILS:521693
2024-11-26T15:46:43Z
2024-11-26T15:46:43Z
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
2024-11-26T15:46:43Z
2024-11-26T15:46:43Z
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/>
Mathematics for Computer Scientists A Practice-Oriented Approach
ent://SD_ILS/0/SD_ILS:520344
2024-11-26T15:46:43Z
2024-11-26T15:46:43Z
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/>
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-11-26T15:46:43Z
2024-11-26T15:46:43Z
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/>
Neuro Symbolic Reasoning and Learning
ent://SD_ILS/0/SD_ILS:520609
2024-11-26T15:46:43Z
2024-11-26T15:46:43Z
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/>
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-11-26T15:46:43Z
2024-11-26T15:46:43Z
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/>
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-11-26T15:46:43Z
2024-11-26T15:46:43Z
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/>
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-11-26T15:46:43Z
2024-11-26T15:46:43Z
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/>
Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521341
2024-11-26T15:46:43Z
2024-11-26T15:46:43Z
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/>
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-11-26T15:46:43Z
2024-11-26T15:46:43Z
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/>