Refine your search

Your search returned 8301 results.

Sort
Results
2341.
2342.
2343.
2344.
2345.
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.

2346.
2347.
Computer Vision Systems [electronic resource] : 10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9163
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

2348.
2349.
2350.
2351.
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10616
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

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

2353.
2354.
2355.
2356.
Decision and Game Theory for Security [electronic resource] : 10th International Conference, GameSec 2019, Stockholm, Sweden, October 30 – November 1, 2019, Proceedings / by Series: Security and Cryptology ; 11836
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.

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

2358.
2359.
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.

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