Your search returned 446 results.

Sort
Results
161.
162.
163.
Formal Methods: Foundations and Applications [electronic resource] : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14414
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook
Availability: No items available.

164.
Information Systems Security [electronic resource] : 19th International Conference, ICISS 2023, Raipur, India, December 16–20, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14424
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

165.
166.
167.
168.
169.
Model and Data Engineering [electronic resource] : 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2–4, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14396
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook
Availability: No items available.

170.
171.
172.
173.
174.
Dynamic Logic. New Trends and Applications [electronic resource] : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 14401
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook
Availability: No items available.

175.
176.
Selected Areas in Cryptography – SAC 2023 [electronic resource] : 30th International Conference, Fredericton, Canada, August 14–18, 2023, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 14201
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook
Availability: No items available.

177.
Pattern Recognition Applications and Methods [electronic resource] : 12th International Conference, ICPRAM 2023, Lisbon, Portugal, February 22–24, 2023, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 14547
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook
Availability: No items available.

178.
Algorithms and Architectures for Parallel Processing [electronic resource] : 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20–22, 2023, Proceedings, Part IV / by Series: Lecture Notes in Computer Science ; 14490
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook
Availability: No items available.

179.
Dynamic Logic. New Trends and Applications [electronic resource] : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13780
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

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