Refine your search

Your search returned 8302 results.

Sort
Results
861.
862.
863.
Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 12224
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.

864.
Multi-Agent-Based Simulation XX [electronic resource] : 20th International Workshop, MABS 2019, Montreal, QC, Canada, May 13, 2019, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 12025
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.

865.
866.
867.
Human and Machines [electronic resource] : Philosophical Thinking of Artificial Intelligence / by Series: Human Intelligence
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.

868.
From Data to Models and Back [electronic resource] : 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 13268
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.

869.
870.
Scalable Uncertainty Management [electronic resource] : 15th International Conference, SUM 2022, Paris, France, October 17–19, 2022, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 13562
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.

871.
Algebraic Informatics [electronic resource] : 9th International Conference, CAI 2022, Virtual Event, October 27–29, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13706
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.

872.
Social Media Analysis for Event Detection [electronic resource] / by Series: Lecture Notes in Social Networks
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.

873.
Intelligence Science IV [electronic resource] : 5th IFIP TC 12 International Conference, ICIS 2022, Xi'an, China, October 28–31, 2022, Proceedings / by Series: IFIP Advances in Information and Communication Technology ; 659
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.

874.
875.
876.
877.
Modeling Decisions for Artificial Intelligence [electronic resource] : 20th International Conference, MDAI 2023, Umeå, Sweden, June 19–22, 2023, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 13890
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.

878.
Proceedings of the International Health Informatics Conference [electronic resource] : IHIC 2022 / by Series: Lecture Notes in Electrical Engineering ; 990
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

879.
Advanced Data Mining and Applications [electronic resource] : 7th International Conference, ADMA 2011, Beijing, China, December 17-19, 2011, Proceedings, Part I / by Series: Lecture Notes in Artificial Intelligence ; 7120
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

880.
Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10, 2010. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6304
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

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