Refine your search

Your search returned 9091 results.

Sort
Results
4761.
Advanced Parallel Processing Technologies [electronic resource] : 8th International Symposium, APPT 2009, Rapperswil, Switzerland, August 24-25, 2009 Proceedings / by Series: Theoretical Computer Science and General Issues ; 5737
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.

4762.
Theory and Practice of Natural Computing [electronic resource] : Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings / by Series: Theoretical Computer Science and General Issues ; 9477
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.

4763.
4764.
FM 2015: Formal Methods [electronic resource] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / by Series: Programming and Software Engineering ; 9109
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.

4765.
Advances in Knowledge Discovery and Data Mining [electronic resource] : 13th Pacific-Asia Conference, PAKDD 2009 Bangkok, Thailand, April 27-30, 2009 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5476
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.

4766.
Security Protocols [electronic resource] : 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers / by Series: Security and Cryptology ; 8263
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.

4767.
Financial Cryptography and Data Security [electronic resource] : 15th International Conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers / by Series: Security and Cryptology ; 7035
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.

4768.
Advances in Machine Learning and Cybernetics [electronic resource] : 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 3930
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.

4769.
AI 2006: Advances in Artificial Intelligence [electronic resource] : 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4304
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.

4770.
Financial Cryptography and Data Security [electronic resource] : 18th International Conference, FC 2014, Christ Church, Barbados, March 3-7, 2014, Revised Selected Papers / by Series: Security and Cryptology ; 8437
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.

4771.
WALCOM: Algorithms and Computation [electronic resource] : Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5431
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.

4772.
4773.
Logic Programming [electronic resource] : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings / by Series: Programming and Software Engineering ; 4670
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.

4774.
Selected Areas in Cryptography [electronic resource] : 19th International Conference, SAC 2012, Windsor, Canada, August 15-16, 2012, Revised Selected Papers / by Series: Security and Cryptology ; 7707
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.

4775.
Programming Multi-Agent-Systems [electronic resource] : 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / by Series: Lecture Notes in Artificial Intelligence ; 4411
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.

4776.
Theory of Cryptography [electronic resource] : Sixth Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009, Proceedings / by Series: Security and Cryptology ; 5444
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.

4777.
Hybrid Artificial Intelligent Systems, Part II [electronic resource] : 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6077
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.

4778.
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8307
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.

4779.
Security and Trust Management [electronic resource] : 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013, Proceedings / by Series: Security and Cryptology ; 8203
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.

4780.
Optical Supercomputing [electronic resource] : Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 6748
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.

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