Refine your search

Your search returned 7935 results.

Sort
Results
681.
682.
Algorithms and Computation [electronic resource] : 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8344
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.

683.
684.
Tests and Proofs [electronic resource] : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings / by Series: Programming and Software Engineering ; 8570
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.

685.
Integrated Formal Methods [electronic resource] : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / by Series: Programming and Software Engineering ; 9681
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

686.
687.
688.
Computer Performance Engineering [electronic resource] : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings / by Series: Programming and Software Engineering ; 8721
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.

689.
690.
Advances in Neural Networks -- ISNN 2010 [electronic resource] : 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 6064
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

691.
Privacy Enhancing Technologies [electronic resource] : 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013, Proceedings / by Series: Security and Cryptology ; 7981
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

692.
Machine Learning Risk Assessments in Criminal Justice Settings [electronic resource] / by
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.

693.
Practical Aspects of Declarative Languages [electronic resource] : 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings / by Series: Programming and Software Engineering ; 11372
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.

694.
695.
Parallel Computing Technologies [electronic resource] : 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11657
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.

696.
Advances in Cryptology – CRYPTO 2019 [electronic resource] : 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I / by Series: Security and Cryptology ; 11692
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.

697.
Image Analysis and Recognition [electronic resource] : 16th International Conference, ICIAR 2019, Waterloo, ON, Canada, August 27–29, 2019, Proceedings, Part I / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11662
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.

698.
Sequential and Parallel Algorithms and Data Structures [electronic resource] : The Basic Toolbox / by
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.

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