Refine your search

Your search returned 8301 results.

Sort
Results
1621.
1622.
1623.
Computer Aided Verification [electronic resource] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6806
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.

1624.
1625.
Transactions on Edutainment VII [electronic resource] / by Series: Transactions on Edutainment ; 7145
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

1626.
1627.
1628.
1629.
1630.
1631.
1632.
1633.
Combinatorial Optimization [electronic resource] : 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10856
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.

1634.
Transactions on Computational Collective Intelligence XXX [electronic resource] / by Series: Transactions on Computational Collective Intelligence ; 11120
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.

1635.
1636.
1637.
PRICAI 2019: Trends in Artificial Intelligence [electronic resource] : 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part III / by Series: Lecture Notes in Artificial Intelligence ; 11672
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.

1638.
1639.
1640.
Scalable Uncertainty Management [electronic resource] : 13th International Conference, SUM 2019, Compiègne, France, December 16–18, 2019, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11940
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.

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