Limit Search Results
Author
SpringerLink (Online service)
(81)
Mallet, Clément, editor.
(4)
Succi, Giancarlo. editor.
(4)
Zribi, Mehrez, editor.
(4)
Damiani, Ernesto. editor.
(3)
Language
Publication Date
-
Subject
Open source software.
(59)
Software engineering.
(26)
Electronic books.
(24)
Computer science.
(13)
Open Source.
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
181 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Guide to Software Verification with Frama-C Core Components, Usages, and Applications
Guide to Software Verification with Frama-C Core Components, Usages, and Applications
Author 
Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55608-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Optimal Vessel Planning in Natural Inland Waterways
Optimal Vessel Planning in Natural Inland Waterways
Author 
Moreno Nadales, Juan. author. Muñoz de la Peña, David. author. Limon, Daniel. author. Alamo, Teodoro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64744-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Solving Ordinary Differential Equations in Python
Solving Ordinary Differential Equations in Python
Author 
Sundnes, Joakim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46768-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for FPGA EDA Design Principles and Implementation
FPGA EDA Design Principles and Implementation
Author 
Tu, Kaihui. author. Tang, Xifan. author. Yu, Cunxi. author. (orcid)0000-0003-3481-307X Josipović, Lana. author. Chu, Zhufei. author. (orcid)0000-0001-5718-4822
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7755-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Better Early than Never
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Better Early than Never
Author 
Pieper, Pascal. author. (orcid)0000-0002-7155-2537 Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-51692-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Linear Multivariable Control Engineering Using GNU Octave
Linear Multivariable Control Engineering Using GNU Octave
Author 
Borutzky, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44508-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Applied OSS Reliability Assessment Modeling, AI and Tools Mathematics and AI for OSS Reliability Assessment
Applied OSS Reliability Assessment Modeling, AI and Tools Mathematics and AI for OSS Reliability Assessment
Author 
Tamura, Yoshinobu. author. (orcid)0000-0001-7665-5765 Yamada, Shigeru. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64803-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Redefining Virtual Teaching Learning Pedagogy
Redefining Virtual Teaching Learning Pedagogy
Author 
Bansal, Rohit, 1982- editor. Singh, Ram, editor. Singh, Amandeep, 1982- editor. Chaudhary, Kuldeep, editor. Rasul, Tareq, editor.
Preferred Shelf Number 
LB1044.87 .R44 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119867647
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Agile Software Development : trends, challenges and applications
Agile Software Development : trends, challenges and applications
Author 
Hooda, Susheela, editor. Sood, Vandana Mohindru, editor. Singh, Yashwant, editor. Dalal, Sandeep, editor. Sood, Manu, editor.
Preferred Shelf Number 
QA76.76 .D47 A55 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119896838
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Imaging life : image acquisition and analysis in biology and medicine
Imaging life : image acquisition and analysis in biology and medicine
Author 
Griffing, Lawrence R., 1953- author.
Preferred Shelf Number 
R857 .O6 G75 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394171538
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Pervasive Computing Technologies for Healthcare 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings
Pervasive Computing Technologies for Healthcare 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings
Author 
Tsanas, Athanasios. editor. Triantafyllidis, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34586-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, 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-36597-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action