Refine your search

Your search returned 8301 results.

Sort
Results
3701.
Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6174
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.

3702.
The Semantic Web [electronic resource] : Fourth Asian Conference, ASWC 2009, Shanghai, China, December 6-9, 2008. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5926
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.

3703.
Transactions on Rough Sets VII [electronic resource] : Commemorating the Life and Work of Zdzislaw Pawlak, Part II / by Series: Transactions on Rough Sets ; 4400
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.

3704.
3705.
3706.
3707.
Intelligent Computing in Engineering and Architecture [electronic resource] : 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 4200
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.

3708.
Information Processing in Medical Imaging [electronic resource] : 22nd International Conference, IPMI 2011, Kloster Irsee, Germany, July 3-8, 2011, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6801
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.

3709.
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011. Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 7258
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.

3710.
Neural Information Processing [electronic resource] : 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part III / by Series: Theoretical Computer Science and General Issues ; 4234
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.

3711.
Combinatorial Pattern Matching [electronic resource] : 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings / by Series: Theoretical Computer Science and General Issues ; 8486
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.

3712.
Speech and Computer [electronic resource] : 16th International Conference, SPECOM 2014, Novi Sad, Serbia, October 5-9, 2014. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8773
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.

3713.
Anaphora Processing and Applications [electronic resource] : 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009 Goa, India, November 5-6, 2009 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5847
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.

3714.
Transactions on Computational Collective Intelligence V [electronic resource] / by Series: Transactions on Computational Collective Intelligence ; 6910
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.

3715.
3716.
Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31-June 1, 2007, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4496
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.

3717.
Multi-Agent Systems for Society [electronic resource] : 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 4078
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.

3718.
HCI and Usability for Education and Work [electronic resource] : 4th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2008, Graz, Austria, November 20-21, 2008, Proceedings / by Series: Programming and Software Engineering ; 5298
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.

3719.
Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II / by Series: Lecture Notes in Artificial Intelligence ; 5178
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.

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