Results
|
4941.
|
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.
|
|
4942.
|
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.
|
|
4943.
|
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.
|
|
4944.
|
|
|
4945.
|
|
|
4946.
|
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.
|
|
4947.
|
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.
|
|
4948.
|
|
|
4949.
|
|
|
4950.
|
|
|
4951.
|
|
|
4952.
|
|
|
4953.
|
|
|
4954.
|
|
|
4955.
|
|
|
4956.
|
|
|
4957.
|
|
|
4958.
|
|
|
4959.
|
|
|
4960.
|
|