Your search returned 5536 results.

Sort
Results
2601.
Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / by Series: Programming and Software Engineering ; 8244
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.

2602.
2603.
Cooperative Design, Visualization, and Engineering [electronic resource] : 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6240
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.

2604.
2605.
2606.
Web Information Systems and Mining [electronic resource] : International Conference, WISM 2009, Shanghai, China, November 7-8, 2009, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5854
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.

2607.
Radio Frequency Identification and IoT Security [electronic resource] : 12th International Workshop, RFIDSec 2016, Hong Kong, China, November 30 -- December 2, 2016, Revised Selected Papers / by Series: Security and Cryptology ; 10155
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.

2608.
User Modeling, Adaptation and Personalization [electronic resource] : 19th International Conference, UMAP 2011, Girona, Spain, July 11-15, 2011 / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6787
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

2609.
Decision and Game Theory for Security [electronic resource] : 6th International Conference, GameSec 2015, London, UK, November 4-5, 2015, Proceedings / by Series: Security and Cryptology ; 9406
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.

2610.
Numerical Software Verification [electronic resource] : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10152
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.

2611.
2612.
Financial Cryptography and Data Security [electronic resource] : 12th International Conference, FC 2008, Cozumel, Mexico, January 28-31, 2008. Revised Selected Papers / by Series: Security and Cryptology ; 5143
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

2613.
2614.
Research in Attacks, Intrusions and Defenses [electronic resource] : 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012, Proceedings / by Series: Security and Cryptology ; 7462
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.

2615.
2616.
Information Systems Security [electronic resource] : 13th International Conference, ICISS 2017, Mumbai, India, December 16-20, 2017, Proceedings / by Series: Security and Cryptology ; 10717
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.

2617.
2618.
2619.
2620.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in