Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
10 Results Found Subscribe to search results
0000000000DEFAULT
Print
1. 
Cover image for Mathematical Methods in Engineering Theoretical Aspects
Mathematical Methods in Engineering Theoretical Aspects
Author 
Taş, Kenan. editor. Baleanu, Dumitru. editor. Machado, J. A. Tenreiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91065-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Author 
Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30446-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Author 
Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32409-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Advances in Evolutionary and Deterministic Methods for Design, Optimization and Control in Engineering and Sciences
Advances in Evolutionary and Deterministic Methods for Design, Optimization and Control in Engineering and Sciences
Author 
Minisci, Edmondo. editor. (orcid)0000-0001-9951-8528 Vasile, Massimiliano. editor. Periaux, Jacques. editor. Gauger, Nicolas R. editor. Giannakoglou, Kyriakos C. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89988-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering
New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering
Author 
Tavares, João Manuel R. S. editor. Fernandes, Paulo Rui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23073-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computational Methods and Experimental Testing In Mechanical Engineering Selected Papers from the 6th Algerian Congress on Mechanics, CAM 2017, November 26-30, 2017, Constantine, Algeria
Computational Methods and Experimental Testing In Mechanical Engineering Selected Papers from the 6th Algerian Congress on Mechanics, CAM 2017, November 26-30, 2017, Constantine, Algeria
Author 
Boukharouba, Taoufik. editor. Chaari, Fakher. editor. Ben Amar, Mounir. editor. Azouaoui, Krimo. editor. Ouali, Nourdine. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-11827-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30985-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Methods for Solving Complex Problems in Fluids Engineering
Methods for Solving Complex Problems in Fluids Engineering
Author 
Kang, Can. author. Liu, Haixia. author. Zhang, Yongchao. author. Mao, Ning. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2649-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Mathematical Methods in Engineering Applications in Dynamics of Complex Systems
Mathematical Methods in Engineering Applications in Dynamics of Complex Systems
Author 
Taş, Kenan. editor. Baleanu, Dumitru. editor. (orcid)0000-0002-0286-7244 Machado, J. A. Tenreiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90972-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Data-driven science and engineering : machine learning, dynamical systems, and control
Data-driven science and engineering : machine learning, dynamical systems, and control
Author 
Brunton, Steven L. (Steven Lee), 1984- author. Kutz, Jose Nathan, author.
Preferred Shelf Number 
TA330 .B78 2019
Electronic Access 
https://doi.org/10.1017/9781108380690
Format: 
Availability 
Online Library~1
Available:
Copies: