Refine your search

Your search returned 9091 results.

Sort
Results
5201.
5202.
Security Protocols XVI [electronic resource] : 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers / by Series: Security and Cryptology ; 6615
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.

5203.
Security and Trust Management [electronic resource] : 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers / by Series: Security and Cryptology ; 7783
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.

5204.
Algorithm Theory - SWAT 2010 [electronic resource] : 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings / by Series: Theoretical Computer Science and General Issues ; 6139
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.

5205.
Cryptology and Network Security [electronic resource] : 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings / by Series: Security and Cryptology ; 10052
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.

5206.
Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings / by Series: Programming and Software Engineering ; 4054
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.

5207.
5208.
Knowledge Discovery in Inductive Databases [electronic resource] : 4th International Workshop, KDID 2005, Porto, Portugal, October 3, 2005, Revised Selected and Invited Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3933
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.

5209.
5210.
5211.
5212.
Rules and Rule Markup Languages for the Semantic Web [electronic resource] : First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3791
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

5213.
5214.
General Theory of Information Transfer and Combinatorics [electronic resource] / by Series: Theoretical Computer Science and General Issues ; 4123
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.

5215.
Computer Aided Verification [electronic resource] : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8559
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.

5216.
Transactions on Computational Collective Intelligence XIV [electronic resource] / by Series: Transactions on Computational Collective Intelligence ; 8615
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

5217.
Geometric Science of Information [electronic resource] : First International Conference, GSI 2013, Paris, France, August 28-30, 2013, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8085
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.

5218.
Unconventional Computation and Natural Computation [electronic resource] : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7956
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.

5219.
Language and Automata Theory and Applications [electronic resource] : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6031
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.

5220.
Logic and Its Applications [electronic resource] : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10119
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

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