Library Services | Technical University of Kenya catalog › Results of search for 'su:{Computer science.}'

Your search returned 13655 results.

	13301.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings / edited by Christian G. Fermüller, Andrei Voronkov. by Fermüller, Christian G [editor.] \| Voronkov, Andrei [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)
	13302.	Rough Set and Knowledge Technology [electronic resource] : 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010. Proceedings / edited by Jian Yu, Salvatore Greco, Pawan Lingras, Guoyin Wang, Andrzej Skowron. by Yu, Jian [editor.] \| Greco, Salvatore [editor.] \| Lingras, Pawan [editor.] \| Wang, Guoyin [editor.] \| Skowron, Andrzej [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)
	13303.	Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings / edited by Sang Lyul Min, Robert Pettit, Peter Puschner, Theo Ungerer. by Min, Sang Lyul [editor.] \| Pettit, Robert [editor.] \| Puschner, Peter [editor.] \| Ungerer, Theo [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)
	13304.	Brain, Body and Machine [electronic resource] : Proceedings of an International Symposium on the Occasion of the 25th Anniversary of the McGill University Centre for Intelligent Machines / edited by Jorge Angeles, Benoit Boulet, James J. Clark, József Kövecses, Kaleem Siddiqi. by Angeles, Jorge [editor.] \| Boulet, Benoit [editor.] \| Clark, James J [editor.] \| Kövecses, József [editor.] \| Siddiqi, Kaleem [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)
	13305.	Integrated Formal Methods [electronic resource] : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings / edited by Dominique Méry, Stephan Merz. by Méry, Dominique [editor.] \| Merz, Stephan [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)
	13306.	Model-Based Engineering of Embedded Real-Time Systems [electronic resource] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / edited by Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz. by Giese, Holger [editor.] \| Karsai, Gabor [editor.] \| Lee, Edward [editor.] \| Rumpe, Bernhard [editor.] \| Schätz, Bernhard [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)
	13307.	Provable Security [electronic resource] : 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings / edited by Swee-Huay Heng, Kaoru Kurosawa. by Heng, Swee-Huay [editor.] \| Kurosawa, Kaoru [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)
	13308.	Software Services for e-World [electronic resource] : 10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2010, Buenos Aires, Argentina, November 3-5, 2010. Proceedings / edited by Wojciech Cellary, Elsa Estevez. by Cellary, Wojciech [editor.] \| Estevez, Elsa [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)
	13309.	Semantic Web Rules [electronic resource] : International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings / edited by Mike Dean, John Hall, Antonino Rotolo, Said Tabet. by Dean, Mike [editor.] \| Hall, John [editor.] \| Rotolo, Antonino [editor.] \| Tabet, Said [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)
	13310.	Modeling Decisions for Artificial Intelligence [electronic resource] : 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Marc Daumas. by Torra, Vicenç [editor.] \| Narukawa, Yasuo [editor.] \| Daumas, Marc [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)
	13311.	Rewriting Logic and Its Applications [electronic resource] : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers / edited by Peter Csaba Ölveczky. by Ölveczky, Peter Csaba [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)
	13312.	Knowledge Management, Information Systems, E-Learning, and Sustainability Research [electronic resource] : Third World Summit on the Knowledge Society, WSKS 2010, Corfu, Greece, September 22-24, 2010. Proceedings, Part I / edited by Miltiadis D. Lytras, Patricia Ordonez De Pablos, Adrian Ziderman, Alan Roulstone, Hermann Maurer, Jonathan B. Imber. by Lytras, Miltiadis D [editor.] \| Ordonez De Pablos, Patricia [editor.] \| Ziderman, Adrian [editor.] \| Roulstone, Alan [editor.] \| Maurer, Hermann [editor.] \| Imber, Jonathan B [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)
	13313.	String Processing and Information Retrieval [electronic resource] : 17th International Symposium, SPIRE 2010, Los Cabos, Mexico, October 11-13, 2010. Proceedings / edited by Edgar Chavez, Stefano Lonardi. by Chavez, Edgar [editor.] \| Lonardi, Stefano [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)
	13314.	Organizational, Business, and Technological Aspects of the Knowledge Society [electronic resource] : Third World Summit on the Knowledge Society, WSKS 2010, Corfu, Greece, September 22-24, 2010. Proceedings, Part II / edited by Miltiadis D. Lytras, Patricia Ordonez de Pablos, Adrian Ziderman, Alan Roulstone, Hermann Maurer, Jonathan B. Imber. by Lytras, Miltiadis D [editor.] \| Ordonez de Pablos, Patricia [editor.] \| Ziderman, Adrian [editor.] \| Roulstone, Alan [editor.] \| Maurer, Hermann [editor.] \| Imber, Jonathan B [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)
	13315.	Intelligent Information Processing V [electronic resource] : 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010. Proceedings / edited by Zhongzhi Shi, Sunil Vadera, Agnar Aamodt, David Leake. by Shi, Zhongzhi [editor.] \| Vadera, Sunil [editor.] \| Aamodt, Agnar [editor.] \| Leake, David [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)
	13316.	Information Computing and Applications [electronic resource] : International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I / edited by Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu. by Zhu, Rongbo [editor.] \| Zhang, Yanchun [editor.] \| Liu, Baoxiang [editor.] \| Liu, Chunfeng [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)
	13317.	Information Computing and Applications [electronic resource] : International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II / edited by Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu. by Zhu, Rongbo [editor.] \| Zhang, Yanchun [editor.] \| Liu, Baoxiang [editor.] \| Liu, Chunfeng [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)
	13318.	Information Security and Cryptology [electronic resource] : 5th International Conference, Inscrypt 2009, Beijing, China, December 12-15, 2009. Revised Selected Papers / edited by Feng Bao, Moti Yung, Dongdai Lin, Jiwu Jing. by Bao, Feng [editor.] \| Yung, Moti [editor.] \| Lin, Dongdai [editor.] \| Jing, Jiwu [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)
	13319.	Ubiquitous Intelligence and Computing [electronic resource] : 7th International Conference, UIC 2010, Xi’an, China, October 26-29, 2010. Proceedings / edited by Zhiwen Yu, Ramiro Liscano, Guanling Chen, Daqing Zhang, Xingshe Zhou. by Yu, Zhiwen [editor.] \| Liscano, Ramiro [editor.] \| Chen, Guanling [editor.] \| Zhang, Daqing [editor.] \| Zhou, Xingshe [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)
	13320.	Advances in Production Management Systems. New Challenges, New Approaches [electronic resource] : IFIP WG 5.7 International Conference, APMS 2009, Bordeaux, France, September 21-23, 2009, Revised Selected Papers / edited by Bruno Vallespir, Thècle Alix. by Vallespir, Bruno [editor.] \| Alix, Thècle [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)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Topics

Titles