Your search returned 1393 results.

Sort
Results
281.
Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12735
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.

282.
283.
DNA Computing and Molecular Programming [electronic resource] : 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8141
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

284.
285.
Formal Methods in Outer Space [electronic resource] : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / by Series: Programming and Software Engineering ; 13065
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.

286.
Engineering Multi-Agent Systems [electronic resource] : 9th International Workshop, EMAS 2021, Virtual Event, May 3–4, 2021, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 13190
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.

287.
288.
289.
290.
Metaheuristics for Finding Multiple Solutions [electronic resource] / by Series: Natural Computing Series
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.

291.
292.
Human-Centered Artificial Intelligence [electronic resource] : Advanced Lectures / by Series: Lecture Notes in Artificial Intelligence ; 13500
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

293.
Brain-Inspired Computing [electronic resource] : International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8603
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

294.
PRIMA 2020: Principles and Practice of Multi-Agent Systems [electronic resource] : 23rd International Conference, Nagoya, Japan, November 18–20, 2020, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 12568
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.

295.
Agents and Artificial Intelligence [electronic resource] : 13th International Conference, ICAART 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 13251
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.

296.
297.
298.
NASA Formal Methods [electronic resource] : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / by Series: Programming and Software Engineering ; 10811
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.

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