Your search returned 1705 results.

Sort
Results
461.
462.
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.

463.
464.
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.

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

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

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

468.
Composability, Comprehensibility and Correctness of Working Software [electronic resource] : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 11950
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.

469.
Logic and Engineering of Natural Language Semantics [electronic resource] : 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 14213
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.

470.
Static Analysis [electronic resource] : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14284
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.

471.
Logic, Rationality, and Interaction [electronic resource] : 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14329
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.

472.
473.
List Decoding of Error-Correcting Codes [electronic resource] : Winning Thesis of the 2002 ACM Doctoral Dissertation Competition / by Series: Lecture Notes in Computer Science ; 3282
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

474.
Theory Is Forever [electronic resource] : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday / by Series: Lecture Notes in Computer Science ; 3113
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

475.
Least Squares Orthogonal Distance Fitting of Curves and Surfaces in Space [electronic resource] / by Series: Lecture Notes in Computer Science ; 3151
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

476.
477.
Reachability Problems [electronic resource] : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14235
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.

478.
479.
480.
Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 14216
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.

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