Refine your search

Your search returned 8148 results.

Sort
Results
3841.
Practical Aspects of Knowledge Management [electronic resource] : 6th Internatioal Conference, PAKM 2006, Vienna, Austria, November 30-December 1, 2006, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4333
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.

3842.
Theory and Applications of Satisfiability Testing -- SAT 2012 [electronic resource] : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7317
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.

3843.
3844.
3845.
Designing Smart Homes [electronic resource] : The Role of Artificial Intelligence / by Series: Lecture Notes in Artificial Intelligence ; 4008
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.

3846.
Brain-Inspired Computing [electronic resource] : Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 10087
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.

3847.
Human-Computer Interaction: Design and Evaluation [electronic resource] : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2–7, 2015. Proceedings, Part I / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9169
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.

3848.
3849.
Unconventional Computation and Natural Computation [electronic resource] : 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8553
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.

3850.
3851.
3852.
Computational Logic in Multi-Agent Systems [electronic resource] : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers / by Series: Lecture Notes in Artificial Intelligence ; 3259
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.

3853.
Formal Methods in Computer-Aided Design [electronic resource] : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3312
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.

3854.
3855.
Algorithmic Aspects in Information and Management [electronic resource] : 10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8546
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.

3856.
3857.
3858.
Conceptual Modelling and Its Theoretical Foundations [electronic resource] : Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7260
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.

3859.
Convergence and Hybrid Information Technology [electronic resource] : 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6935
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.

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