Limit Search Results
Author
SpringerLink (Online service)
(797)
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.
(338)
Computer science.
(295)
Computer science—Mathematics.
(204)
Algorithms.
(121)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
913 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Advanced Computing in Industrial Mathematics 14th Annual Meeting of the Bulgarian Section of SIAM, December 17-19, 2019, Sofia, Bulgaria, Revised Selected Papers
Advanced Computing in Industrial Mathematics 14th Annual Meeting of the Bulgarian Section of SIAM, December 17-19, 2019, Sofia, Bulgaria, Revised Selected Papers
Author 
Georgiev, Ivan. editor. Kostadinov, Hristo. editor. Lilkova, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42010-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Smart Learning Ecosystems as Engines of the Green and Digital Transition Proceedings of the 8th Conference on Smart Learning Ecosystems and Regional Development
Smart Learning Ecosystems as Engines of the Green and Digital Transition Proceedings of the 8th Conference on Smart Learning Ecosystems and Regional Development
Author 
Dascalu, Mihai. editor. Mealha, Óscar. editor. Virkus, Sirje. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-5540-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Advanced Computing in Industrial Mathematics 15th Annual Meeting of the Bulgarian Section of SIAM, December 15-17, 2020, Sofia, Bulgaria, Revised Selected Papers
Advanced Computing in Industrial Mathematics 15th Annual Meeting of the Bulgarian Section of SIAM, December 15-17, 2020, Sofia, Bulgaria, Revised Selected Papers
Author 
Georgiev, Ivan. editor. Kostadinov, Hristo. editor. Lilkova, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-20951-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
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:
6. 
Cover image for Application of Gray System Theory in Fishery Science
Application of Gray System Theory in Fishery Science
Author 
Chen, Xinjun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0635-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
Cover image for Optimization techniques in engineering : advances and applications
Optimization techniques in engineering : advances and applications
Author 
Khosla, Anita.
Preferred Shelf Number 
TA342 .O68 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119906391
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Robotic process automation
Robotic process automation
Author 
Rawat, Romil, editor. Chakrawarti, Rajesh Kumar. Sarangi, Sanjaya Kumar. Choudhary, Rahul. Gadwal, Anand Singh.
Preferred Shelf Number 
T59.5 .R63 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394166954
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Mathematical macroevolution in diatom research
Mathematical macroevolution in diatom research
Author 
Pappas, Janice L., author.
Preferred Shelf Number 
QK568 .M52 P37 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119750673
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Near extensions and alignment of data in R^n : Whitney extensions of near isometries, shortest paths, equidistribution, clustering and non-rigid alignment of data in Euclidean space
Near extensions and alignment of data in R^n : Whitney extensions of near isometries, shortest paths, equidistribution, clustering and non-rigid alignment of data in Euclidean space
Author 
Damelin, Steven B., author.
Preferred Shelf Number 
QA300 .D325 2024 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394196814
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Select an Action