Refine your search

Your search returned 4164 results.

Sort
Results
2601.
Knowledge Engineering: Practice and Patterns [electronic resource] : 16th International Conference, EKAW 2008, Acitrezza, Sicily, Italy September 29 - October 3, 2008, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5268
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.

2602.
Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4144
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.

2603.
2604.
Advanced Methodologies for Bayesian Networks [electronic resource] : Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9505
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.

2605.
2606.
Knowledge-Based and Intelligent Information and Engineering Systems [electronic resource] : 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part II / by Series: Lecture Notes in Artificial Intelligence ; 6277
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.

2607.
Web Engineering [electronic resource] : 10th International Conference, ICWE 2010, Vienna, Austria, July 5-9, 2010. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6189
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.

2608.
Text, Speech, and Dialogue [electronic resource] : 19th International Conference, TSD 2016, Brno , Czech Republic, September 12-16, 2016, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9924
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.

2609.
2610.
2611.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3702
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.

2612.
2613.
Frontiers of Combining Systems [electronic resource] : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3717
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.

2614.
Computational Collective IntelligenceTechnologies and Applications [electronic resource] : Third International Conference, ICCCI 2011, Gdynia, Poland, September 21-23, 2011, Proceedings, Part II / by Series: Lecture Notes in Artificial Intelligence ; 6923
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.

2615.
Types for Proofs and Programs [electronic resource] : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 4941
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.

2616.
Artificial General Intelligence [electronic resource] : 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6830
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.

2617.
Diagrammatic Representation and Inference [electronic resource] : 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9781
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.

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