Refine your search

Your search returned 7478 results.

Sort
Results
1861.
Image Analysis and Recognition [electronic resource] : 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings, Part I / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6753
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.

1862.
Information Security Technology for Applications [electronic resource] : 16th Nordic Conference on Security IT Systems, NordSec 2011, Talinn, Estonia, 26-28 October 2011, Revised Selected Papers / by Series: Security and Cryptology ; 7161
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.

1863.
Advances in Databases and Information Systems [electronic resource] : 11th East European Conference, ADBIS 2007, Varna, Bulgaria, September 29-October 3, 2007, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4690
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.

1864.
String Processing and Information Retrieval [electronic resource] : 13th International Conference, SPIRE 2006, Glasgow, UK, October 11-13, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4209
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.

1865.
Topics in Cryptology - CT- RSA 2013 [electronic resource] : The Cryptographer`s Track at RSA Conference 2013, San Francisco, CA, USA, February 25- March 1, 2013, Proceedings / by Series: Security and Cryptology ; 7779
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.

1866.
1867.
Topics in Cryptology – CT-RSA 2007 [electronic resource] : The Cryptographers' Track at the RSA Conference 2007, San Fancisco, CA, USA, February 5-9, 2007, Proceedings / by Series: Security and Cryptology ; 4377
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.

1868.
Runtime Verification [electronic resource] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers / by Series: Programming and Software Engineering ; 5779
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.

1869.
1870.
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3821
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.

1871.
1872.
Advances in Image and Video Technology [electronic resource] : Second Pacific Rim Symposium, PSIVT 2007 Santiago, Chile, December 17-19, 2007 Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 4872
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.

1873.
1874.
Creating Brain-Like Intelligence [electronic resource] : From Basic Principles to Complex Intelligent Systems / by Series: Lecture Notes in Artificial Intelligence ; 5436
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.

1875.
Graph Drawing [electronic resource] : 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006, Revised Papers / by Series: Theoretical Computer Science and General Issues ; 4372
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.

1876.
1877.
AI*IA 2005: Advances in Artificial Intelligence [electronic resource] : 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3673
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.

1878.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7595
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.

1879.
Transactions on Aspect-Oriented Software Development VIII [electronic resource] / by Series: Transactions on Aspect-Oriented Software Development ; 6580
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.

1880.
Algebraic Methodology and Software Technology [electronic resource] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers / by Series: Programming and Software Engineering ; 6486
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