Your search returned 160 results.

Sort
Results
61.
62.
63.
64.
Search-Based Software Engineering [electronic resource] : 12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings / by Series: Programming and Software Engineering ; 12420
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

65.
66.
Algorithms and Architectures for Parallel Processing [electronic resource] : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 12452
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

67.
Systems Modelling and Management [electronic resource] : First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings / by Series: Communications in Computer and Information Science ; 1262
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

68.
Trends in Functional Programming [electronic resource] : 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 12222
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

69.
70.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12597
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

71.
Accelerator Programming Using Directives [electronic resource] : 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings / by Series: Programming and Software Engineering ; 12655
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

72.
Microelectronic Devices, Circuits and Systems [electronic resource] : Second International Conference, ICMDCS 2021, Vellore, India, February 11-13, 2021, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1392
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

73.
Accelerator Programming Using Directives [electronic resource] : 8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings / by Series: Programming and Software Engineering ; 13194
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.

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

75.
High Performance Computing [electronic resource] : 7th Latin American Conference, CARLA 2020, Cuenca, Ecuador, September 2–4, 2020, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1327
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

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

77.
78.
79.
Constructive Side-Channel Analysis and Secure Design [electronic resource] : 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings / by Series: Security and Cryptology ; 11421
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

80.
Model and Data Engineering [electronic resource] : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings / by Series: Programming and Software Engineering ; 12732
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

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