Refine your search

Your search returned 25363 results.

Not what you expected? Check for suggestions
Sort
Results
25241.
25242.
25243.
25244.
25245.
25246.
25247.
Formal methods: foundations and applications : 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, proceedings / Sidney C. Nogueira, Ciprian Teodorov, editors. by Series: Lecture notes in computer science ; 15403.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, [2025]Copyright date: ©2025
Other title:
  • SBMF 2024
Online resources:
Availability: Items available for loan: e-Library (1).
25248.
25249.
25250.
25251.
25252.
25253.
25254.
25255.
Theory of cryptography : 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, proceedings. Part III / Elette Boyle, Mohammad Mahmoody, editors. by Series: Lecture notes in computer science ; 15366.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, [2025]Copyright date: ©2025
Other title:
  • TCC 2024
Online resources:
Availability: Items available for loan: e-Library (1).
25256.
Theory of cryptography : 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, proceedings. Part II / Elette Boyle, Mohammad Mahmoody, editors. by Series: Lecture notes in computer science ; 15365.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, [2025]Copyright date: ©2025
Other title:
  • TCC 2024
Online resources:
Availability: Items available for loan: e-Library (1).
25257.
25258.
25259.
25260.
Pages

Powered by Koha