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

Your search returned 13655 results.

	9301.	Availability, Reliability, and Security in Information Systems and HCI [electronic resource] : IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2013, Regensburg, Germany, September 2-6, 2013. Proceedings / edited by Alfredo Cuzzocrea, Christian Kittl, Dimitris E. Simos, Edgar Weippl, Lida Xu. by Cuzzocrea, Alfredo [editor.] \| Kittl, Christian [editor.] \| Simos, Dimitris E [editor.] \| Weippl, Edgar [editor.] \| Xu, Lida [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)
	9302.	Energy Efficiency in Large Scale Distributed Systems [electronic resource] : COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers / edited by Jean-Marc Pierson, Georges Da Costa, Lars Dittmann. by Pierson, Jean-Marc [editor.] \| Da Costa, Georges [editor.] \| Dittmann, Lars [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)
	9303.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling. by Galmiche, Didier [editor.] \| Larchey-Wendling, Dominique [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)
	9304.	Collaborative Systems for Reindustrialization [electronic resource] : 14th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2013, Dresden, Germany, September 30 – October 2, 2013, Proceedings / edited by Luis M. Camarinha-Matos, Raimar J. Scherer. by Camarinha-Matos, Luis M [editor.] \| Scherer, Raimar 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)
	9305.	Advances in Communication Networking [electronic resource] : 19th EUNICE/IFIP WG 6.6 International Workshop, Chemnitz, Germany, August 28-30, 2013. Proceedings / edited by Thomas Bauschert. by Bauschert, 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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	9306.	Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti. by Hierons, Robert M [editor.] \| Merayo, Mercedes G [editor.] \| Bravetti, Mario [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)
	9307.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / edited by Pedro Cabalar, Tran Cao Son. by Cabalar, Pedro [editor.] \| Son, Tran Cao [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)
	9308.	Soft Computing Applications and Intelligent Systems [electronic resource] : Second International Multi-Conference on Artificial Intelligence Technology, M-CAIT 2013, Shah Alam, August 28-29, 2013. Proceedings / edited by Shahrul Azman Noah, Azizi Abdullah, Haslina Arshad, Azuraliza Abu Bakar, Zulaiha Ali Othman, Shahnorbanun Sahran, Nazlia Omar, Zalinda Othman. by Noah, Shahrul Azman [editor.] \| Abdullah, Azizi [editor.] \| Arshad, Haslina [editor.] \| Abu Bakar, Azuraliza [editor.] \| Othman, Zulaiha Ali [editor.] \| Sahran, Shahnorbanun [editor.] \| Omar, Nazlia [editor.] \| Othman, Zalinda [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)
	9309.	Security in Computing and Communications [electronic resource] : International Symposium, SSCC 2013, Mysore, India, August 22-24, 2013. Proceedings / edited by Sabu M. Thampi, Pradeep K. Atrey, Chun-I Fan, Gregorio Martinez Perez. by Thampi, Sabu M [editor.] \| Atrey, Pradeep K [editor.] \| Fan, Chun-I [editor.] \| Perez, Gregorio Martinez [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)
	9310.	Combinatorics on Words [electronic resource] : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings / edited by Juhani Karhumäki, Arto Lepistö, Luca Zamboni. by Karhumäki, Juhani [editor.] \| Lepistö, Arto [editor.] \| Zamboni, Luca [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)
	9311.	Text, Speech, and Dialogue [electronic resource] : 16th International Conference, TSD 2013, Pilsen, Czech Republic, September 1-5, 2013. Proceedings / edited by Ivan Habernal, Václav Matoušek. by Habernal, Ivan [editor.] \| Matoušek, Václav [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)
	9312.	Security Engineering and Intelligence Informatics [electronic resource] : CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings / edited by Alfredo Cuzzocrea, Christian Kittl, Dimitris E. Simos, Edgar Weippl, Lida Xu. by Cuzzocrea, Alfredo [editor.] \| Kittl, Christian [editor.] \| Simos, Dimitris E [editor.] \| Weippl, Edgar [editor.] \| Xu, Lida [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)
	9313.	Advances in Security of Information and Communication Networks [electronic resource] : First International Conference, SecNet 2013, Cairo, Egypt, September 3-5, 2013. Proceedings / edited by Ali Ismail Awad, Aboul Ella Hassanien, Kensuke Baba. by Awad, Ali Ismail [editor.] \| Hassanien, Aboul Ella [editor.] \| Baba, Kensuke [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)
	9314.	Pattern Recognition [electronic resource] : 35th German Conference, GCPR 2013, Saarbrücken, Germany, September 3-6, 2013. Proceedings / edited by Joachim Weickert, Matthias Hein, Bernt Schiele. by Weickert, Joachim [editor.] \| Hein, Matthias [editor.] \| Schiele, Bernt [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)
	9315.	Formal Methods for Components and Objects [electronic resource] : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / edited by Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue. by Giachino, Elena [editor.] \| Hähnle, Reiner [editor.] \| Boer, Frank S [editor.] \| Bonsangue, Marcello M [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)
	9316.	Computational Logic in Multi-Agent Systems [electronic resource] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon Torre, Stefan Woltran. by Leite, João [editor.] \| Son, Tran Cao [editor.] \| Torroni, Paolo [editor.] \| Torre, Leon [editor.] \| Woltran, 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)
	9317.	Principles and Practice of Constraint Programming [electronic resource] : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings / edited by Christian Schulte. by Schulte, Christian [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)
	9318.	Advances in Artificial Intelligence [electronic resource] : 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings / edited by Concha Bielza, Antonio Salmerón, Amparo Alonso-Betanzos, J. Ignacio Hidalgo, Luis Martínez, Alicia Troncoso, Emilio Corchado, Juan M. Corchado. by Bielza, Concha [editor.] \| Salmerón, Antonio [editor.] \| Alonso-Betanzos, Amparo [editor.] \| Hidalgo, J. Ignacio [editor.] \| Martínez, Luis [editor.] \| Troncoso, Alicia [editor.] \| Corchado, Emilio [editor.] \| Corchado, Juan M [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)
	9319.	Bluetooth Security Attacks [electronic resource] : Comparative Analysis, Attacks, and Countermeasures / by Keijo Haataja, Konstantin Hyppönen, Sanna Pasanen, Pekka Toivanen. by Haataja, Keijo [author.] \| Hyppönen, Konstantin [author.] \| Pasanen, Sanna [author.] \| Toivanen, Pekka [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)
	9320.	Service-Oriented and Cloud Computing [electronic resource] : Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings / edited by Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel. by Lau, Kung-Kiu [editor.] \| Lamersdorf, Winfried [editor.] \| Pimentel, Ernesto [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