Your search returned 236 results.

Sort
Results
21.
Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13649
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.

22.
Integrated Formal Methods [electronic resource] : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13274
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.

23.
Fast and Low-Resource Semi-supervised Abdominal Organ Segmentation [electronic resource] : MICCAI 2022 Challenge, FLARE 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13816
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.

24.
25.
26.
27.
28.
29.
30.
Computer Aided Verification [electronic resource] : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 13372
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.

31.
Computer Aided Verification [electronic resource] : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 13371
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.

32.
Machines, Computations, and Universality [electronic resource] : 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 – September 2, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13419
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.

33.
34.
Requirements Engineering: Foundation for Software Quality [electronic resource] : 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21–24, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13216
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.

35.
Computer Information Systems and Industrial Management [electronic resource] : 21st International Conference, CISIM 2022, Barranquilla, Colombia, July 15–17, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13293
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.

36.
37.
38.
39.
Performance Evaluation and Benchmarking [electronic resource] : 14th TPC Technology Conference, TPCTC 2022, Sydney, NSW, Australia, September 5, 2022, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13860
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.

40.
Logic-Based Program Synthesis and Transformation [electronic resource] : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings / by Series: Lecture Notes in Computer Science ; 13290
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