Refine your search

Your search returned 7478 results.

Sort
Results
4661.
Software Engineering for Resilient Systems [electronic resource] : Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011, Proceedings / by Series: Programming and Software Engineering ; 6968
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.

4662.
4663.
Digital Watermarking [electronic resource] : 9th International Workshop, IWDW 2010, Seoul, Korea, October 1-3, 2010, Revised Selected Papers / by Series: Security and Cryptology ; 6526
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.

4664.
Discovery Science [electronic resource] : 10th International Conference, DS 2007 Sendai, Japan, October 1-4, 2007. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4755
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

4665.
4666.
Swarm Robotics [electronic resource] : SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 3342
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.

4667.
Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 7610
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.

4668.
Quality of Service – IWQoS 2005 [electronic resource] : 13th International Workshop, IWQoS 2005, Passau, Germany, June 21-23, 2005. Proceedings / by Series: Computer Communication Networks and Telecommunications ; 3552
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.

4669.
4670.
Cryptographic Hardware and Embedded Systems -- CHES 2013 [electronic resource] : 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013, Proceedings / by Series: Security and Cryptology ; 8086
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.

4671.
Attention in Cognitive Systems [electronic resource] : International Workshop on Attention in Cognitive Systems, WAPCV 2008 Fira, Santorini, Greece, May 12, 2008, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 5395
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.

4672.
4673.
Computational Linguistics and Intelligent Text Processing [electronic resource] : 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3406
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.

4674.
Fast Software Encryption [electronic resource] : 21st International Workshop, FSE 2014, London, UK, March 3-5, 2014. Revised Selected Papers / by Series: Security and Cryptology ; 8540
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

4675.
Network Optimization [electronic resource] : 5th International Conference, INOC 2011, Hamburg, Germany, June 13-16, 2011, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 6701
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.

4676.
4677.
Intelligent Virtual Agents [electronic resource] : 10th International Conference, IVA 2010, Philadelphia, PA, USA. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6356
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.

4678.
E-Voting and Identity [electronic resource] : Third International Conference, VoteID 2011, Tallinn, Estonia, September 28-20, 2011, Revised Selected Papers / by Series: Security and Cryptology ; 7187
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.

4679.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8053
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.

4680.
Pattern Recognition [electronic resource] : 30th DAGM Symposium Munich, Germany, June 10-13, 2008 Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5096
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.

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