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

Your search returned 13655 results.

	8961.	The Deductive Spreadsheet [electronic resource] / by Iliano Cervesato. by Cervesato, Iliano [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	8962.	Coordination, Organizations, Institutions, and Norms in Agent Systems VIII [electronic resource] : 14th International Workshop, COIN 2012, Held Co-located with AAMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers / edited by Huib Aldewereld, Jaime Simão Sichman. by Aldewereld, Huib [editor.] \| Sichman, Jaime Simão [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)
	8963.	Advances in Computational Intelligence [electronic resource] : 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part II / edited by Ildar Batyrshin, Miguel González Mendoza. by Batyrshin, Ildar [editor.] \| Mendoza, Miguel González [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)
	8964.	Parallel Programming [electronic resource] : for Multicore and Cluster Systems / by Thomas Rauber, Gudula Rünger. by Rauber, Thomas [author.] \| Rünger, Gudula [author.] \| SpringerLink (Online service). Edition: 2nd ed. 2013.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)
	8965.	Service-Oriented Computing - ICSOC 2012 Workshops [electronic resource] : ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers / edited by Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quang Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang. by Ghose, Aditya [editor.] \| Zhu, Huibiao [editor.] \| Yu, Qi [editor.] \| Delis, Alex [editor.] \| Sheng, Quang Z [editor.] \| Perrin, Olivier [editor.] \| Wang, Jianmin [editor.] \| Wang, Yan [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)
	8966.	Advances in Artificial Intelligence [electronic resource] : 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part I / edited by Ildar Batyrshin, Miguel González Mendoza. by Batyrshin, Ildar [editor.] \| González Mendoza, Miguel [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)
	8967.	Advances in Heuristic Signal Processing and Applications [electronic resource] / edited by Amitava Chatterjee, Hadi Nobahari, Patrick Siarry. by Chatterjee, Amitava [editor.] \| Nobahari, Hadi [editor.] \| Siarry, Patrick [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)
	8968.	Declarative Agent Languages and Technologies X [electronic resource] : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos. by Baldoni, Matteo [editor.] \| Dennis, Louise [editor.] \| Mascardi, Viviana [editor.] \| Vasconcelos, Wamberto [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)
	8969.	Wireless Mobile Communication and Healthcare [electronic resource] : Third International Conference, MobiHealth 2012, Paris, France, November 21-23, 2012, Revised Selected Papers / edited by Balwant Godara, Konstantina S. Nikita. by Godara, Balwant [editor.] \| Nikita, Konstantina S [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)
	8970.	Health Information Science [electronic resource] : Second International Conference, HIS 2013, London, UK, March 25-27, 2013. Proceedings / edited by Guangyan Huang, Xiaohui Liu, Jing He, Frank Klawonn, Guiqing Yao. by Huang, Guangyan [editor.] \| Liu, Xiaohui [editor.] \| He, Jing [editor.] \| Klawonn, Frank [editor.] \| Yao, Guiqing [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)
	8971.	Transactions on Edutainment X [electronic resource] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Ido Iurgel, Paolo Petta, Bodo Urban. by Pan, Zhigeng [editor.] \| Cheok, Adrian David [editor.] \| Müller, Wolfgang [editor.] \| Iurgel, Ido [editor.] \| Petta, Paolo [editor.] \| Urban, 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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	8972.	Mobile Networks and Management [electronic resource] : 4th International Conference, MONAMI 2012, Hamburg, Germany, September 24-26, 2012, Revised Selected Papers / edited by Andreas Timm-Giel, John Strassner, Ramón Agüero, Susana Sargento, Kostas Pentikousis. by Timm-Giel, Andreas [editor.] \| Strassner, John [editor.] \| Agüero, Ramón [editor.] \| Sargento, Susana [editor.] \| Pentikousis, Kostas [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)
	8973.	Quality, Reliability, Security and Robustness in Heterogeneous Networks [electronic resource] : 9th International Conference, QShine 2013, Greader Noida, India, January 11-12, 2013, Revised Selected Papers / edited by Karan Singh, Amit K. Awasthi. by Singh, Karan [editor.] \| Awasthi, Amit K [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)
	8974.	Massively Parallel Evolutionary Computation on GPGPUs [electronic resource] / edited by Shigeyoshi Tsutsui, Pierre Collet. by Tsutsui, Shigeyoshi [editor.] \| Collet, Pierre [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)
	8975.	Communication Technologies for Vehicles [electronic resource] : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings / edited by Marion Berbineau, Magnus Jonsson, Jean-Marie Bonnin, Soumaya Cherkaoui, Marina Aguado, Cristina Rico-Garcia, Hassan Ghannoum, Rashid Mehmood, Alexey Vinel. by Berbineau, Marion [editor.] \| Jonsson, Magnus [editor.] \| Bonnin, Jean-Marie [editor.] \| Cherkaoui, Soumaya [editor.] \| Aguado, Marina [editor.] \| Rico-Garcia, Cristina [editor.] \| Ghannoum, Hassan [editor.] \| Mehmood, Rashid [editor.] \| Vinel, Alexey [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)
	8976.	Green Communication and Networking [electronic resource] : Second International Conference, GreeNets 2012, Gandia, Spain, October 25-26, 2012, Revised Selected Papers / edited by Jaime Lloret Mauri, Joel J. P. C. Rodrigues. by Mauri, Jaime Lloret [editor.] \| Rodrigues, Joel J. P. C [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)
	8977.	Arts and Technology [electronic resource] : Third International Conference, ArtsIT 2013, Milan, Italy, March 21-23, 2013, Revised Selected Papers / edited by Giorgio Michelis, Francesco Tisato, Andrea Bene, Diego Bernini. by Michelis, Giorgio [editor.] \| Tisato, Francesco [editor.] \| Bene, Andrea [editor.] \| Bernini, Diego [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)
	8978.	Semantic Technology [electronic resource] : Second Joint International Conference, JIST 2012, Nara, Japan, December 2-4, 2012. Proceedings / edited by Hideaki Takeda, Yuzhong Qu, Riichiro Mizoguchi, Yoshinobu Kitamura. by Takeda, Hideaki [editor.] \| Qu, Yuzhong [editor.] \| Mizoguchi, Riichiro [editor.] \| Kitamura, Yoshinobu [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)
	8979.	Security and Trust Management [electronic resource] : 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers / edited by Audun Jøsang, Pierangela Samarati, Marinella Petrocchi. by Jøsang, Audun [editor.] \| Samarati, Pierangela [editor.] \| Petrocchi, Marinella [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)
	8980.	Approximation and Online Algorithms [electronic resource] : 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers / edited by Thomas Erlebach, Giuseppe Persiano. by Erlebach, Thomas [editor.] \| Persiano, Giuseppe [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