Your search returned 7426 results.

Sort
Results
3241.
3242.
3243.
3244.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings / by Series: Theoretical Computer Science and General Issues ; 5403
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.

3245.
3246.
Advances in Cryptology -- CRYPTO 2012 [electronic resource] : 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012, Proceedings / by Series: Security and Cryptology ; 7417
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.

3247.
Computer Vision Systems [electronic resource] : 8th International Conference, ICVS 2011, Sophia Antipolis, France, September 20-22, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6962
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.

3248.
Internet and Network Economics [electronic resource] : Third International Workshop,WINE 2007, San Diego, CA, USA, December 12-14, 2007, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4858
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.

3249.
3250.
Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings / by Series: Theoretical Computer Science and General Issues ; 5133
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.

3251.
Knowledge-Based and Intelligent Information and Engineering Systems [electronic resource] : 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part IV / by Series: Lecture Notes in Artificial Intelligence ; 6279
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.

3252.
Advances in Cryptology - CRYPTO 2007 [electronic resource] : 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007, Proceedings / by Series: Security and Cryptology ; 4622
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.

3253.
Case-Based Reasoning Research and Development [electronic resource] : 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7969
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.

3254.
Active Media Technology [electronic resource] : 5th International Conference, AMT 2009, Beijing, China, October 22-24, 2009, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5820
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.

3255.
WALCOM: Algorithms and Computation [electronic resource] : Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4921
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.

3256.
3257.
Scalable Uncertainty Management [electronic resource] : 5th International Conference, SUM 2011, Dayton, OH, USA, October 10-13, 2011, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6929
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.

3258.
Multi-Agent-Based Simulation XIII [electronic resource] : International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 7838
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.

3259.
Unifying Theories of Programming [electronic resource] : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 4010
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.

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