Your search returned 32 results.

Sort
Results
Security, privacy, and applied cryptography engineering (e-book)

by Chattopadhyay, Anupam.

Series: Lecture Notes in Computer Science (LNCS) ; v.11348Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2018Online access: Click here to access online Availability: Items available for reference: Online (1) .

Automated reasoning with analytic tableaux and related methods (e-book)

by Das, Anupam.

Series: Lecture Notes in Computer Science (LNCS) ; v.12842Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2021Online access: Click here to access online Availability: Items available for reference: Online (1) .

Pages

Powered by Koha