Limit Search Results
Author
SpringerLink (Online service)
(837)
Quarteroni, Alfio. author.
(17)
Saleri, Fausto. author.
(8)
Dongarra, Jack. editor.
(6)
Griebel, Michael. editor.
(6)
Language
Publication Date
-
Subject
Computer science -- Mathematics.
(486)
Mathematics.
(310)
Computer science.
(271)
Computer science—Mathematics.
(204)
Algorithms.
(119)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
972 Results Found Subscribe to search results
000000000000DEFAULT
Print
61. 
Cover image for Trends in Mathematical, Information and Data Sciences A Tribute to Leandro Pardo
Trends in Mathematical, Information and Data Sciences A Tribute to Leandro Pardo
Author 
Balakrishnan, Narayanaswamy. editor. Gil, María Ángeles. editor. Martín, Nirian. editor. Morales, Domingo. editor. Pardo, María del Carmen. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-04137-2
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Engineering Mathematics and Computing
Engineering Mathematics and Computing
Author 
Gyei-Kark, Park. editor. Jana, Dipak Kumar. editor. Panja, Prabir. editor. Abd Wahab, Mohd Helmy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-2300-5
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
Author 
Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28916-3
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Formal Verification of Structurally Complex Multipliers
Formal Verification of Structurally Complex Multipliers
Author 
Mahzoon, Alireza. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24571-8
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
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:
66. 
Cover image for Shallow and Deep Learning Principles Scientific, Philosophical, and Logical Perspectives
Shallow and Deep Learning Principles Scientific, Philosophical, and Logical Perspectives
Author 
Şen, Zekâi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29555-3
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Gıda ve süreç mühendisleri için bilgisayar destekli matematik uygulamaları
Gıda ve süreç mühendisleri için bilgisayar destekli matematik uygulamaları
Author 
Dalgıç, Ali Coşkun.
Preferred Shelf Number 
QA20.C65 D35 2020
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
68. 
Cover image for Ophthalmic Medical Image Analysis 6th International Workshop, OMIA 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, Proceedings
Ophthalmic Medical Image Analysis 6th International Workshop, OMIA 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, Proceedings
Author 
Fu, Huazhu. editor. (orcid)0000-0002-9702-5524 Garvin, Mona K. editor. (orcid)0000-0003-3299-3150 MacGillivray, Tom. editor. (orcid)0000-0001-5120-0086 Xu, Yanwu. editor. (orcid)0000-0002-1779-931X Zheng, Yalin. editor. (orcid)0000-0002-7873-0922
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32956-3
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings
Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings
Author 
van Bevern, René. editor. (orcid)0000-0002-4805-218X Kucherov, Gregory. editor. (orcid)0000-0001-5899-5424 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19955-5
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Computational Topology in Image Context 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings
Computational Topology in Image Context 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings
Author 
Marfil, Rebeca. editor. (orcid)0000-0003-1573-5096 Calderón, Mariletty. editor. Díaz del Río, Fernando. editor. (orcid)0000-0001-6184-1629 Real, Pedro. editor. (orcid)0000-0002-6853-0505 Bandera, Antonio. editor. (orcid)0000-0003-3147-0307
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-10828-1
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for A New Hypothesis on the Anisotropic Reynolds Stress Tensor for Turbulent Flows Volume I: Theoretical Background and Development of an Anisotropic Hybrid k-omega Shear-Stress Transport/Stochastic Turbulence Model
A New Hypothesis on the Anisotropic Reynolds Stress Tensor for Turbulent Flows Volume I: Theoretical Background and Development of an Anisotropic Hybrid k-omega Shear-Stress Transport/Stochastic Turbulence Model
Author 
Könözsy, László. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-13543-0
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Analysis of Experimental Algorithms Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers
Analysis of Experimental Algorithms Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers
Author 
Kotsireas, Ilias. editor. (orcid)0000-0003-2126-8383 Pardalos, Panos. editor. (orcid)0000-0003-2824-101X Parsopoulos, Konstantinos E. editor. Souravlias, Dimitris. editor. Tsokas, Arsenis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34029-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action