Search Results for Open-source software.

178 Results Found

1 .. 3 4 5 6 7 .. 15

000000000000DEFAULT

49.

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:

50.

Digitization, copyright, and the law : copyleft and the future of intellectual property

Author

Lombardi, Ettore Maria, author.

Preferred Shelf Number

K1478

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003424413
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

51.

Light sheet fluorescence microscopy

Author

Reynaud, Emmanuel G. editor. Tomancak, Pavel, editor.

Preferred Shelf Number

QH212 .F55

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9783527803910

Format:

Availability

Online Library~1

Available:
Copies:

52.

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:

53.

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:

54.

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:

55.

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:

56.

Cover image for Quality of Information and Communications Technology 16th International Conference, QUATIC 2023, Aveiro, Portugal, September 11-13, 2023, Proceedings

Quality of Information and Communications Technology 16th International Conference, QUATIC 2023, Aveiro, Portugal, September 11-13, 2023, Proceedings

Author

Fernandes, José Maria. editor. Travassos, Guilherme H. editor. Lenarduzzi, Valentina. editor. Li, Xiaozhou. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-43703-8

Format:

Availability

Online Library~1

Available:
Copies:

57.

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:

58.

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII

Author

Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-37126-4

Format:

Availability

Online Library~1

Available:
Copies:

59.

LEARNING ADVANCED PYTHON BY STUDYING OPEN SOURCE PROJECTS

Author

Li, Rongpeng.

Preferred Shelf Number

QA76.73 .P98

Electronic Access

Taylor & Francis https://www.taylorfrancis.com/books/9781003316909
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Availability

Online Library~1

Available:
Copies:

60.

Predictive Analytics in System Reliability

Author

Kumar, Vijay. editor. Pham, Hoang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-05347-4

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 15

	{displayName}	{count}
{error}