Your search returned 2826 results.

Sort
Results
1001.
1002.
1003.
Principles of Systems Design [electronic resource] : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday / by Series: Lecture Notes in Computer Science ; 13660
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.

1004.
1005.
1006.
1007.
1008.
Provable and Practical Security [electronic resource] : 17th International Conference, ProvSec 2023, Wuhan, China, October 20–22, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14217
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.

1009.
Health Information Science [electronic resource] : 12th International Conference, HIS 2023, Melbourne, VIC, Australia, October 23–24, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14305
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

1010.
1011.
Serious Games [electronic resource] : 9th Joint International Conference, JCSG 2023, Dublin, Ireland, October 26–27, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14309
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.

1012.
Rules and Reasoning [electronic resource] : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14244
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.

1013.
1014.
Logic-Based Program Synthesis and Transformation [electronic resource] : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14330
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.

1015.
1016.
1017.
Unity of Logic and Computation [electronic resource] : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13967
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.

1018.
Image Analysis and Processing – ICIAP 2023 [electronic resource] : 22nd International Conference, ICIAP 2023, Udine, Italy, September 11–15, 2023, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 14234
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.

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