Refine your search

Your search returned 29302 results.

Sort
Results
181.
182.
Intelligent Tutoring Systems [electronic resource] : 16th International Conference, ITS 2020, Athens, Greece, June 8–12, 2020, Proceedings / by Series: Programming and Software Engineering ; 12149
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.

183.
Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 12759
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.

184.
Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 12760
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.

185.
186.
187.
Search-Based Software Engineering [electronic resource] : 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings / by Series: Programming and Software Engineering ; 11664
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.

188.
189.
Data and Applications Security and Privacy XXXIV [electronic resource] : 34th Annual IFIP WG 11.3 Conference, DBSec 2020, Regensburg, Germany, June 25–26, 2020, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12122
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.

190.
191.
192.
193.
194.
Advances in Swarm Intelligence [electronic resource] : 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 11655
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.

195.
Neural Computing for Advanced Applications [electronic resource] : First International Conference, NCAA 2020, Shenzhen, China, July 3–5, 2020, Proceedings / by Series: Communications in Computer and Information Science ; 1265
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.

196.
197.
198.
Quantitative Evaluation of Systems [electronic resource] : 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12846
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.

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