Limit Search Results
Author
SpringerLink (Online service)
(51)
Taylor and Francis.
(3)
Alpay, Daniel. editor.
(2)
Anastassiou, George A. author.
(2)
Davis, Timothy A., author.
(2)
Language
Publication Date
-
Subject
Mathematics.
(9)
Computational intelligence.
(6)
Engineering mathematics.
(6)
Artificial intelligence.
(5)
Engineering -- Data processing.
(5)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
93 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Verification of Data-Aware Processes via Satisfiability Modulo Theories
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Author 
Gianola, Alessandro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42746-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Parallel Computing Technologies 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings
Parallel Computing Technologies 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21-25, 2023, Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-41673-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings
Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings
Author 
Boulier, François. editor. England, Matthew. editor. (orcid) Kotsireas, Ilias. editor. Sadykov, Timur M. editor. Vorozhtsov, Evgenii V. editor. (orcid)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-41724-5
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Graph-Based Representations in Pattern Recognition 13th IAPR-TC-15 International Workshop, GbRPR 2023, Vietri sul Mare, Italy, September 6-8, 2023, Proceedings
Graph-Based Representations in Pattern Recognition 13th IAPR-TC-15 International Workshop, GbRPR 2023, Vietri sul Mare, Italy, September 6-8, 2023, Proceedings
Author 
Vento, Mario. editor. Foggia, Pasquale. editor. Conte, Donatello. editor. Carletti, Vincenzo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42795-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Computer Analysis of Images and Patterns 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25-28, 2023, Proceedings, Part I
Computer Analysis of Images and Patterns 20th International Conference, CAIP 2023, Limassol, Cyprus, September 25-28, 2023, Proceedings, Part I
Author 
Tsapatsoulis, Nicolas. editor. Lanitis, Andreas. editor. Pattichis, Marios. editor. Pattichis, Constantinos. editor. Kyrkou, Christos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44237-7
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Proceedings of Eighth International Congress on Information and Communication Technology ICICT 2023, London, Volume 2
Proceedings of Eighth International Congress on Information and Communication Technology ICICT 2023, London, Volume 2
Author 
Yang, Xin-She. editor. Sherratt, R. Simon. editor. Dey, Nilanjan. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-3091-3
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Fundamentals of Computational Fluid Dynamics The Finite Volume Method
Fundamentals of Computational Fluid Dynamics The Finite Volume Method
Author 
Maliska, Clovis R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-18235-8
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Using R for Numerical Analysis in Science and Engineering
Using R for Numerical Analysis in Science and Engineering
Author 
Bloomfield, Victor A., author. Taylor and Francis.
Preferred Shelf Number 
 Q183.9
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Mathematical Problems in Data Science Theoretical and Practical Methods
Mathematical Problems in Data Science Theoretical and Practical Methods
Author 
Chen, Li M. author. Su, Zhixun. author. Jiang, Bo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25127-1
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Internet of Things. User-Centric IoT First International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers, Part I
Internet of Things. User-Centric IoT First International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers, Part I
Author 
Giaffreda, Raffaele. editor. Vieriu, Radu-Laurentiu. editor. Pasher, Edna. editor. Bendersky, Gabriel. editor. Jara, Antonio J. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19656-5
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Human Centered Computing First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers
Human Centered Computing First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers
Author 
Zu, Qiaohong. editor. Hu, Bo. editor. Gu, Ning. editor. Seng, Sopheap. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15554-8
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Curves and Surfaces 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers
Curves and Surfaces 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers
Author 
Boissonnat, Jean-Daniel. editor. Cohen, Albert. editor. Gibaru, Olivier. editor. Gout, Christian. editor. Lyche, Tom. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22804-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action