Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Diagrammatic Representation and Inference [electronic resource] : 14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024, Proceedings / edited by Jens Lemanski, Mikkel Willum Johansen, Emmanuel Manalo, Petrucio Viana, Reetu Bhattacharjee, Richard Burns. by Series: Lecture Notes in Artificial Intelligence ; 14981
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
|
|
|
|
|
|
Explainable and Transparent AI and Multi-Agent Systems [electronic resource] : 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6–10, 2024, Revised Selected Papers / edited by Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Joris Hulstijn, Kary Främling. by Series: Lecture Notes in Artificial Intelligence ; 14847
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
|
|
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings / edited by Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu. by Series: Lecture Notes in Computer Science ; 15394
Edition: 1st ed. 2024.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024
In:
Springer Nature eBook
Availability: No items available.
star rating
Average : 0.0 out of 5 stars
|
|
|
|
|
|
|
|
|
|
|
|
|
