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
1. 
Cover image for Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
Author 
Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66197-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Concise Guide to Software Engineering From Fundamentals to Application Methods
Concise Guide to Software Engineering From Fundamentals to Application Methods
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57750-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for State-Space Approaches for Modelling and Control in Financial Engineering Systems theory and machine learning methods
State-Space Approaches for Modelling and Control in Financial Engineering Systems theory and machine learning methods
Author 
Rigatos, Gerasimos G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52866-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Author 
Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68690-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Multicomponent and Multiscale Systems Theory, Methods, and Applications in Engineering
Multicomponent and Multiscale Systems Theory, Methods, and Applications in Engineering
Author 
Geiser, Juergen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15117-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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-319-26197-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Author 
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Lawford, Mark. editor. Liu, Shaoying. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47846-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Author 
De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41591-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers
Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers
Author 
Kofroň, Jan. editor. Vojnar, Tomáš. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29817-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Advanced Computational Methods for Knowledge Engineering Proceedings of the 4th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2016, 2-3 May, 2016, Vienna, Austria
Advanced Computational Methods for Knowledge Engineering Proceedings of the 4th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2016, 2-3 May, 2016, Vienna, Austria
Author 
Nguyen, Thanh Binh. editor. van Do, Tien. editor. An Le Thi, Hoai. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-38884-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Modeling, Control and Optimization of Water Systems Systems Engineering Methods for Control and Decision Making Tasks
Modeling, Control and Optimization of Water Systems Systems Engineering Methods for Control and Decision Making Tasks
Author 
Rauschenbach, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-16026-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Optimization Algorithms in Machine Learning A Meta-heuristics Perspective
Optimization Algorithms in Machine Learning A Meta-heuristics Perspective
Author 
Das, Debashish. author. (orcid)0000-0002-4237-5711 Sadiq, Ali Safaa. author. Mirjalili, Seyedali. author. (orcid)0000-0002-1443-9458 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-3849-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action