Limit Search Results
Author
SpringerLink (Online service)
(303)
Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453
(15)
Rocha, Álvaro. editor. (orcid)0000-0002-0750-8187
(13)
Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328
(11)
Lopez, Cesar. author.
(10)
Language
English
(303)
Publication Date
-
2024
(98)
2017
(69)
2016
(63)
2025
(57)
2014
(16)
Subject
Artificial intelligence.
(117)
Computational intelligence.
(84)
Software engineering.
(71)
Computer networks .
(66)
Application software.
(57)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
303 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Author 
Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-34096-8
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Author 
Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92196-4
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Proceedings of the 3rd International Conference on Computer Science's Complex Systems and Their Applications ICCSA'2024
Proceedings of the 3rd International Conference on Computer Science's Complex Systems and Their Applications ICCSA'2024
Author 
Marir, Toufik. editor. (orcid)0000-0002-8709-0680 Bouzid, Maroua. editor. Benaboud, Rohallah. editor. (orcid)0000-0002-6301-2506 Bourouis, Abdelhabib. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90758-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Proceedings of International Conference on Information Technology and Applications ICITA 2024
Proceedings of International Conference on Information Technology and Applications ICITA 2024
Author 
Ullah, Abrar. editor. Anwar, Sajid. editor. (orcid)0000-0003-3393-1656 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1758-6
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Integrated Computer Technologies in Mechanical Engineering - 2024 Synergetic Engineering, Volume 1
Integrated Computer Technologies in Mechanical Engineering - 2024 Synergetic Engineering, Volume 1
Author 
Lytvynov, Oleksii. editor. Pavlikov, Volodymyr. editor. (orcid)0000-0002-6370-1758 Krytskyi, Dmytro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-94845-9
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Object-based Programming with Go
Object-based Programming with Go
Author 
Maurer, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-44704-5
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Mathematics for Computer Graphics
Mathematics for Computer Graphics
Author 
Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-7550-6
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Multivariable Control Engineering Problems and their Solutions with GNU Octave
Multivariable Control Engineering Problems and their Solutions with GNU Octave
Author 
Borutzky, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95408-5
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Kinematics and Dynamics of Machines Modeling and Design with MATLAB®, Simulink® and Simscape™ Multibody™
Kinematics and Dynamics of Machines Modeling and Design with MATLAB®, Simulink® and Simscape™ Multibody™
Author 
Omran, Ashraf. author. (orcid)0000-0002-4071-9381 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72701-6
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Information Technology and Systems ICITS 2025, Volume 1
Information Technology and Systems ICITS 2025, Volume 1
Author 
Rocha, Alvaro. editor. Ferrás, Carlos. editor. (orcid)0000-0001-9499-3784 Calvo, Hiram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93109-3
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Artificial Intelligence-Empowered Software Engineering 2024 Proceedings of the 15th International Conference on Artificial Intelligence-Empowered Software Engineering (AIeSE2024, formerly JCKBSE), Piraeus, Greece, August 27-30, 2024
Artificial Intelligence-Empowered Software Engineering 2024 Proceedings of the 15th International Conference on Artificial Intelligence-Empowered Software Engineering (AIeSE2024, formerly JCKBSE), Piraeus, Greece, August 27-30, 2024
Author 
Virvou, Maria. editor. Tanabe, Yoshinori. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-98410-5
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Intelligent Informatics Proceedings of Eighth International Symposium on Intelligent Informatics (ISI 2023)
Intelligent Informatics Proceedings of Eighth International Symposium on Intelligent Informatics (ISI 2023)
Author 
Pal, Sankar K. editor. (orcid)0000-0003-3301-4751 Thampi, Sabu M. editor. Abraham, Ajith. editor. (orcid)0000-0002-0169-6738 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2147-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action