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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Chatbot Research and Design [electronic resource] : 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22–23, 2023, Revised Selected Papers / edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Sebastian Hobert, Petter Bae Brandtzaeg. by Series: Lecture Notes in Computer Science ; 14524
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Rigorous State-Based Methods [electronic resource] : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings / edited by Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra. by Series: Lecture Notes in Computer Science ; 14759
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
|
|
|
|
|
|
|
|
|
|
|
|
Verified Software. Theories, Tools and Experiments [electronic resource] : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers / edited by Andrew Reynolds, Serdar Tasiran. by Series: Lecture Notes in Computer Science ; 14095
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Rules and Reasoning [electronic resource] : 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16–18, 2024, Proceedings / edited by Sabrina Kirrane, Mantas Šimkus, Ahmet Soylu, Dumitru Roman. by Series: Lecture Notes in Computer Science ; 15183
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
|
|
|
|
|
|
|
|
|
|
|
|
|
