Limit Search Results
Author
SpringerLink (Online service)
(738)
Silhavy, Petr. editor.
(18)
Silhavy, Radek. editor.
(18)
Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X
(10)
Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758
(10)
Language
English
(738)
Publication Date
-
2024
(237)
2025
(210)
2017
(154)
2016
(134)
2014
(3)
Subject
Artificial intelligence.
(141)
Computational intelligence.
(125)
Software engineering.
(93)
Computer networks .
(84)
Mechanics, Applied.
(82)
Material Type
Library
Switch to list view
Switch to thumbnail view
738 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Safety Engineering Fundamentals, Methods, Research topics
Safety Engineering Fundamentals, Methods, Research topics
Author 
Bracke, Stefan. editor. Pieper, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-47473-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Models and Methods for Systems Engineering
Models and Methods for Systems Engineering
Author 
Borowik, Grzegorz. editor. Chmaj, Grzegorz. editor. Waszkowski, Robert. editor. (orcid)0000-0002-0170-227X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-76440-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Virtual Element Methods in Engineering Sciences
Virtual Element Methods in Engineering Sciences
Author 
Wriggers, Peter. author. Aldakheel, Fadi. author. (orcid)0000-0003-4074-4576 Hudobivnik, Blaž. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39255-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Numerical Methods and Modelling for Engineering
Numerical Methods and Modelling for Engineering
Author 
Khoury, Richard. author. Harder, Douglas Wilhelm. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21176-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Computational Methods in Earthquake Engineering Volume 3
Computational Methods in Earthquake Engineering Volume 3
Author 
Papadrakakis, Manolis. editor. Plevris, Vagelis. editor. Lagaros, Nikos D. editor. (orcid)0000-0001-6114-9632 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47798-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75107-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Mathematics of Engineering and Science Practice Problems, Methods, and Solutions
Mathematics of Engineering and Science Practice Problems, Methods, and Solutions
Author 
Rahmani-Andebili, Mehdi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71934-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Author 
Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77382-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Proceedings of the 4th Annual International Conference on Material, Machines, and Methods for Sustainable Development (MMMS2024) Volume 3: Sustainable Approaches in Machine Design, Life Cycle Engineering, and Energy Management for Manufacturing Processes
Proceedings of the 4th Annual International Conference on Material, Machines, and Methods for Sustainable Development (MMMS2024) Volume 3: Sustainable Approaches in Machine Design, Life Cycle Engineering, and Energy Management for Manufacturing Processes
Author 
Long, Banh Tien. editor. Nang, Ho Xuan. editor. Huy, Pham Thanh. editor. Kim, Yun-Hae. editor. Ishizaki, Kozo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-96126-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Multi-objective Optimization Techniques in Engineering Applications Advanced Methods for Solving Complex Engineering Problems
Multi-objective Optimization Techniques in Engineering Applications Advanced Methods for Solving Complex Engineering Problems
Author 
Tartibu, Lagouge K. author. (orcid)0000-0003-2111-7155 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81237-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Cost Engineering Systems for Manufacturing Enterprises Methods, Processes and Experience Reports from Practice
Cost Engineering Systems for Manufacturing Enterprises Methods, Processes and Experience Reports from Practice
Author 
Liu, Xiaoyi. author. (orcid)0000-0001-5894-8388 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-5234-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets