Library Services | Technical University of Kenya catalog › Results of search for 'su:{Artificial Intelligence incl. Robotics.}'

Your search returned 5383 results.

	4161.	The Complexity of Valued Constraint Satisfaction Problems [electronic resource] / by Stanislav Živný. by Živný, Stanislav [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	4162.	Advances in Production Management Systems. Value Networks: Innovation, Technologies, and Management [electronic resource] : IFIP WG 5.7 International Conference, APMS 2011, Stavanger, Norway, September 26-28, 2011, Revised Selected Papers / edited by Jan Frick, Bjørge Timenes Laugen. by Frick, Jan [editor.] \| Laugen, Bjørge Timenes [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	4163.	Advances in Natural Language Processing [electronic resource] : 8th International Conference on NLP, JapTAL 2012, Kanazawa, Japan, October 22-24, 2012. Proceedings / edited by Hitoshi Isahara, Kyoko Kanzaki. by Isahara, Hitoshi [editor.] \| Kanzaki, Kyoko [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	4164.	Advances in Conceptual Modeling [electronic resource] : ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings / edited by Silvana Castano, Panos Vassiliadis, Laks V. Lakshmanan, Mong Li Lee. by Castano, Silvana [editor.] \| Vassiliadis, Panos [editor.] \| Lakshmanan, Laks V [editor.] \| Lee, Mong Li [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	4165.	Advances in New Technologies, Interactive Interfaces and Communicability [electronic resource] : Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers / edited by Francisco Cipolla-Ficarra, Kim Veltman, Domen Verber, Miguel Cipolla-Ficarra, Florian Kammüller. by Cipolla-Ficarra, Francisco [editor.] \| Veltman, Kim [editor.] \| Verber, Domen [editor.] \| Cipolla-Ficarra, Miguel [editor.] \| Kammüller, Florian [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	4166.	Human Behavior Understanding [electronic resource] : Third International Workshop, HBU 2012, Vilamoura, Portugal, October 7, 2012. Proceedings / edited by Albert Ali Salah, Javier Ruiz-del-Solar, Çetin Meriçli, Pierre-Yves Oudeyer. by Salah, Albert Ali [editor.] \| Ruiz-del-Solar, Javier [editor.] \| Meriçli, Çetin [editor.] \| Oudeyer, Pierre-Yves [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	4167.	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	4168.	Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	4169.	Telematics in the Transport Environment [electronic resource] : 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustroń, Poland, October 10–13, 2012. Selected Papers / edited by Jerzy Mikulski. by Mikulski, Jerzy [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	4170.	Outdoor and Large-Scale Real-World Scene Analysis [electronic resource] : 15th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, June 26 - July 1, 2011. Revised Selected Papers / edited by Frank Dellaert, Jan-Michael Frahm, Marc Pollefeys, Laura Leal-Taixé, Bodo Rosenhahn. by Dellaert, Frank [editor.] \| Frahm, Jan-Michael [editor.] \| Pollefeys, Marc [editor.] \| Leal-Taixé, Laura [editor.] \| Rosenhahn, Bodo [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	4171.	Social Robotics [electronic resource] : 4th International Conference, ICSR 2012, Chengdu, China, October 29-31, 2012. Proceedings / edited by Shuzhi Sam Ge, Oussama Khatib, John-John Cabibihan, Reid Simmons, Mary-Anne Williams. by Ge, Shuzhi Sam [editor.] \| Khatib, Oussama [editor.] \| Cabibihan, John-John [editor.] \| Simmons, Reid [editor.] \| Williams, Mary-Anne [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	4172.	Algorithmic Learning Theory [electronic resource] : 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012. Proceedings / edited by Nader H. Bshouty, Gilles Stoltz, Nicolas Vayatis, Thomas Zeugmann. by Bshouty, Nader H [editor.] \| Stoltz, Gilles [editor.] \| Vayatis, Nicolas [editor.] \| Zeugmann, Thomas [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	4173.	Computational Issues in Fluid Construction Grammar [electronic resource] : A New Formalism for the Representation of Lexicons and Grammars / edited by Luc Steels. by Steels, Luc [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	4174.	Pattern Recognition in Bioinformatics [electronic resource] : 7th IAPR International Conference, PRIB 2012, Tokyo, Japan, November 8-10, 2012. Proceedings / edited by Tetsuo Shibuya, Hisashi Kashima, Jun Sese, Shandar Ahmad. by Shibuya, Tetsuo [editor.] \| Kashima, Hisashi [editor.] \| Sese, Jun [editor.] \| Ahmad, Shandar [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	4175.	Advances in Intelligent Data Analysis XI [electronic resource] : 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012. Proceedings / edited by Jaakko Hollmén, Frank Klawonn, Allan Tucker. by Hollmén, Jaakko [editor.] \| Klawonn, Frank [editor.] \| Tucker, Allan [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	4176.	Structural, Syntactic, and Statistical Pattern Recognition [electronic resource] : Joint IAPR International Workshop, SSPR&SPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings / edited by Georgy Gimel’farb, Edwin Hancock, Atsushi Imiya, Arjan Kuijper, Mineichi Kudo, Shinichiro Omachi, Terry Windeatt, Keiji Yamada. by Gimel’farb, Georgy [editor.] \| Hancock, Edwin [editor.] \| Imiya, Atsushi [editor.] \| Kuijper, Arjan [editor.] \| Kudo, Mineichi [editor.] \| Omachi, Shinichiro [editor.] \| Windeatt, Terry [editor.] \| Yamada, Keiji [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	4177.	Transactions on Large-Scale Data- and Knowledge-Centered Systems VI [electronic resource] : Special Issue on Database- and Expert-Systems Applications / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou. by Hameurlain, Abdelkader [editor.] \| Küng, Josef [editor.] \| Wagner, Roland [editor.] \| Liddle, Stephen W [editor.] \| Schewe, Klaus-Dieter [editor.] \| Zhou, Xiaofang [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	4178.	Gesture and Sign Language in Human-Computer Interaction and Embodied Communication [electronic resource] : 9th International Gesture Workshop, GW 2011, Athens, Greece, May 25-27, 2011, Revised Selected Papers / edited by Eleni Efthimiou, Georgios Kouroupetroglou, Stavroula-Evita Fotinea. by Efthimiou, Eleni [editor.] \| Kouroupetroglou, Georgios [editor.] \| Fotinea, Stavroula-Evita [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	4179.	Hardware and Software: Verification and Testing [electronic resource] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / edited by Kerstin Eder, João Lourenço, Onn Shehory. by Eder, Kerstin [editor.] \| Lourenço, João [editor.] \| Shehory, Onn [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	4180.	Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets [electronic resource] : AMEC 2010, Toronto, ON, Canada, May 10, 2010, and TADA 2010, Cambridge, MA, USA, June 7, 2010 Revised Selected Papers / edited by Esther David, Kate Larson, Alex Rogers, Onn Shehory, Sebastian Stein. by David, Esther [editor.] \| Larson, Kate [editor.] \| Rogers, Alex [editor.] \| Shehory, Onn [editor.] \| Stein, Sebastian [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)

Library Services | Technical University of Kenya

Refine your search

Authors

Series

Topics