Limit Search Results
Author
SpringerLink (Online service)
(225)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(11)
Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
(11)
Cao, Longbing. editor. (orcid)0000-0003-1524-9063
(7)
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914
(7)
Language
English
(225)
Publication Date
-
2024
(76)
2025
(64)
2016
(35)
2017
(35)
2013
(14)
Subject
Computer science -- Mathematics.
(213)
Artificial intelligence.
(121)
Computer networks .
(104)
Computer science.
(99)
Theory of Computation.
(80)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
225 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66320-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
Author 
Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61982-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Mathematics and Computing Third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017, Proceedings
Mathematics and Computing Third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017, Proceedings
Author 
Giri, Debasis. editor. Mohapatra, Ram N. editor. Begehr, Heinrich. editor. Obaidat, Mohammad S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-4642-1
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Privately and Publicly Verifiable Computing Techniques A Survey
Privately and Publicly Verifiable Computing Techniques A Survey
Author 
Demirel, Denise. author. Schabhüser, Lucas. author. Buchmann, Johannes. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53798-6
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers
High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers
Author 
Kozubek, Tomáš. editor. Blaheta, Radim. editor. Šístek, Jakub. editor. Rozložník, Miroslav. editor. Čermák, Martin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40361-8
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Index-aware Model Order Reduction Methods Applications to Differential-Algebraic Equations
Index-aware Model Order Reduction Methods Applications to Differential-Algebraic Equations
Author 
Banagaaya, N. author. Alì, Giuseppe. author. Schilders, Wil H.A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.2991/978-94-6239-189-5
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings
Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings
Author 
Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Schwank, Inge. editor. (orcid)0000-0003-1546-3369 Staub, Jacqueline. editor. (orcid)0009-0004-7864-5711 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73257-7
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Algorithmic Decision Theory 8th International Conference, ADT 2024, New Brunswick, NJ, USA, October 14-16, 2024, Proceedings
Algorithmic Decision Theory 8th International Conference, ADT 2024, New Brunswick, NJ, USA, October 14-16, 2024, Proceedings
Author 
Freeman, Rupert. editor. (orcid)0000-0003-4744-9449 Mattei, Nicholas. editor. (orcid)0000-0002-3569-4335 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73903-3
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for World Conference of AI-Powered Innovation and Inventive Design 24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6-8, 2024, Proceedings, Part I
World Conference of AI-Powered Innovation and Inventive Design 24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6-8, 2024, Proceedings, Part I
Author 
Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601 Brad, Stelian. editor. (orcid)0000-0003-1129-3358 Livotov, Pavel. editor. (orcid)0000-0001-8784-1117 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75919-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for World Conference of AI-Powered Innovation and Inventive Design 24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6-8, 2024, Proceedings, Part II
World Conference of AI-Powered Innovation and Inventive Design 24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6-8, 2024, Proceedings, Part II
Author 
Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601 Brad, Stelian. editor. (orcid)0000-0003-1129-3358 Livotov, Pavel. editor. (orcid)0000-0001-8784-1117 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75923-9
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for R-Calculus, VI: Finite Injury Priority Method
R-Calculus, VI: Finite Injury Priority Method
Author 
Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-5830-2
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
Author 
Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-82703-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action