Your search returned 621 results.

Sort
Results
401.
Metainformatics [electronic resource] : International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 3511
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.

402.
Algorithms and Data Structures [electronic resource] : 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4619
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.

403.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8312
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

404.
Emerging Trends in Visual Computing [electronic resource] : LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008, Revised Selected and Invited Papers / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5416
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.

405.
Multiple Classifier Systems [electronic resource] : 8th International Workshop, MCS 2009, Reykjavik, Iceland, June 10-12, 2009, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5519
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.

406.
407.
Advances in Artificial Intelligence - SBIA 2008 [electronic resource] : 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 / by Series: Lecture Notes in Artificial Intelligence ; 5249
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.

408.
Logics in Artificial Intelligence [electronic resource] : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7519
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.

409.
Structural Information and Communication Complexity [electronic resource] : 16th International Colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 5869
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.

410.
Programming Multi-Agent Systems [electronic resource] : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 6599
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.

411.
412.
Inductive Logic Programming [electronic resource] : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3194
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.

413.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5330
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.

414.
Principles and Practice of Constraint Programming - CP 2006 [electronic resource] : 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings / by Series: Programming and Software Engineering ; 4204
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.

415.
Diagrammatic Representation and Inference [electronic resource] : 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4045
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.

416.
Applications of Declarative Programming and Knowledge Management [electronic resource] : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 6547
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.

417.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 10501
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.

418.
Multiagent System Technologies [electronic resource] : 4th German Conference, MATES 2006, Erfurt, Germany, September 19-20, 2006, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4196
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.

419.
420.
Pattern Recognition [electronic resource] : 30th DAGM Symposium Munich, Germany, June 10-13, 2008 Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 5096
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