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
25. 
Cover image for Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers
Author 
Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66021-4
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Optimization and Games for Controllable Markov Chains Numerical Methods with Application to Finance and Engineering
Optimization and Games for Controllable Markov Chains Numerical Methods with Application to Finance and Engineering
Author 
Clempner, Julio B. author. (orcid)0000-0002-5918-4671 Poznyak, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43575-1
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Innovative Methods in Computer Science and Computational Applications in the Era of Industry 5.0 Proceedings of the 5th International Conference on Artificial Intelligence and Applied Mathematics in Engineering ICAIAME 2023, Volume 1
Innovative Methods in Computer Science and Computational Applications in the Era of Industry 5.0 Proceedings of the 5th International Conference on Artificial Intelligence and Applied Mathematics in Engineering ICAIAME 2023, Volume 1
Author 
Hemanth, D. Jude. editor. Kose, Utku. editor. (orcid)0000-0002-9652-6415 Patrut, Bogdan. editor. Ersoy, Mevlut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56310-2
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Computer Methods in Biomechanics and Biomedical Engineering II Selected Papers from the 18th International Symposium CMBBE 2023, May 3-5, 2023, Paris, France
Computer Methods in Biomechanics and Biomedical Engineering II Selected Papers from the 18th International Symposium CMBBE 2023, May 3-5, 2023, Paris, France
Author 
Skalli, Wafa. editor. Laporte, Sébastien. editor. Benoit, Aurélie. editor. (orcid)0000-0003-4330-2300 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55315-8
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Innovative Methods in Computer Science and Computational Applications in the Era of Industry 5.0 Proceedings of the 5th International Conference on Artificial Intelligence and Applied Mathematics in Engineering ICAIAME 2023, Volume 2
Innovative Methods in Computer Science and Computational Applications in the Era of Industry 5.0 Proceedings of the 5th International Conference on Artificial Intelligence and Applied Mathematics in Engineering ICAIAME 2023, Volume 2
Author 
Hemanth, D. Jude. editor. Kose, Utku. editor. (orcid)0000-0002-9652-6415 Patrut, Bogdan. editor. Ersoy, Mevlut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56322-5
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, Volume 1
Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, Volume 1
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70285-3
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 1
Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 1
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-53549-9
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 2
Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 2
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-54813-0
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Data Analytics in System Engineering Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 4
Data Analytics in System Engineering Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 4
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-54820-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Data Analytics in System Engineering Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 3
Data Analytics in System Engineering Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 3
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-53552-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
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 1
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 1
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-52075-4
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Deformation Compatibility Control for Engineering Structures Methods and Applications
Deformation Compatibility Control for Engineering Structures Methods and Applications
Author 
Zhu, Hanhua. author. Zhou, Zhihui. author. Chen, Mengchong. author. Deng, Jianliang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-1893-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action