Refine your search

Your search returned 1786 results.

Sort
Results
221.
Nordic Artificial Intelligence Research and Development [electronic resource] : Third Symposium of the Norwegian AI Society, NAIS 2019, Trondheim, Norway, May 27–28, 2019, Proceedings / by Series: Communications in Computer and Information Science ; 1056
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.

222.
Engineering Multi-Agent Systems [electronic resource] : 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 12058
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.

223.
Text, Speech, and Dialogue [electronic resource] : 24th International Conference, TSD 2021, Olomouc, Czech Republic, September 6–9, 2021, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 12848
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.

224.
225.
226.
227.
228.
Automated Technology for Verification and Analysis [electronic resource] : 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13505
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.

229.
230.
Information Security Practice and Experience [electronic resource] : 14th International Conference, ISPEC 2018, Tokyo, Japan, September 25-27, 2018, Proceedings / by Series: Security and Cryptology ; 11125
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.

231.
232.
233.
234.
AI 2018: Advances in Artificial Intelligence [electronic resource] : 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11320
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.

235.
236.
237.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12288
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.

238.
Informatics in Schools. Engaging Learners in Computational Thinking [electronic resource] : 13th International Conference, ISSEP 2020, Tallinn, Estonia, November 16–18, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12518
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.

239.
Formal Methods – Fun for Everybody [electronic resource] : First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1301
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.

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