Refine your search

Your search returned 8301 results.

Sort
Results
4741.
4742.
Automated Deduction -- CADE-23 [electronic resource] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6803
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.

4743.
Foundations of Intelligent Systems [electronic resource] : 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5722
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.

4744.
Practical Aspects of Knowledge Management [electronic resource] : 5th International Conference, PAKM 2004, Vienna, Austria, December 2-3, 2004, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3336
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

4745.
Algorithms and Models for the Web Graph [electronic resource] : 13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14–15, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10088
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.

4746.
Pattern Recognition and Image Analysis [electronic resource] : 5th Iberian Conference, IbPRIA 2011, Las Palmas de Gran Canaria, Spain, June 8-10, 2011. Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6669
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.

4747.
4748.
4749.
Computational Geometry, Graphs and Applications [electronic resource] : International Conference,CGGA 2010, Dalian, China, November 3-6, 2010, Revised, Selected Papers / by Series: Theoretical Computer Science and General Issues ; 7033
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.

4750.
4751.
4752.
4753.
4754.
Computing and Combinatorics [electronic resource] : 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10392
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.

4755.
Network and Parallel Computing [electronic resource] : 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6985
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.

4756.
4757.
4758.
Algorithmic Aspects in Information and Management [electronic resource] : Third International Conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4508
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.

4759.
Property Testing [electronic resource] : Current Research and Surveys / by Series: Theoretical Computer Science and General Issues ; 6390
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.

4760.
Data Warehousing and Knowledge Discovery [electronic resource] : 9th International Conference, DaWaK 2007, Regensburg, Germany, September 3-7, 2007, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4654
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.

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