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
Select an Action
738 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
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:
14. 
Cover image for Tensor Calculus with Object-Oriented Matrices for Numerical Methods in Mechanics and Engineering Fundamentals and Functions for Tensor/Matrix Algorithms of the Finite Element Method
Tensor Calculus with Object-Oriented Matrices for Numerical Methods in Mechanics and Engineering Fundamentals and Functions for Tensor/Matrix Algorithms of the Finite Element Method
Author 
Meissner, Udo F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-59302-4
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
Author 
Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85884-0
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Physiology for Engineers Applying Engineering Methods to Physiological Systems
Physiology for Engineers Applying Engineering Methods to Physiological Systems
Author 
Chappell, Michael. author. Payne, Stephen. author. (orcid)0000-0003-1156-2810 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77639-7
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
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:
18. 
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:
19. 
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:
20. 
Cover image for Design Tools and Methods in Industrial Engineering III Proceedings of the Third International Conference on Design Tools and Methods in Industrial Engineering, ADM 2023, September 6-8, 2023, Florence, Italy, Volume 2
Design Tools and Methods in Industrial Engineering III Proceedings of the Third International Conference on Design Tools and Methods in Industrial Engineering, ADM 2023, September 6-8, 2023, Florence, Italy, Volume 2
Author 
Carfagni, Monica. editor. (orcid)0000-0002-3393-7014 Furferi, Rocco. editor. (orcid)0000-0001-6771-5981 Di Stefano, Paolo. editor. (orcid)0000-0001-5003-2084 Governi, Lapo. editor. Gherardini, Francesco. editor. (orcid)0000-0002-9275-4314
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-58094-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Artificial Intelligence for Safety and Reliability Engineering Methods, Applications, and Challenges
Artificial Intelligence for Safety and Reliability Engineering Methods, Applications, and Challenges
Author 
Tran, Kim Phuc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71495-5
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings
Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings
Author 
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0617-7
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Analytical and Experimental Methods in Mechanical and Civil Engineering Contributions of the 1st Olympiad in Engineering Science (OES 2023)
Analytical and Experimental Methods in Mechanical and Civil Engineering Contributions of the 1st Olympiad in Engineering Science (OES 2023)
Author 
Pavlou, Dimitrios. editor. (orcid)0000-0002-9522-583X Correia, Jose A.F.O. editor. Fazeres-Ferradosa, Tiago. editor. Gudmestad, Ove Tobias. editor. Siriwardane, Sudath C. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49723-0
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Proceedings of the 3rd Annual International Conference on Material, Machines and Methods for Sustainable Development (MMMS2022) Volume 3: Sustainable Approaches in Machine Design, Life Cycle Engineering, and Energy Management for Manufacturing Processes
Proceedings of the 3rd Annual International Conference on Material, Machines and Methods for Sustainable Development (MMMS2022) Volume 3: Sustainable Approaches in Machine Design, Life Cycle Engineering, and Energy Management for Manufacturing Processes
Author 
Long, Banh Tien. editor. Ishizaki, Kozo. editor. Kim, Hyung Sun. editor. (orcid)0000-0003-1499-8484 Kim, Yun-Hae. editor. Toan, Nguyen Duc. editor. (orcid)0000-0001-9619-4476
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57460-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action