Results
|
6261.
|
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.
|
|
6262.
|
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.
|
|
6263.
|
|
|
6264.
|
|
|
6265.
|
|
|
6266.
|
|
|
6267.
|
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.
|
|
6268.
|
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.
|
|
6269.
|
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.
|
|
6270.
|
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.
|
|
6271.
|
|
|
6272.
|
|
|
6273.
|
|
|
6274.
|
|
|
6275.
|
|
|
6276.
|
|
|
6277.
|
|
|
6278.
|
|
|
6279.
|
|
|
6280.
|
|