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

Your search returned 13655 results.

	9281.	The Beauty of Functional Code [electronic resource] : Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday / edited by Peter Achten, Pieter Koopman. by Achten, Peter [editor.] \| Koopman, Pieter [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	9282.	Electronic Government [electronic resource] : 12th IFIP WG 8.5 International Conference, EGOV 2013, Koblenz, Germany, September 16-19, 2013. Proceedings / edited by Maria A. Wimmer, Marijn Janssen, Hans J. Scholl. by Wimmer, Maria A [editor.] \| Janssen, Marijn [editor.] \| Scholl, Hans J [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	9283.	Advances in Production Management Systems. Competitive Manufacturing for Innovative Products and Services [electronic resource] : IFIP WG 5.7 International Conference, APMS 2012, Rhodes, Greece, September 24-26, 2012, Revised Selected Papers, Part II / edited by Christos Emmanouilidis, Marco Taisch, Dimitris Kiritsis. by Emmanouilidis, Christos [editor.] \| Taisch, Marco [editor.] \| Kiritsis, Dimitris [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	9284.	Scalable Uncertainty Management [electronic resource] : 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedings / edited by Weiru Liu, V. S. Subrahmanian, Jef Wijsen. by Liu, Weiru [editor.] \| Subrahmanian, V. S [editor.] \| Wijsen, Jef [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	9285.	Lightweight Cryptography for Security and Privacy [electronic resource] : Second International Workshop, LightSec 2013, Gebze, Turkey, May 6-7, 2013, Revised Selected Papers / edited by Gildas Avoine, Orhun Kara. by Avoine, Gildas [editor.] \| Kara, Orhun [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	9286.	Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings / edited by Anders Heyden, Fredrik Kahl, Carl Olsson, Magnus Oskarsson, Xue-Cheng Tai. by Heyden, Anders [editor.] \| Kahl, Fredrik [editor.] \| Olsson, Carl [editor.] \| Oskarsson, Magnus [editor.] \| Tai, Xue-Cheng [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	9287.	Enabling Things to Talk [electronic resource] : Designing IoT solutions with the IoT Architectural Reference Model / edited by Alessandro Bassi, Martin Bauer, Martin Fiedler, Thorsten Kramp, Rob Kranenburg, Sebastian Lange, Stefan Meissner. by Bassi, Alessandro [editor.] \| Bauer, Martin [editor.] \| Fiedler, Martin [editor.] \| Kramp, Thorsten [editor.] \| Kranenburg, Rob [editor.] \| Lange, Sebastian [editor.] \| Meissner, Stefan [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	9288.	Intelligent Robotics Systems: Inspiring the NEXT [electronic resource] : 16th FIRA RoboWorld Congress, FIRA 2013, Kuala Lumpur, Malaysia, August 24-29, 2013. Proceedings / edited by Khairuddin Omar, Md Jan Nordin, Prahlad Vadakkepat, Anton Satria Prabuwono, Siti Norul Huda Sheikh Abdullah, Jacky Baltes, Shamsudin Mohd Amin, Wan Zuha Wan Hassan, Mohammad Faidzul Nasrudin. by Omar, Khairuddin [editor.] \| Nordin, Md Jan [editor.] \| Vadakkepat, Prahlad [editor.] \| Prabuwono, Anton Satria [editor.] \| Abdullah, Siti Norul Huda Sheikh [editor.] \| Baltes, Jacky [editor.] \| Amin, Shamsudin Mohd [editor.] \| Hassan, Wan Zuha Wan [editor.] \| Nasrudin, Mohammad Faidzul [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	9289.	Intelligent Virtual Agents [electronic resource] : 13th International Conference, IVA 2013, Edinburgh, UK, August 29-31, 2013. Proceedings / edited by Ruth Aylett, Brigitte Krenn, Catherine Pelachaud, Hiroshi Shimodaira. by Aylett, Ruth [editor.] \| Krenn, Brigitte [editor.] \| Pelachaud, Catherine [editor.] \| Shimodaira, Hiroshi [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	9290.	Trends in Functional Programming [electronic resource] : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers / edited by Hans-Wolfgang Loidl, Ricardo Peña. by Loidl, Hans-Wolfgang [editor.] \| Peña, Ricardo [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	9291.	Algorithms – ESA 2013 [electronic resource] : 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings / edited by Hans L. Bodlaender, Giuseppe F. Italiano. by Bodlaender, Hans L [editor.] \| Italiano, Giuseppe F [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	9292.	Algorithms in Bioinformatics [electronic resource] : 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings / edited by Aaron Darling, Jens Stoye. by Darling, Aaron [editor.] \| Stoye, Jens [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	9293.	Transactions on Petri Nets and Other Models of Concurrency VIII [electronic resource] / edited by Maciej Koutny, Wil M. P. Aalst, Alex Yakovlev. by Koutny, Maciej [editor.] \| Aalst, Wil M. P [editor.] \| Yakovlev, Alex [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	9294.	Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III / edited by Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler. by Kotzé, Paula [editor.] \| Marsden, Gary [editor.] \| Lindgaard, Gitte [editor.] \| Wesson, Janet [editor.] \| Winckler, Marco [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	9295.	Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II / edited by Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler. by Kotzé, Paula [editor.] \| Marsden, Gary [editor.] \| Lindgaard, Gitte [editor.] \| Wesson, Janet [editor.] \| Winckler, Marco [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	9296.	Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I / edited by Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler. by Kotzé, Paula [editor.] \| Marsden, Gary [editor.] \| Lindgaard, Gitte [editor.] \| Wesson, Janet [editor.] \| Winckler, Marco [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	9297.	Systems and Frameworks for Computational Morphology [electronic resource] : Third International Workshop, SFCM 2013, Berlin, Germany, September 6, 2013 Proceedings / edited by Cerstin Mahlow, Michael Piotrowski. by Mahlow, Cerstin [editor.] \| Piotrowski, Michael [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	9298.	Computational Collective Intelligence. Technologies and Applications [electronic resource] : 5th International Conference, ICCCI 2013, Craiova, Romania, September 11-13, 2013, Proceedings / edited by Costin Bǎdicǎ, Ngoc Thanh Nguyen, Marius Brezovan. by Bǎdicǎ, Costin [editor.] \| Nguyen, Ngoc Thanh [editor.] \| Brezovan, Marius [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	9299.	Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV / edited by Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler. by Kotzé, Paula [editor.] \| Marsden, Gary [editor.] \| Lindgaard, Gitte [editor.] \| Wesson, Janet [editor.] \| Winckler, Marco [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	9300.	Research and Advanced Technology for Digital Libraries [electronic resource] : International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013. Proceedings / edited by Trond Aalberg, Christos Papatheodorou, Milena Dobreva, Giannis Tsakonas, Charles J. Farrugia. by Aalberg, Trond [editor.] \| Papatheodorou, Christos [editor.] \| Dobreva, Milena [editor.] \| Tsakonas, Giannis [editor.] \| Farrugia, Charles J [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, 2013Online 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