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 Mathematical modeling and simulation : introduction for scientists and engineers
Mathematical modeling and simulation : introduction for scientists and engineers
Author 
Velten, Kai, author. Schmidt, Dominik M., author. Kahlen, Katrin, author.
Preferred Shelf Number 
QA401 .V38 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527849604
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Cloud-Native Application Architecture Microservice Development Best Practice
Cloud-Native Application Architecture Microservice Development Best Practice
Author 
Team, FreeWheel Biz-UI. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-9782-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Digital Signal Processing Illustration Using Python
Digital Signal Processing Illustration Using Python
Author 
Esakkirajan, S. author. Veerakumar, T. author. (orcid)0000-0001-9084-1847 N Subudhi, Badri. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-6752-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 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:
8. 
Cover image for Benchmarking, Measuring, and Optimizing 14th BenchCouncil International Symposium, Bench 2022, Virtual Event, November 7-9, 2022, Revised Selected Papers
Benchmarking, Measuring, and Optimizing 14th BenchCouncil International Symposium, Bench 2022, Virtual Event, November 7-9, 2022, Revised Selected Papers
Author 
Gainaru, Ana. editor. Zhang, Ce. editor. Luo, Chunjie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31180-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers
High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers
Author 
Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40843-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
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:
12. 
Cover image for Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part I
Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part I
Author 
Botto-Tobar, Miguel. editor. (orcid) Zambrano Vizuete, Marcelo. editor. Montes León, Sergio. editor. Torres-Carrión, Pablo. editor. Durakovic, Benjamin. editor. (orcid)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24985-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action