Refine your search

Your search returned 743 results.

Sort
Results
241.
242.
243.
Reasoning Web. Declarative Artificial Intelligence [electronic resource] : 16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12258
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.

244.
245.
246.
247.
248.
249.
Formal Methods and Software Engineering [electronic resource] : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings / by Series: Programming and Software Engineering ; 12531
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.

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

251.
252.
Transactions on Computational Collective Intelligence XXIX [electronic resource] / by Series: Transactions on Computational Collective Intelligence ; 10840
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.

253.
254.
255.
256.
257.
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.

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

259.
Machine Translation [electronic resource] : 16th China Conference, CCMT 2020, Hohhot, China, October 10-12, 2020, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1328
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

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