Refine your search

Your search returned 4435 results.

Sort
Results
1341.
1342.
NASA Formal Methods [electronic resource] : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13260
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.

1343.
1344.
Smart Cities [electronic resource] : 5th Ibero-American Congress, ICSC-CITIES 2022, Cuenca, Ecuador, November 28-30, 2022, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1706
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.

1345.
1346.
1347.
1348.
1349.
Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings / by Series: Programming and Software Engineering ; 13071
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.

1350.
1351.
1352.
1353.
1354.
Product-Focused Software Process Improvement [electronic resource] : 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings / by Series: Programming and Software Engineering ; 13126
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.

1355.
1356.
1357.
Computer Science – CACIC 2021 [electronic resource] : 27th Argentine Congress, CACIC 2021, Salta, Argentina, October 4–8, 2021, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1584
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.

1358.
Smart Computing and Communication [electronic resource] : 7th International Conference, SmartCom 2022, New York City, NY, USA, November 18–20, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13828
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.

1359.
1360.
Advances in Cryptology – ASIACRYPT 2021 [electronic resource] : 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6–10, 2021, Proceedings, Part II / by Series: Security and Cryptology ; 13091
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