Refine your search

Your search returned 8148 results.

Sort
Results
761.
762.
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.

763.
Artificial Intelligence in Healthcare [electronic resource] : Recent Applications and Developments / by Series: Brain Informatics and Health
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

764.
765.
766.
Rules and Reasoning [electronic resource] : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings / by Series: Programming and Software Engineering ; 11092
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.

767.
Artificial Intelligence and Symbolic Computation [electronic resource] : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11110
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.

768.
769.
770.
771.
772.
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.

773.
Information Retrieval [electronic resource] : 24th China Conference, CCIR 2018, Guilin, China, September 27–29, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11168
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.

774.
775.
776.
777.
778.
779.
Graphics Recognition. Current Trends and Evolutions [electronic resource] : 12th IAPR International Workshop, GREC 2017, Kyoto, Japan, November 9-10, 2017, Revised Selected Papers / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11009
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.

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

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