Limit Search Results
Author
SpringerLink (Online service)
(34)
Can, Mehmet, 1943- ort. yaz.
(2)
Halilov, Hüseyin.
(2)
Hasanoğlu, Alemdar, 1976- ort. yaz.
(2)
Vince, John. author.
(2)
Language
Subject
Computational intelligence.
(5)
Calculus.
(4)
Artificial intelligence.
(3)
Biomathematics.
(3)
Engineering mathematics.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
43 Results Found Subscribe to search results
0000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Thomas calculus
Thomas calculus
Author 
Thomas, George B.
Preferred Shelf Number 
QA303.2 T46 2023
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for First-order functional calculus
First-order functional calculus
Author 
Keene, Geoffrey Bourton.
Preferred Shelf Number 
BC 135 K4 1966
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Calculus for Computer Graphics
Calculus for Computer Graphics
Author 
Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28117-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Introduction to stochastic calculus with applications
Introduction to stochastic calculus with applications
Author 
Klebaner, Fima C.
Preferred Shelf Number 
QA 274.2 K54 1998
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for R-Calculus, IV: Propositional Logic
R-Calculus, IV: Propositional Logic
Author 
Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-8633-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Elementary stochastic calculus with finance in view
Elementary stochastic calculus with finance in view
Author 
Mikosch, Thomas.
Preferred Shelf Number 
QA 274.2 M54 1998
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
7. 
Cover image for Epistemic Situation Calculus Based on Granular Computing A New Approach to Common-Sense Reasoning
Epistemic Situation Calculus Based on Granular Computing A New Approach to Common-Sense Reasoning
Author 
Akama, Seiki. author. Nakayama, Yotaro. author. Murai, Tetsuya. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28551-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Tensor Calculus and Differential Geometry for Engineers With Solved Exercises
Tensor Calculus and Differential Geometry for Engineers With Solved Exercises
Author 
Sahraee, Shahab. author. Wriggers, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33953-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Recent Advances in Fuzzy Sets Theory, Fractional Calculus, Dynamic Systems and Optimization
Recent Advances in Fuzzy Sets Theory, Fractional Calculus, Dynamic Systems and Optimization
Author 
Melliani, Said. editor. Castillo, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-12416-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Yüksek matematik
Yüksek matematik
Author 
Halilov, Hüseyin. Hasanoğlu, Alemdar, 1976- ort. yaz. Can, Mehmet, 1943- ort. yaz.
Preferred Shelf Number 
QA303 H139 2001-2002 V.12.BS.
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
11. 
Cover image for Yüksek matematik
Yüksek matematik
Author 
Halilov, Hüseyin. Hasanoğlu, Alemdar, 1976- ort. yaz. Can, Mehmet, 1943- ort. yaz.
Preferred Shelf Number 
QA303 H139 1999-2001 V.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
12. 
Cover image for Mathematical logic : A course with exercises
Mathematical logic : A course with exercises
Author 
Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Preferred Shelf Number 
QA 9 C742513 2000 PT.1
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
13. 
Cover image for Foundation Mathematics for Computer Science A Visual Approach
Foundation Mathematics for Computer Science A Visual Approach
Author 
Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-17411-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Mobile Internet Security 6th International Symposium, MobiSec 2022, Jeju, South Korea, December 15-17, 2022, Revised Selected Papers
Mobile Internet Security 6th International Symposium, MobiSec 2022, Jeju, South Korea, December 15-17, 2022, Revised Selected Papers
Author 
You, Ilsun. editor. Kim, Hwankuk. editor. Angin, Pelin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-4430-9
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for 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
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
Author 
Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30829-1
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
Author 
Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39784-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Author 
Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43513-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Artificial Intelligence XL 43rd SGAI International Conference on Artificial Intelligence, AI 2023, Cambridge, UK, December 12-14, 2023, Proceedings
Artificial Intelligence XL 43rd SGAI International Conference on Artificial Intelligence, AI 2023, Cambridge, UK, December 12-14, 2023, Proceedings
Author 
Bramer, Max. editor. Stahl, Frederic. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47994-6
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Pediatric Surgery Pediatric Urology
Pediatric Surgery Pediatric Urology
Author 
Puri, Prem. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43567-0
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for The Misdiagnosis Casebook in Clinical Medicine A Case-Based Guide
The Misdiagnosis Casebook in Clinical Medicine A Case-Based Guide
Author 
Tohid, Hassaan. editor. Baratta, Larry G. editor. Maibach, Howard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28296-6
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Matematiksel analiz 1
Matematiksel analiz 1
Author 
Koçak, Mahmut.
Preferred Shelf Number 
QA304 K633 2023
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
22. 
Cover image for Understanding Behaviour of Distributed Systems Using mCRL2
Understanding Behaviour of Distributed Systems Using mCRL2
Author 
Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23008-0
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Crucial Event Rehabilitation Therapy Multifractal Medicine
Crucial Event Rehabilitation Therapy Multifractal Medicine
Author 
West, Bruce J. author. Grigolini, Paolo. author. Bologna, Mauro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46277-1
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021)
Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021)
Author 
Loukanova, Roussanka. editor. Lumsdaine, Peter LeFanu. editor. Muskens, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21780-7
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Author 
Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45784-5
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
Author 
Kutrib, Martin. editor. (orcid) Meyer, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38100-3
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Author 
Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47115-5
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
Author 
Hur, Chung-Kil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8311-7
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for New Perspectives on Nonlinear Dynamics and Complexity
New Perspectives on Nonlinear Dynamics and Complexity
Author 
Volchenkov, Dimitri. editor. Luo, Albert C. J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-97328-5
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Advances in Mathematical Modelling, Applied Analysis and Computation Proceedings of ICMMAAC 2022
Advances in Mathematical Modelling, Applied Analysis and Computation Proceedings of ICMMAAC 2022
Author 
Singh, Jagdev. editor. Anastassiou, George A. editor. Baleanu, Dumitru. editor. Kumar, Devendra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29959-9
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Parametrized, Deformed and General Neural Networks
Parametrized, Deformed and General Neural Networks
Author 
Anastassiou, George A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43021-3
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Oral Biochemistry
Oral Biochemistry
Author 
Min, Byung-Moo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3596-3
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Author 
Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38499-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II
Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II
Author 
Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-5837-5
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Varyasyonlar hesabı
Varyasyonlar hesabı
Author 
Sezgin, Mehmet. Güleroğlu, Arzu.
Preferred Shelf Number 
QA315 S494 2023
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
36. 
Cover image for Artificial Intelligence in Models, Methods and Applications
Artificial Intelligence in Models, Methods and Applications
Author 
Dolinina, Olga. editor. Bessmertny, Igor. editor. Brovko, Alexander. editor. Kreinovich, Vladik. editor. Pechenkin, Vitaly. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22938-1
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Output Feedback Reinforcement Learning Control for Linear Systems
Output Feedback Reinforcement Learning Control for Linear Systems
Author 
Rizvi, Syed Ali Asad. author. Lin, Zongli. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-15858-2
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Introduction to Mathematics for Computational Biology
Introduction to Mathematics for Computational Biology
Author 
Lecca, Paola. author. Carpentieri, Bruno. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36566-9
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Reliability Engineering and Computational Intelligence for Complex Systems Design, Analysis and Evaluation
Reliability Engineering and Computational Intelligence for Complex Systems Design, Analysis and Evaluation
Author 
van Gulijk, Coen. editor. (orcid)0000-0003-4541-2693 Zaitseva, Elena. editor. Kvassay, Miroslav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40997-4
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for An Invitation to Mathematical Biology
An Invitation to Mathematical Biology
Author 
Costa, David G. author. Schulte, Paul J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40258-6
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?
Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?
Author 
Hausser, Roland. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22739-4
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Mathematics for Computer Scientists A Practice-Oriented Approach
Mathematics for Computer Scientists A Practice-Oriented Approach
Author 
Hartmann, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-40423-9
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Neuro Symbolic Reasoning and Learning
Neuro Symbolic Reasoning and Learning
Author 
Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39179-8
Format: 
Availability 
Online Library~1
Available:
Copies: