Refine your search

Your search returned 3496 results.

Sort
Results
361.
362.
Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 12225
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.

363.
364.
365.
Model-Based Safety and Assessment [electronic resource] : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings / by Series: Programming and Software Engineering ; 12297
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.

366.
367.
Bioinspired Optimization Methods and Their Applications [electronic resource] : 10th International Conference, BIOMA 2022, Maribor, Slovenia, November 17–18, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13627
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.

368.
369.
370.
371.
372.
Mathematical Software – ICMS 2018 [electronic resource] : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10931
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

373.
Advances in Cryptology – CRYPTO 2018 [electronic resource] : 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part II / by Series: Security and Cryptology ; 10992
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

374.
375.
Intelligent Computer Mathematics [electronic resource] : 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11617
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.

376.
377.
Quantitative Evaluation of Systems [electronic resource] : 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12289
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.

378.
379.
380.
Search-Based Software Engineering [electronic resource] : 14th International Symposium, SSBSE 2022, Singapore, November 17–18, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13711
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