Refine your search

Your search returned 17575 results.

Sort
Results
7721.
AI 2004: Advances in Artificial Intelligence [electronic resource] : 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3339
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.

7722.
7723.
Digital Human Modeling [electronic resource] : First International Conference, ICDHM 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4561
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.

7724.
7725.
Model Checking Software [electronic resource] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4595
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.

7726.
Advances in Artificial Intelligence - IBERAMIA 2010 [electronic resource] : 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6433
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.

7727.
Analysis and Modelling of Faces and Gestures [electronic resource] : Second International Workshop, AMFG 2005, Beijing, China, October 16, 2005, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 3723
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.

7728.
Functional and Constraint Logic Programming [electronic resource] : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 6559
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.

7729.
7730.
7731.
Anaphora: Analysis, Algorithms and Applications [electronic resource] : 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos Portugal, March 29-30, 2007, Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 4410
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.

7732.
Implementation and Application of Automata [electronic resource] : 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 3317
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.

7733.
Model Checking Software [electronic resource] : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9232
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.

7734.
Architecting Critical Systems [electronic resource] : First International Symposium, Prague, Czech Republic, June 23-25, 2010 / by Series: Security and Cryptology ; 6150
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.

7735.
Programming Multi-Agent Systems [electronic resource] : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May10-15, 2009.Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 5919
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.

7736.
Integration of AI and OR Techniques in Constraint Programming [electronic resource] : 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8451
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

7737.
Coding Theory and Applications [electronic resource] : 2nd International Castle Meeting, ISMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5228
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.

7738.
Inductive Logic Programming [electronic resource] : 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5194
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.

7739.
Image and Graphics [electronic resource] : 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part II / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9218
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.

7740.
Engineering Psychology and Cognitive Ergonomics [electronic resource] : 12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9174
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.

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