Refine your search

Your search returned 4479 results.

Sort
Results
1161.
1162.
1163.
1164.
1165.
1166.
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.

1167.
Handbook of Requirements and Business Analysis [electronic resource] / by
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.

1168.
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.

1169.
1170.
1171.
1172.
1173.
1174.
1175.
1176.
Logic-Based Program Synthesis and Transformation [electronic resource] : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 11408
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.

1177.
1178.
Progress in Cryptology – AFRICACRYPT 2019 [electronic resource] : 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedings / by Series: Security and Cryptology ; 11627
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.

1179.
1180.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in