Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I. by Fisman, Dana | Rosu, Grigore. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2022Copyright date: �2022Online access: Click to View Availability: No items available.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I. by Groote, Jan Friso | Larsen, Kim Guldstrand. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.
|
|
|
Advances on Mechanics, Design Engineering and Manufacturing III : Proceedings of the International Joint Conference on Mechanics, Design Engineering and Advanced Manufacturing, JCM 2020, June 2-4 2020. by Roucoules, Lionel | Paredes, Manuel | Eynard, Benoit | Morer Camo, Paz | Rizzi, Caterina. Series: Lecture Notes in Mechanical Engineering SeriesEdition: 1st ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
XxAI - Beyond Explainable AI : International Workshop, Held in Conjunction with ICML 2020, July 18, 2020, Vienna, Austria, Revised and Extended Papers. by Holzinger, Andreas | Goebel, Randy | Fong, Ruth | Moon, Taesup | M�uller, Klaus-Robert | Samek, Wojciech. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2022Copyright date: �2022Online access: Click to View Availability: No items available.
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I. by Sankaranarayanan, Sriram | Sharygina, Natasha. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2023Copyright date: �2023Online access: Click to View Availability: No items available.
|