Your search returned 6990 results.

Sort
Results
5601.
5602.
5603.
Web Services and Formal Methods [electronic resource] : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers / by Series: Programming and Software Engineering ; 8379
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.

5604.
5605.
Topics in Cryptology –- CT-RSA 2015 [electronic resource] : The Cryptographer's Track at the RSA Conference 2015, San Francisco, CA, USA, April 20-24, 2015. Proceedings / by Series: Security and Cryptology ; 9048
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.

5606.
5607.
5608.
5609.
5610.
Human-Computer Interaction: Users and Contexts [electronic resource] : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2–7, 2015. Proceedings, Part III / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9171
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.

5611.
Computer Vision – ECCV 2016 Workshops [electronic resource] : Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part III / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9915
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.

5612.
Information and Communications Security [electronic resource] : 15th International Conference, ICICS 2013, Beijing, China, November 20-22, 2013, Proceedings / by Series: Security and Cryptology ; 8233
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

5613.
Information Theoretic Security [electronic resource] : 7th International Conference, ICITS 2013, Singapore, November 28-30, 2013, Proceedings / by Series: Security and Cryptology ; 8317
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.

5614.
Languages and Compilers for Parallel Computing [electronic resource] : 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25--27, 2013. Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8664
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.

5615.
Software Architecture [electronic resource] : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings / by Series: Programming and Software Engineering ; 10475
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.

5616.
Lightweight Cryptography for Security and Privacy [electronic resource] : 5th International Workshop, LightSec 2016, Aksaray, Turkey, September 21-22, 2016, Revised Selected Papers / by Series: Security and Cryptology ; 10098
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.

5617.
5618.
Runtime Verification [electronic resource] : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings / by Series: Programming and Software Engineering ; 10012
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.

5619.
5620.
Data Analytics for Renewable Energy Integration [electronic resource] : Third ECML PKDD Workshop, DARE 2015, Porto, Portugal, September 11, 2015. Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 9518
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.

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