Your search returned 6990 results.

Sort
Results
5301.
Decision and Game Theory for Security [electronic resource] : 5th International Conference, GameSec 2014, Los Angeles, CA, USA, November 6-7, 2014, Proceedings / by Series: Security and Cryptology ; 8840
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.

5302.
Runtime Verification [electronic resource] : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings / by Series: Programming and Software Engineering ; 10548
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.

5303.
5304.
Big Data Analytics [electronic resource] : Third International Conference, BDA 2014, New Delhi, India, December 20-23, 2014. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8883
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.

5305.
Web-Age Information Management [electronic resource] : WAIM 2015 International Workshops: HENA, HRSUNE, Qingdao, China, June 8-10, 2015, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9391
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.

5306.
Trust and Trustworthy Computing [electronic resource] : 9th International Conference, TRUST 2016, Vienna, Austria, August 29-30, 2016, Proceedings / by Series: Security and Cryptology ; 9824
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.

5307.
5308.
Engineering Trustworthy Software Systems [electronic resource] : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / by Series: Programming and Software Engineering ; 9506
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.

5309.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9161
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.

5310.
5311.
DNA Computing and Molecular Programming [electronic resource] : 23rd International Conference, DNA 23, Austin, TX, USA, September 24–28, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10467
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.

5312.
Electronic Government and the Information Systems Perspective [electronic resource] : 6th International Conference, EGOVIS 2017, Lyon, France, August 28-31, 2017, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10441
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.

5313.
5314.
Structured Object-Oriented Formal Language and Method [electronic resource] : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 8332
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.

5315.
5316.
5317.
Theory and Applications of Models of Computation [electronic resource] : 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9076
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.

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