Results
|
|
|
|
|
Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 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. by Kiefer, Stefan | Tasson, Christine. 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.
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
The Future Internet : Future Internet Assembly 2011: Achievements and Technological Promises. by Domingue, John | Galis, Alex | Gavras, Anastasius | Zahariadis, Theodore | Lambert, Dave | Cleary, Frances | Daras, Petros | Krco, Srdjan | M�uller, Henning | Li, Man-Sze. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin / Heidelberg, 2011Copyright date: �2011Online access: Click to View Availability: No items available.
|
|
|
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I. by Enea, Constantin | Lal, Akash. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2023Copyright date: �2023Online 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.
|