Results
|
|
|
|
|
|
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II / edited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff. by Series: Lecture Notes in Computer Science ; 14500
Edition: 1st ed. 2024.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I / edited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff. by Series: Lecture Notes in Computer Science ; 14499
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
|
|
|
|
|
|
High Performance Computing [electronic resource] : 10th Latin American Conference, CARLA 2023, Cartagena, Colombia, September 18–22, 2023, Revised Selected Papers / edited by Carlos J. Barrios H., Silvio Rizzi, Esteban Meneses, Esteban Mocskos, Jose M. Monsalve Diaz, Javier Montoya. by Series: Communications in Computer and Information Science ; 1887
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Software Technologies [electronic resource] : 18th International Conference, ICSOFT 2023, Rome, Italy, July 10–12, 2023, Revised Selected Papers / edited by Hans-Georg Fill, Francisco José Domínguez Mayo, Marten van Sinderen, Leszek A. Maciaszek. by Series: Communications in Computer and Information Science ; 2104
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
Emerging Technologies for Developing Countries [electronic resource] : 6th EAI International Conference, AFRICATEK 2023, Arusha, Tanzania, December 11–13, 2023, Proceedings / edited by Muthoni Masinde, Sabine Möbs, Antoine Bagula. by Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 520
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Euro-Par 2024: Parallel Processing [electronic resource] : 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26–30, 2024, Proceedings, Part I / edited by Jesus Carretero, Sameer Shende, Javier Garcia-Blas, Ivona Brandic, Katzalin Olcoz, Martin Schreiber. by Series: Lecture Notes in Computer Science ; 14801
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
Euro-Par 2024: Parallel Processing [electronic resource] : 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26–30, 2024, Proceedings, Part III / edited by Jesus Carretero, Sameer Shende, Javier Garcia-Blas, Ivona Brandic, Katzalin Olcoz, Martin Schreiber. by Series: Lecture Notes in Computer Science ; 14803
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
Euro-Par 2024: Parallel Processing [electronic resource] : 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26–30, 2024, Proceedings, Part II / edited by Jesus Carretero, Sameer Shende, Javier Garcia-Blas, Ivona Brandic, Katzalin Olcoz, Martin Schreiber. by Series: Lecture Notes in Computer Science ; 14802
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18–20, 2024, Proceedings / edited by Andrea Ceccarelli, Mario Trapp, Andrea Bondavalli, Friedemann Bitsch. by Series: Lecture Notes in Computer Science ; 14988
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Advancing OpenMP for Future Accelerators [electronic resource] : 20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23–25, 2024, Proceedings / edited by Alexis Espinosa, Michael Klemm, Bronis R. de Supinski, Maciej Cytowski, Jannis Klinkenberg. by Series: Lecture Notes in Computer Science ; 15195
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
Parallel Computational Technologies [electronic resource] : 18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2–4, 2024, Revised Selected Papers / edited by Leonid Sokolinsky, Mikhail Zymbler, Vladimir Voevodin, Jack Dongarra. by Series: Communications in Computer and Information Science ; 2241
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
