Your search returned 7426 results.

Sort
Results
3741.
Principles of Distributed Systems [electronic resource] : 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7109
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.

3742.
Cryptography and Coding [electronic resource] : 10th IMA International Conference, Cirencester, UK, December 19-21, 2005, Proceedings / by Series: Security and Cryptology ; 3796
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.

3743.
Advances in Artificial Life [electronic resource] : 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4648
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.

3744.
Image Analysis and Processing -- ICIAP 2011 [electronic resource] : 16th International Conference, Ravenna, Italy, September 14-16, 2011, Proceedings, Part II / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6979
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.

3745.
3746.
Image Analysis and Recognition [electronic resource] : 5th International Conference, ICIAR 2008, Póvoa de Varzim, Portugal, June 25-27, 2008, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5112
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.

3747.
3748.
Computational Logic in Multi-Agent Systems [electronic resource] : 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6245
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.

3749.
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Tokyo,Japan, November 18-19, 2010, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 6797
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.

3750.
3751.
Automated Deduction in Geometry [electronic resource] : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers / by Series: Lecture Notes in Artificial Intelligence ; 3763
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.

3752.
Secure Data Managment [electronic resource] : 8th VLDB Workshop, SDM 2011, Seattle, WA, USA, September 2, 2011, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6933
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.

3753.
Advances in Artificial Intelligence [electronic resource] : 20th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2007, Montreal, Canada, May 28-30, 2007, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4509
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.

3754.
Mathematical Foundations of Computer Science 2006 [electronic resource] : 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4162
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.

3755.
3756.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7180
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.

3757.
Computer Aided Verification [electronic resource] : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3114
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.

3758.
Smart Card Research and Advanced Applications [electronic resource] : 9th IFIP WG 8.8/11.2 International Conference, CARDIS 2010, Passau, Germany, April 14-16, 2010, Proceedings / by Series: Security and Cryptology ; 6035
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.

3759.
Multiagent System Technologies [electronic resource] : 8th German Conference, MATES 2011, Leipzig, Germany, October 6-7, 2011 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6973
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.

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