Refine your search

Your search returned 8301 results.

Sort
Results
4461.
Pattern Recognition [electronic resource] : 38th German Conference, GCPR 2016, Hannover, Germany, September 12-15, 2016, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9796
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

4462.
4463.
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.

4464.
Artificial Intelligence in Medicine [electronic resource] : 12th Conference on Artificial Intelligence in Medicine in Europe, AIME 2009, Verona, Italy, July 18-22, 2009, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5651
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.

4465.
4466.
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.

4467.
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.

4468.
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.

4469.
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.

4470.
4471.
4472.
Mathematical Foundations of Computer Science 2014 [electronic resource] : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 8634
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.

4473.
4474.
Data Warehousing and Knowledge Discovery [electronic resource] : 10th International Conference, DaWak 2008 Turin, Italy, September 1-5, 2008, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5182
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.

4475.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6793
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.

4476.
Ambient Assisted Living and Home Care [electronic resource] : 4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7657
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.

4477.
4478.
Practical Aspects of Declarative Languages [electronic resource] : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings / by Series: Programming and Software Engineering ; 10137
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

4479.
Formal Grammar [electronic resource] : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 5591
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.

4480.
Transactions on Rough Sets IX [electronic resource] / by Series: Transactions on Rough Sets ; 5390
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