Your search returned 2826 results.

Sort
Results
401.
402.
Graph Transformation [electronic resource] : 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13349
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.

403.
Theoretical Aspects of Software Engineering [electronic resource] : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13299
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.

404.
405.
406.
407.
408.
409.
Relational and Algebraic Methods in Computer Science [electronic resource] : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13896
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.

410.
Artificial Intelligence and Security [electronic resource] : 8th International Conference, ICAIS 2022, Qinghai, China, July 15–20, 2022, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 13339
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.

411.
The Logic of Software. A Tasting Menu of Formal Methods [electronic resource] : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday / by Series: Lecture Notes in Computer Science ; 13360
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.

412.
Computer Performance Engineering [electronic resource] : 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21–23, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13659
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.

413.
Formal Methods Teaching [electronic resource] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13962
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.

414.
Computer Vision – ACCV 2022 Workshops [electronic resource] : 16th Asian Conference on Computer Vision, Macao, China, December 4–8, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13848
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.

415.
416.
417.
418.
419.
Foundations of Information and Knowledge Systems [electronic resource] : 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022, Proceedings / by Series: Lecture Notes in Computer Science
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.

420.
Next Generation Arithmetic [electronic resource] : Third International Conference, CoNGA 2022, Singapore, March 1–3, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13253
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.

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