Limit Search Results
Author
SpringerLink (Online service)
(798)
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.
(348)
Computer science.
(295)
Computer science—Mathematics.
(204)
Algorithms.
(120)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
887 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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:
26. 
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:
27. 
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:
28. 
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:
29. 
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:
30. 
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:
31. 
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:
32. 
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:
33. 
Cover image for Graphical Models for Security 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers
Graphical Models for Security 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers
Author 
Albanese, Massimiliano. editor. (orcid)0000-0002-2675-5810 Horne, Ross. editor. (orcid)0000-0003-0162-1901 Probst, Christian W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-36537-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
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:
35. 
Cover image for Algorithmic Decision Theory 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings
Algorithmic Decision Theory 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings
Author 
Pekeč, Saša. editor. Venable, Kristen Brent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31489-7
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
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:
Select an Action