Limit Search Results
Author
SpringerLink (Online service)
(172)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(7)
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914
(7)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(7)
Paszynski, Maciej. editor.
(7)
Language
Publication Date
-
Subject
Computational Mathematics and Numerical Analysis.
(120)
Mathematics -- Data processing.
(81)
Computer science -- Mathematics.
(70)
Computer science.
(35)
Mechanics, Applied.
(34)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
217 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Guide to Software Verification with Frama-C Core Components, Usages, and Applications
Guide to Software Verification with Frama-C Core Components, Usages, and Applications
Author 
Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55608-1
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Mathematical Modeling and Simulation of Systems Selected Papers of 18th International Conference, MODS, November 13-15, 2023, Chernihiv, Ukraine
Mathematical Modeling and Simulation of Systems Selected Papers of 18th International Conference, MODS, November 13-15, 2023, Chernihiv, Ukraine
Author 
Kazymyr, Volodymyr. editor. Morozov, Anatoliy. editor. Palagin, Alexander. editor. Shkarlet, Serhiy. editor. Stoianov, Nikolai. editor. (orcid)0000-0002-4953-4172
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67348-1
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Advances in Computer Science and Ubiquitous Computing Proceedings of CUTE/CSA 2023
Advances in Computer Science and Ubiquitous Computing Proceedings of CUTE/CSA 2023
Author 
Park, Ji Su. editor. (orcid)0000-0001-9003-1131 Yang, Laurence T. editor. Pan, Yi. editor. (orcid)0000-0002-2766-3096 Park, James J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2447-5
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Power system simulation using semi-analytical methods
Power system simulation using semi-analytical methods
Author 
Sun, Kai, 1976- editor. John Wiley & Sons, publisher.
Preferred Shelf Number 
TK1005 .P7177 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119988045
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Deterministic and stochastic modeling in computational electromagnetics : integral and differential equation approaches
Deterministic and stochastic modeling in computational electromagnetics : integral and differential equation approaches
Author 
Poljak, D. (Dragan), author. Šušnjara, Anna, author.
Preferred Shelf Number 
QC760 .P625 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119989271
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Model-based optimization for petroleum refinery configuration design
Model-based optimization for petroleum refinery configuration design
Author 
Khor, Cheng Seong, author
Preferred Shelf Number 
TH4571 .K46 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527826100
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Linear and nonlinear system modeling
Linear and nonlinear system modeling
Author 
Roy, Tamal, editor. Tripathi, Suman Lata, editor. Ganguli, Souvik, editor.
Preferred Shelf Number 
QA402.3 .L56 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119847533
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for MATLAB Lessons, Examples, and Exercises A Tutorial for Beginners and Experts
MATLAB Lessons, Examples, and Exercises A Tutorial for Beginners and Experts
Author 
Rahmani-Andebili, Mehdi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76177-5
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Advances in Mathematical Modelling, Applied Analysis and Computation Proceedings of ICMMAAC 2023 - Volume 2
Advances in Mathematical Modelling, Applied Analysis and Computation Proceedings of ICMMAAC 2023 - Volume 2
Author 
Singh, Jagdev. editor. (orcid)0000-0001-6853-4138 Anastassiou, George A. editor. (orcid)0000-0002-3781-9824 Baleanu, Dumitru. editor. (orcid)0000-0002-0286-7244 Kumar, Devendra. editor. (orcid)0000-0003-4249-6326 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56304-1
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Swarm Intelligence 14th International Conference, ANTS 2024, Konstanz, Germany, October 9-11, 2024, Proceedings
Swarm Intelligence 14th International Conference, ANTS 2024, Konstanz, Germany, October 9-11, 2024, Proceedings
Author 
Hamann, Heiko. editor. (orcid)0000-0002-2458-8289 Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Pérez Cáceres, Leslie. editor. (orcid)0000-0001-5553-6150 Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X Kuckling, Jonas. editor. (orcid)0000-0003-2391-2275
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70932-6
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Advanced Computational Approaches for Drying in Food Processing
Advanced Computational Approaches for Drying in Food Processing
Author 
Gangawane, Krunal M. editor. (orcid)0000-0002-1241-7546 Dwivedi, Madhuresh. editor. (orcid)0000-0002-5454-1369 Chandra Pradhan, Ram. editor. (orcid)0000-0002-6872-6057 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-62550-3
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Computational and Experimental Simulations in Engineering Proceedings of ICCES 2023-Volume 2
Computational and Experimental Simulations in Engineering Proceedings of ICCES 2023-Volume 2
Author 
Li, Shaofan. editor. (orcid)0000-0002-6950-1474 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42987-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action