Refine your search

Your search returned 3659 results.

Sort
Results
841.
842.
843.
844.
845.
846.
Verified Software: Theories, Tools and Experiments [electronic resource] : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers / by Series: Programming and Software Engineering ; 8471
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.

847.
848.
849.
Transactions on Computational Collective Intelligence XXIX [electronic resource] / by Series: Transactions on Computational Collective Intelligence ; 10840
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.

850.
Combinatorial Optimization and Applications [electronic resource] : 14th International Conference, COCOA 2020, Dallas, TX, USA, December 11–13, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12577
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.

851.
852.
Advances in Computer Games [electronic resource] : 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 12516
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.

853.
Decision and Game Theory for Security [electronic resource] : 11th International Conference, GameSec 2020, College Park, MD, USA, October 28–30, 2020, Proceedings / by Series: Security and Cryptology ; 12513
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.

854.
855.
856.
857.
858.
Relational and Algebraic Methods in Computer Science [electronic resource] : 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13896
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.

859.
860.
Data Science [electronic resource] : An Introduction to Statistics and Machine Learning / by
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

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