Results
|
6941.
|
|
|
6942.
|
|
|
6943.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 14570
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.
|
|
6944.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 14571
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.
|
|
6945.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III / by Series: Lecture Notes in Computer Science ; 14572
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.
|
|
6946.
|
|
|
6947.
|
|
|
6948.
|
|
|
6949.
|
Euro-Par 2023: Parallel Processing Workshops [electronic resource] : Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 – September 1, 2023, Revised Selected Papers, Part II / by
- Zeinalipour, Demetris [editor.]
- Blanco Heras, Dora [editor.]
- Pallis, George [editor.]
- Herodotou, Herodotos [editor.]
- Trihinas, Demetris [editor.]
- Balouek, Daniel [editor.]
- Diehl, Patrick [editor.]
- Cojean, Terry [editor.]
- Fürlinger, Karl [editor.]
- Kirkeby, Maja Hanne [editor.]
- Nardellli, Matteo [editor.]
- Di Sanzo, Pierangelo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 14352
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.
|
|
6950.
|
Advanced Computing, Machine Learning, Robotics and Internet Technologies [electronic resource] : First International Conference, AMRIT 2023, Silchar, India, March 10–11, 2023, Revised Selected Papers, Part II / by Series: Communications in Computer and Information Science ; 1954
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.
|
|
6951.
|
Advanced Computing, Machine Learning, Robotics and Internet Technologies [electronic resource] : First International Conference, AMRIT 2023, Silchar, India, March 10–11, 2023, Revised Selected Papers, Part I / by Series: Communications in Computer and Information Science ; 1953
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.
|
|
6952.
|
Euro-Par 2023: Parallel Processing Workshops [electronic resource] : Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 – September 1, 2023, Revised Selected Papers, Part I / by
- Zeinalipour, Demetris [editor.]
- Blanco Heras, Dora [editor.]
- Pallis, George [editor.]
- Herodotou, Herodotos [editor.]
- Trihinas, Demetris [editor.]
- Balouek, Daniel [editor.]
- Diehl, Patrick [editor.]
- Cojean, Terry [editor.]
- Fürlinger, Karl [editor.]
- Kirkeby, Maja Hanne [editor.]
- Nardellli, Matteo [editor.]
- Di Sanzo, Pierangelo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 14351
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.
|
|
6953.
|
|
|
6954.
|
|
|
6955.
|
|
|
6956.
|
|
|
6957.
|
|
|
6958.
|
|
|
6959.
|
|
|
6960.
|
|