Refine your search

Your search returned 8148 results.

Sort
Results
3381.
Advances in Artificial Life [electronic resource] : 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 5778
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.

3382.
Scalable Uncertainty Management [electronic resource] : Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5291
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.

3383.
Model Checking and Artificial Intelligence [electronic resource] : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / by Series: Lecture Notes in Artificial Intelligence ; 4428
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.

3384.
Computer Vision – ACCV 2016 Workshops [electronic resource] : ACCV 2016 International Workshops, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part I / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10116
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.

3385.
3386.
Advances in Swarm Intelligence [electronic resource] : 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 10942
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

3387.
Algorithms and Data Structures [electronic resource] : 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings / by Series: Theoretical Computer Science and General Issues ; 5664
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.

3388.
LATIN 2010: Theoretical Informatics [electronic resource] : 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6034
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.

3389.
Advances in Computation and Intelligence [electronic resource] : Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4683
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.

3390.
Graph Drawing [electronic resource] : 16th International Symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008, Revised Papers / by Series: Theoretical Computer Science and General Issues ; 5417
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.

3391.
Computer Science Logic [electronic resource] : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5213
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.

3392.
Verified Software. Theories, Tools, and Experiments [electronic resource] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers / by Series: Programming and Software Engineering ; 9971
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.

3393.
3394.
KI 2010: Advances in Artificial Intelligence [electronic resource] : 33rd Annual German Conference on AI, Karlsruhe, Germany, September 21-24, 2010, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6359
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.

3395.
Mathematics and Computation in Music [electronic resource] : 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9110
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.

3396.
3397.
3398.
STACS 2005 [electronic resource] : 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3404
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.

3399.
Advances in Artificial Intelligence [electronic resource] : 18th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2005, Victoria, Canada, May 9-11, 2005, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3501
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.

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