Arama Sonuçlarını Sınırlandır
Yazar
Dil
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
25 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
First-order functional calculus için kapak resmi
First-order functional calculus
Yazar 
Keene, Geoffrey Bourton.
Yer Numarası 
BC 135 K4 1966
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2. 
Calculus for Computer Graphics için kapak resmi
Calculus for Computer Graphics
Yazar 
Vince, John. author. SpringerLink (Online service)
Yer Numarası 
XX(520217.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28117-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Introduction to stochastic calculus with applications için kapak resmi
Introduction to stochastic calculus with applications
Yazar 
Klebaner, Fima C.
Yer Numarası 
QA 274.2 K54 1998
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
4. 
R-Calculus, IV: Propositional Logic için kapak resmi
R-Calculus, IV: Propositional Logic
Yazar 
Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)
Yer Numarası 
XX(520383.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-8633-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Elementary stochastic calculus with finance in view için kapak resmi
Elementary stochastic calculus with finance in view
Yazar 
Mikosch, Thomas.
Yer Numarası 
QA 274.2 M54 1998
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
6. 
Yüksek matematik için kapak resmi
Yüksek matematik
Yazar 
Halilov, Hüseyin. Hasanoğlu, Alemdar, 1976- ort. yaz. Can, Mehmet, 1943- ort. yaz.
Yer Numarası 
QA303 H139 2001-2002 V.12.BS.
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
7. 
Yüksek matematik için kapak resmi
Yüksek matematik
Yazar 
Halilov, Hüseyin. Hasanoğlu, Alemdar, 1976- ort. yaz. Can, Mehmet, 1943- ort. yaz.
Yer Numarası 
QA303 H139 1999-2001 V.1
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
8. 
Mathematical logic : A course with exercises için kapak resmi
Mathematical logic : A course with exercises
Yazar 
Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Yer Numarası 
QA 9 C742513 2000 PT.1
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
9. 
Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven? için kapak resmi
Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?
Yazar 
Hausser, Roland. author. SpringerLink (Online service)
Yer Numarası 
XX(520261.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-22739-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Foundation Mathematics for Computer Science A Visual Approach için kapak resmi
Foundation Mathematics for Computer Science A Visual Approach
Yazar 
Vince, John. author. SpringerLink (Online service)
Yer Numarası 
XX(520271.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-17411-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings için kapak resmi
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
Yazar 
Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(520880.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-39784-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings için kapak resmi
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Yazar 
Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(520976.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-38499-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: