Refine your search

Your search returned 2162 results.

Sort
Results
861.
862.
863.
864.
865.
866.
867.
868.
Rewriting Logic and Its Applications [electronic resource] : 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13252
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

869.
Automated Reasoning [electronic resource] : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 13385
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

870.
871.
872.
873.
Constructive Side-Channel Analysis and Secure Design [electronic resource] : 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings / by Series: Security and Cryptology ; 11421
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

874.
875.
876.
877.
878.
879.
880.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in