Limit Search Results
Author
SpringerLink (Online service)
(158)
Joshi, Amit. editor.
(8)
Akashe, Shyam. editor.
(4)
Dey, Nilanjan. editor.
(4)
Fong, Simon. editor.
(4)
Language
English
(260)
Publication Date
-
Subject
Electronic books.
(35)
Computational intelligence.
(30)
Software engineering.
(23)
Artificial intelligence.
(20)
COMPUTERS.
(15)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
260 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
Author 
Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67114-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Agile-SOFL Agile Formal Engineering Method
Agile-SOFL Agile Formal Engineering Method
Author 
Liu, Shaoying. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2285-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for R Programming Statistical Data Analysis in Research
R Programming Statistical Data Analysis in Research
Author 
Okoye, Kingsley. author. Hosseini, Samira. author. (orcid)0000-0001-9190-4782 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-3385-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers
Author 
Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64182-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mathematics in Programming
Mathematics in Programming
Author 
Liu, Xinyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2432-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for MATLAB and Simulink in Action Programming, Scientific Computing and Simulation
MATLAB and Simulink in Action Programming, Scientific Computing and Simulation
Author 
Xue, Dingyü. author. Pan, Feng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-1176-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Python Arithmetic The Informational Nature of Numbers
Python Arithmetic The Informational Nature of Numbers
Author 
Manca, Vincenzo. author. (orcid)0000-0002-1304-0277 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66545-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 5
ICT Systems and Sustainability Proceedings of ICT4SD 2024, Volume 5
Author 
Tuba, Milan. editor. Akashe, Shyam. editor. Joshi, Amit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8537-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for How machine learning is innovating today's world : a concise technical guide
How machine learning is innovating today's world : a concise technical guide
Author 
Dey, Arindam, editor.
Preferred Shelf Number 
Q325.5
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214167
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Optimization for learning and control
Optimization for learning and control
Author 
Hansson, Anders, author. Andersen, Martin S., author.
Preferred Shelf Number 
T57.62 .H43 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119809180
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Gamification for resilience : resilient informed decision-making
Gamification for resilience : resilient informed decision-making
Author 
Gheorghe, Adrian V., author. Katina, Polinpapilinho F., author.
Preferred Shelf Number 
HT166 .G487 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394157778
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Optimization techniques in engineering : advances and applications
Optimization techniques in engineering : advances and applications
Author 
Khosla, Anita.
Preferred Shelf Number 
TA342 .O68 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119906391
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action