Refine your search

Your search returned 4164 results.

Sort
Results
721.
722.
723.
724.
Theory and Applications of Satisfiability Testing – SAT 2017 [electronic resource] : 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10491
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

725.
726.
727.
728.
729.
730.
Discovery Science [electronic resource] : 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11828
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.

731.
Automated Technology for Verification and Analysis [electronic resource] : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings / by Series: Programming and Software Engineering ; 11781
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.

732.
733.
734.
735.
736.
A Practical Guide to Hybrid Natural Language Processing [electronic resource] : Combining Neural Models and Knowledge Graphs for NLP / by
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.

737.
The Web of Data [electronic resource] / by
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.

738.
Software Engineering and Formal Methods [electronic resource] : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12310
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.

739.
Human Mental Workload: Models and Applications [electronic resource] : 4th International Symposium, H-WORKLOAD 2020, Granada, Spain, December 3–5, 2020, Proceedings / by Series: Communications in Computer and Information Science ; 1318
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.

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