Your search returned 918 results.

Sort
Results
41.
42.
43.
44.
Model Checking Software [electronic resource] : 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13872
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.

45.
Computational Theory of Mind for Human-Machine Teams [electronic resource] : First International Symposium, ToM for Teams 2021, Virtual Event, November 4–6, 2021, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13775
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

46.
Social Informatics [electronic resource] : 13th International Conference, SocInfo 2022, Glasgow, UK, October 19–21, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13618
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.

47.
Progress in Cryptology – INDOCRYPT 2022 [electronic resource] : 23rd International Conference on Cryptology in India, Kolkata, India, December 11–14, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13774
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.

48.
Computational Data and Social Networks [electronic resource] : 11th International Conference, CSoNet 2022, Virtual Event, December 5–7, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13831
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.

49.
From Data to Models and Back [electronic resource] : 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13268
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.

50.
Algebraic Informatics [electronic resource] : 9th International Conference, CAI 2022, Virtual Event, October 27–29, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13706
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.

51.
52.
53.
54.
Automated Technology for Verification and Analysis [electronic resource] : 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13505
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.

55.
Descriptional Complexity of Formal Systems [electronic resource] : 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29–31, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13439
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.

56.
57.
String Processing and Information Retrieval [electronic resource] : 29th International Symposium, SPIRE 2022, Concepción, Chile, November 8–10, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13617
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.

58.
59.
60.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in