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

Your search returned 13655 results.

	13141.	History of Computing. Learning from the Past [electronic resource] : IFIP WG 9.7 International Conference, HC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Arthur Tatnall. by Tatnall, Arthur [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)
	13142.	Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Anuj Dawar, Helmut Veith. by Dawar, Anuj [editor.] \| Veith, Helmut [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)
	13143.	Cultural Computing [electronic resource] : Second IFIP TC 14 Entertainment Computing Symposium, ECS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Ryohei Nakatsu, Naoko Tosa, Fazel Naghdy, Kok Wai Wong, Philippe Codognet. by Nakatsu, Ryohei [editor.] \| Tosa, Naoko [editor.] \| Naghdy, Fazel [editor.] \| Wong, Kok Wai [editor.] \| Codognet, Philippe [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)
	13144.	Verification and Validation in Systems Engineering [electronic resource] : Assessing UML/SysML Design Models / by Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh. by Debbabi, Mourad [author.] \| Hassaïne, Fawzi [author.] \| Jarraya, Yosr [author.] \| Soeanu, Andrei [author.] \| Alawneh, Luay [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)
	13145.	Human-Computer Interaction [electronic resource] : Second IFIP TC 13 Symposium, HCIS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Peter Forbrig, Fabio Paternó, Annelise Mark Pejtersen. by Forbrig, Peter [editor.] \| Paternó, Fabio [editor.] \| Mark Pejtersen, Annelise [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)
	13146.	Distributed, Parallel and Biologically Inspired Systems [electronic resource] : 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf. by Hinchey, Mike [editor.] \| Kleinjohann, Bernd [editor.] \| Kleinjohann, Lisa [editor.] \| Lindsay, Peter A [editor.] \| Rammig, Franz J [editor.] \| Timmis, Jon [editor.] \| Wolf, Marilyn [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)
	13147.	Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis [electronic resource] : AAMAS Workshop, AMEC 2008, Estoril, Portugal, May 12-16, 2008, and AAAI Workshop, TADA 2008, Chicago, IL, USA, July 14, 2008, Revised Selected Papers / edited by Wolfgang Ketter, Han Poutré, Norman Sadeh, Onn Shehory, William Walsh. by Ketter, Wolfgang [editor.] \| Poutré, Han [editor.] \| Sadeh, Norman [editor.] \| Shehory, Onn [editor.] \| Walsh, William [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)
	13148.	Theoretical Computer Science [electronic resource] : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Cristian S. Calude, Vladimiro Sassone. by Calude, Cristian S [editor.] \| Sassone, Vladimiro [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)
	13149.	PRICAI 2010: Trends in Artificial Intelligence [electronic resource] : 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30–September 2, 2010. Proceedings / edited by Byoung-Tak Zhang, Mehmet A. Orgun. by Zhang, Byoung-Tak [editor.] \| Orgun, Mehmet A [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)
	13150.	Database and Expert Systems Applications [electronic resource] : 21th International Conference, DEXA 2010, Bilbao, Spain, August 30 - September 3, 2010, Proceedings, Part II / edited by Pablo García Bringas, Abdelkader Hameurlain, Gerald Quirchmayr. by Bringas, Pablo García [editor.] \| Hameurlain, Abdelkader [editor.] \| Quirchmayr, Gerald [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)
	13151.	Security and Privacy – Silver Linings in the Cloud [electronic resource] : 25th IFIP TC-11 International Information Security Conference, SEC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Kai Rannenberg, Vijay Varadharajan, Christian Weber. by Rannenberg, Kai [editor.] \| Varadharajan, Vijay [editor.] \| Weber, Christian [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)
	13152.	Computer Algebra in Scientific Computing [electronic resource] : 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov. by Gerdt, Vladimir P [editor.] \| Koepf, Wolfram [editor.] \| Mayr, Ernst W [editor.] \| Vorozhtsov, Evgenii V [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)
	13153.	Euro-Par 2010 - Parallel Processing [electronic resource] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I / edited by Pasqua D’Ambra, Mario Guarracino, Domenico Talia. by D’Ambra, Pasqua [editor.] \| Guarracino, Mario [editor.] \| Talia, Domenico [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, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	13154.	Knowledge Science, Engineering and Management [electronic resource] : 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings / edited by Yaxin Bi, Mary-Anne Williams. by Bi, Yaxin [editor.] \| Williams, Mary-Anne [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)
	13155.	Artificial Intelligence in Theory and Practice III [electronic resource] : Third IFIP TC 12 International Conference on Artificial Intelligence, IFIP AI 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Max Bramer. by Bramer, Max [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)
	13156.	Euro-Par 2010 - Parallel Processing [electronic resource] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II / edited by Pasqua D’Ambra, Mario Guarracino, Domenico Talia. by D’Ambra, Pasqua [editor.] \| Guarracino, Mario [editor.] \| Talia, Domenico [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)
	13157.	Algorithms in Bioinformatics [electronic resource] : 10th International Workshop, WABI 2010, Liverpool, UK, September 6-8, 2010. Proceedings / edited by Vincent Moulton, Mona Singh. by Moulton, Vincent [editor.] \| Singh, Mona [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)
	13158.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings / edited by Krishnendu Chatterjee, Thomas A. Henzinger. by Chatterjee, Krishnendu [editor.] \| Henzinger, Thomas A [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)
	13159.	Geographic Information Science [electronic resource] : 6th International Conference, GIScience 2010, Zurich, Switzerland, September 14-17, 2010. Proceedings / edited by Sara Irina Fabrikant, Tumasch Reichenbacher, Marc Kreveld, Christoph Schlieder. by Fabrikant, Sara Irina [editor.] \| Reichenbacher, Tumasch [editor.] \| Kreveld, Marc [editor.] \| Schlieder, Christoph [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)
	13160.	Brain Informatics [electronic resource] : International Conference, BI 2010, Toronto, ON, Canada, August 28-30, 2010. Proceedings / edited by Yiyu Yao, Ron Sun, Tomaso Poggio, Jiming Liu, Ning Zhong, Jimmy Huang. by Yao, Yiyu [editor.] \| Sun, Ron [editor.] \| Poggio, Tomaso [editor.] \| Liu, Jiming [editor.] \| Zhong, Ning [editor.] \| Huang, Jimmy [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