Refine your search

Your search returned 17575 results.

Sort
Results
3881.
Provable Security [electronic resource] : 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012, Proceedings / by Series: Security and Cryptology ; 7496
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

3882.
Haptic and Audio Interaction Design [electronic resource] : 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5763
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

3883.
3884.
3885.
3886.
Formal Grammar 2018 [electronic resource] : 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10950
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

3887.
3888.
Static Analysis [electronic resource] : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings / by Series: Programming and Software Engineering ; 11002
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.

3889.
Programming with Actors [electronic resource] : State-of-the-Art and Research Perspectives / by Series: Programming and Software Engineering ; 10789
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.

3890.
3891.
3892.
Scalable Uncertainty Management [electronic resource] : 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11142
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.

3893.
Theoretical Aspects of Computing – ICTAC 2018 [electronic resource] : 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11187
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.

3894.
Internet Science [electronic resource] : 5th International Conference, INSCI 2018, St. Petersburg, Russia, October 24–26, 2018, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11193
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.

3895.
3896.
3897.
3898.
Engineering Trustworthy Software Systems [electronic resource] : Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures / by Series: Programming and Software Engineering ; 11174
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.

3899.
3900.
Security Protocols XXVI [electronic resource] : 26th International Workshop, Cambridge, UK, March 19–21, 2018, Revised Selected Papers / by Series: Security and Cryptology ; 11286
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.

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