Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Towards interoperable research infrastructures for environmental and earth sciences : a reference model guided approach for common challenges / Zhiming Zhao, Margareta Hellström (eds.). by Series: Lecture notes in computer science ; 12003. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2020
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part II / Sharon Shoham, Yakir Vizel (eds.). by Series: Lecture notes in computer science ; 13372.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2022
Other title:
  • CAV 2022
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Supercomputing frontiers : 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings / Dhabaleswar K. Panda, Michael Sullivan (eds.). by Series: Lecture notes in computer science ; 13214.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cham, Switzerland : Springer, 2022
Other title:
  • SCFA 2022
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha