Your search returned 475 results.

Sort
Results
221.
222.
223.
Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 14216
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.

224.
225.
Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I / by Series: Lecture Notes in Computer Science ; 14215
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.

226.
Mobile Web and Intelligent Information Systems [electronic resource] : 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14–16, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13977
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.

227.
228.
229.
230.
231.
232.
233.
234.
Advanced Parallel Processing Technologies [electronic resource] : 15th International Symposium, APPT 2023, Nanchang, China, August 4–6, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14103
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook
Availability: No items available.

235.
Intelligent Tutoring Systems [electronic resource] : 7th International Conference, ITS 2004, Maceió, Alagoas, Brazil, August 30 - September 3, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3220
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

236.
Parameterized and Exact Computation [electronic resource] : First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3162
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

237.
Mobile Human-Computer Interaction - Mobile HCI 2004 [electronic resource] : 6th International Symposium, Glasgow, UK, September 13-16, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3160
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

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