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

Your search returned 5383 results.

	5181.	Logical Analysis of Hybrid Systems [electronic resource] : Proving Theorems for Complex Dynamics / by André Platzer. by Platzer, André [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	5182.	Unifying Theories of Programming [electronic resource] : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers / edited by Andrew Butterfield. by Butterfield, Andrew [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	5183.	Artificial Immune Systems [electronic resource] : 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010. Proceedings / edited by Emma Hart, Chris McEwan, Jon Timmis, Andy Hone. by Hart, Emma [editor.] \| McEwan, Chris [editor.] \| Timmis, Jon [editor.] \| Hone, Andy [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	5184.	Dependency Structures and Lexicalized Grammars [electronic resource] : An Algebraic Approach / by Marco Kuhlmann. by Kuhlmann, Marco [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	5185.	Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, Revised Selected Papers / edited by Francesco Masulli, Leif E. Peterson, Roberto Tagliaferri. by Masulli, Francesco [editor.] \| Peterson, Leif E [editor.] \| Tagliaferri, Roberto [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	5186.	Database Systems for Advanced Applications [electronic resource] : 15th International Conference, DASFAA 2010, International Workshops: GDM, BenchmarX, MCIS, SNSMW, DIEW, UDM, Tsukuba, Japan, April 1-4, 2010, Revised Selected Papers / edited by Masatoshi Yoshikawa, Xiaofeng Meng, Takayuki Yumoto, Qiang Ma, Lifeng Sun, Chiemi Watanabe. by Yoshikawa, Masatoshi [editor.] \| Meng, Xiaofeng [editor.] \| Yumoto, Takayuki [editor.] \| Ma, Qiang [editor.] \| Sun, Lifeng [editor.] \| Watanabe, Chiemi [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	5187.	Innovation through Knowledge Transfer [electronic resource] / edited by Robert James Howlett. by Howlett, Robert James [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	5188.	Diagrammatic Representation and Inference [electronic resource] : 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings / edited by Ashok K. Goel, Mateja Jamnik, N. Hari Narayanan. by Goel, Ashok K [editor.] \| Jamnik, Mateja [editor.] \| Narayanan, N. Hari [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	5189.	Advances in Intelligent Decision Technologies [electronic resource] : Proceedings of the Second KES International Symposium IDT 2010 / edited by Gloria Phillips-Wren, Lakhmi C. Jain, Kazumi Nakamatsu, Robert J. Howlett. by Phillips-Wren, Gloria [editor.] \| Jain, Lakhmi C [editor.] \| Nakamatsu, Kazumi [editor.] \| Howlett, Robert J [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	5190.	Intelligent Interactive Multimedia Systems and Services [electronic resource] / edited by George A. Tsihrintzis, Ernesto Damiani, Maria Virvou, Robert J. Howlett, Lakhmi C. Jain. by Tsihrintzis, George A [editor.] \| Damiani, Ernesto [editor.] \| Virvou, Maria [editor.] \| Howlett, Robert J [editor.] \| Jain, Lakhmi C [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	5191.	New Frontiers in Applied Data Mining [electronic resource] : PAKDD 2009 International Workshops, Bangkok, Thailand, April 27-30, 2009. Revised Selected Papers / edited by Thanaruk Theeramunkong, Cholwich Nattee, Paulo J. L. Adeodato, Nitesh Chawla, Peter Christen, Philippe Lenca, Josiah Poon, Graham Williams. by Theeramunkong, Thanaruk [editor.] \| Nattee, Cholwich [editor.] \| Adeodato, Paulo J. L [editor.] \| Chawla, Nitesh [editor.] \| Christen, Peter [editor.] \| Lenca, Philippe [editor.] \| Poon, Josiah [editor.] \| Williams, Graham [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	5192.	Finite-State Methods and Natural Language Processing [electronic resource] : 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers / edited by Anssi Yli-Jyrä, András Kornai, Jacques Sakarovitch, Bruce Watson. by Yli-Jyrä, Anssi [editor.] \| Kornai, András [editor.] \| Sakarovitch, Jacques [editor.] \| Watson, Bruce [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	5193.	Human Behavior Understanding [electronic resource] : First International Workshop, HBU 2010, Istanbul, Turkey, August 22, 2010. Proceedings / edited by Albert Ali Salah, Theo Gevers, Nicu Sebe, Alessandro Vinciarelli. by Salah, Albert Ali [editor.] \| Gevers, Theo [editor.] \| Sebe, Nicu [editor.] \| Vinciarelli, Alessandro [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	5194.	Interfaces: Explorations in Logic, Language and Computation [electronic resource] : ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers / edited by Thomas Icard, Reinhard Muskens. by Icard, Thomas [editor.] \| Muskens, Reinhard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	5195.	Advances in Natural Language Processing [electronic resource] : 7th International Conference on NLP, IceTAL 2010, Reykjavik, Iceland, August 16-18, 2010 / edited by Hrafn Loftsson, Eiríkur Rögnvaldsson, Sigrún Helgadóttir. by Loftsson, Hrafn [editor.] \| Rögnvaldsson, Eiríkur [editor.] \| Helgadóttir, Sigrún [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	5196.	Contemporary Computing [electronic resource] : Third International Conference, IC3 2010, Noida, India, August 9-11, 2010, Proceedings, Part II / edited by Sanjay Ranka, Arunava Banerjee, Kanad Kishore Biswas, Sumeet Dua, Prabhat Mishra, Rajat Moona, Sheung-Hung Poon, Cho-Li Wang. by Ranka, Sanjay [editor.] \| Banerjee, Arunava [editor.] \| Biswas, Kanad Kishore [editor.] \| Dua, Sumeet [editor.] \| Mishra, Prabhat [editor.] \| Moona, Rajat [editor.] \| Poon, Sheung-Hung [editor.] \| Wang, Cho-Li [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	5197.	Advanced Intelligent Computing Theories and Applications [electronic resource] : 6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18-21, 2010. Proceedings / edited by De-Shuang Huang, Martin McGinnity, Laurent Heutte, Xiao-Ping Zhang. by Huang, De-Shuang [editor.] \| McGinnity, Martin [editor.] \| Heutte, Laurent [editor.] \| Zhang, Xiao-Ping [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	5198.	Contemporary Computing [electronic resource] : Third International Conference, IC3 2010, Noida, India, August 9-11, 2010. Proceedings, Part I / edited by Sanjay Ranka, Arunava Banerjee, Kanad Kishore Biswas, Sumeet Dua, Prabhat Mishra, Rajat Moona, Sheung-Hung Poon, Cho-Li Wang. by Ranka, Sanjay [editor.] \| Banerjee, Arunava [editor.] \| Biswas, Kanad Kishore [editor.] \| Dua, Sumeet [editor.] \| Mishra, Prabhat [editor.] \| Moona, Rajat [editor.] \| Poon, Sheung-Hung [editor.] \| Wang, Cho-Li [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	5199.	Programming Multi-Agent Systems [electronic resource] : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers / edited by Lars Braubach, Jean-Pierre Briot, John Thangarajah. by Braubach, Lars [editor.] \| Briot, Jean-Pierre [editor.] \| Thangarajah, John [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	5200.	Fuzzy Information and Engineering 2010 [electronic resource] : Volume I / edited by Bing-yuan Cao, Guo-jun Wang, Si-zong Guo, Shui-li Chen. by Cao, Bing-yuan [editor.] \| Wang, Guo-jun [editor.] \| Guo, Si-zong [editor.] \| Chen, Shui-li [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue

Library Services | Technical University of Kenya

Refine your search

Authors

Series

Topics