Results
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Dependable Embedded Systems. by Henkel, J�org | Dutt, Nikil. Series: Embedded Systems SeriesEdition: 1st ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing AG, 2020Copyright date: {copy}2021Online access: Click to View Availability: No items available.
|
|
|
The Future Internet : Future Internet Assembly 2012: from Promises to Reality. by Alvarez, Federico | Cleary, Frances | Daras, Petros | Domingue, John | Galis, Alex | Garcia, Ana | Gavras, Anastasius | Karnourskos, Stamatis | Krco, Srdjan | 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, 2012Copyright date: �2012Online 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.
|
|
|
|
|
|
|
|
|
|
|
|
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. by Johnsen, Einar Broch | Wimmer, Manuel. 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 II. 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.
|
|
|
Manual of Digital Earth. by Guo, Huadong | Goodchild, Michael F | Annoni, Alessandro. Edition: 1st ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Singapore Pte. Limited, 2019Copyright date: �2020Online 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.
|
|
|
|
|
|
|