Refine your search

Your search returned 7609 results.

Sort
Results
4061.
Formal Techniques for Networked and Distributed Systems - FORTE 2004 [electronic resource] : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3235
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

4062.
4063.
4064.
Software Security - Theories and Systems [electronic resource] : Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 / by Series: Lecture Notes in Computer Science ; 3233
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

4065.
Grid Computing [electronic resource] : Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004. Revised Papers / by Series: Lecture Notes in Computer Science ; 3165
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

4066.
Information Security [electronic resource] : 7th International Conference, ISC 2004, Palo Alto, CA, USA, September 27-29, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3225
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

4067.
Journal on Data Semantics VI [electronic resource] / by Series: Journal on Data Semantics ; 4090
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

4068.
Constructive Side-Channel Analysis and Secure Design [electronic resource] : 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised Selected Papers / by Series: Security and Cryptology ; 7864
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.

4069.
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.

4070.
4071.
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.

4072.
4073.
4074.
4075.
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.

4076.
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.

4077.
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.

4078.
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.

4079.
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.

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