Your search returned 8340 results.

Sort
Results
3441.
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.

3442.
3443.
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.

3444.
3445.
3446.
3447.
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.

3448.
Cyberspace Safety and Security [electronic resource] : 9th International Symposium, CSS 2017, Xi’an China, October 23–25, 2017, Proceedings / by Series: Security and Cryptology ; 10581
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.

3449.
Information and Communications Security [electronic resource] : 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings / by Series: Security and Cryptology ; 10631
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.

3450.
Trends in Functional Programming [electronic resource] : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10788
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.

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

3452.
3453.
3454.
3455.
3456.
3457.
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.

3458.
The Innovation Mode [electronic resource] : How to Transform Your Organization into an Innovation Powerhouse / by
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.

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

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

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