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

Your search returned 13655 results.

	10141.	Software Language Engineering [electronic resource] : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers / edited by Anthony Sloane, Uwe Aßmann. by Sloane, Anthony [editor.] \| Aßmann, Uwe [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10142.	Programming Languages and Systems [electronic resource] : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings / edited by Helmut Seidl. by Seidl, Helmut [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10143.	Fundamental Approaches to Software Engineering [electronic resource] : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings / edited by Juan Lara, Andrea Zisman. by Lara, Juan [editor.] \| Zisman, Andrea [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10144.	Data Privacy Management and Autonomous Spontaneus Security [electronic resource] : 6th International Workshop, DPM 2011, and 4th International Workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Nora Cuppens-Boulahia, Sabrina Capitani di Vimercati. by Garcia-Alfaro, Joaquin [editor.] \| Navarro-Arribas, Guillermo [editor.] \| Cuppens-Boulahia, Nora [editor.] \| Capitani di Vimercati, Sabrina [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10145.	Computational Processing of the Portuguese Language [electronic resource] : 10th International Conference, PROPOR 2012, Coimbra, Portugal, April 17-20, 2012. Proceedings / edited by Helena Caseli, Aline Villavicencio, António Teixeira, Fernando Perdigão. by Caseli, Helena [editor.] \| Villavicencio, Aline [editor.] \| Teixeira, António [editor.] \| Perdigão, Fernando [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10146.	NASA Formal Methods [electronic resource] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / edited by Alwyn E. Goodloe, Suzette Person. by Goodloe, Alwyn E [editor.] \| Person, Suzette [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10147.	Agile Management [electronic resource] : Leadership in an Agile Environment / by Ángel Medinilla. by Medinilla, Ángel [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, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10148.	Theory of Cryptography [electronic resource] : 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings / edited by Ronald Cramer. by Cramer, Ronald [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10149.	Critical Infrastructure Protection [electronic resource] : Information Infrastructure Models, Analysis, and Defense / edited by Javier Lopez, Roberto Setola, Stephen D. Wolthusen. by Lopez, Javier [editor.] \| Setola, Roberto [editor.] \| Wolthusen, Stephen D [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10150.	Mathematical Modelling and Scientific Computation [electronic resource] : International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012. Proceedings / edited by P. Balasubramaniam, R. Uthayakumar. by Balasubramaniam, P [editor.] \| Uthayakumar, R [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10151.	Hybrid Artificial Intelligent Systems [electronic resource] : 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part II / edited by Emilio Corchado, Václav Snášel, Ajith Abraham, Michał Woźniak, Manuel Graña, Sung-Bae Cho. by Corchado, Emilio [editor.] \| Snášel, Václav [editor.] \| Abraham, Ajith [editor.] \| Woźniak, Michał [editor.] \| Graña, Manuel [editor.] \| Cho, Sung-Bae [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10152.	The Greek Language in the Digital Age [electronic resource] / edited by Georg Rehm, Hans Uszkoreit. by Rehm, Georg [editor.] \| Uszkoreit, Hans [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, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10153.	Programming Multi-Agent Systems [electronic resource] : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers / edited by Rem Collier, Jürgen Dix, Peter Novák. by Collier, Rem [editor.] \| Dix, Jürgen [editor.] \| Novák, Peter [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10154.	Hybrid Artificial Intelligent Systems [electronic resource] : 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part I / edited by Emilio Corchado, Václav Snášel, Ajith Abraham, Michał Woźniak, Manuel Graña, Sung-Bae Cho. by Corchado, Emilio [editor.] \| Snášel, Václav [editor.] \| Abraham, Ajith [editor.] \| Woźniak, Michał [editor.] \| Graña, Manuel [editor.] \| Cho, Sung-Bae [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10155.	Emerging Trends and Applications in Information Communication Technologies [electronic resource] : Second International Multi Topic Conference, IMTIC 2012, Jamshoro, Pakistan, March 28-30, 2012. Proceedings / edited by Bhawani Shankar Chowdhry, Faisal Karim Shaikh, Dil Muhammad Akbar Hussain, Muhammad Aslam Uqaili. by Chowdhry, Bhawani Shankar [editor.] \| Shaikh, Faisal Karim [editor.] \| Hussain, Dil Muhammad Akbar [editor.] \| Uqaili, Muhammad Aslam [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10156.	Advances in Information Retrieval [electronic resource] : 34th European Conference on IR Research, ECIR 2012, Barcelona, Spain, April 1-5, 2012. Proceedings / edited by Ricardo Baeza-Yates, Arjen P. Vries, Hugo Zaragoza, B. Barla Cambazoglu, Vanessa Murdock, Ronny Lempel, Fabrizio Silvestri. by Baeza-Yates, Ricardo [editor.] \| Vries, Arjen P [editor.] \| Zaragoza, Hugo [editor.] \| Cambazoglu, B. Barla [editor.] \| Murdock, Vanessa [editor.] \| Lempel, Ronny [editor.] \| Silvestri, Fabrizio [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10157.	Field Informatics [electronic resource] : Kyoto University Field Informatics Research Group / edited by Toru Ishida. by Ishida, Toru [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, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10158.	Advances in Cryptology – EUROCRYPT 2012 [electronic resource] : 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedings / edited by David Pointcheval, Thomas Johansson. by Pointcheval, David [editor.] \| Johansson, Thomas [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10159.	Database Systems for Advanced Applications [electronic resource] : 17th International Conference, DASFAA 2012, International Workshops: FlashDB, ITEMS, SNSM, SIM3, DQDI, Busan, South Korea, April 15-19, 2012. Proceedings / edited by Hwanjo Yu, Ge Yu, Wynne Hsu, Yang-Sae Moon, Rainer Unland, Jaesoo Yoo. by Yu, Hwanjo [editor.] \| Yu, Ge [editor.] \| Hsu, Wynne [editor.] \| Moon, Yang-Sae [editor.] \| Unland, Rainer [editor.] \| Yoo, Jaesoo [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10160.	Resilience Assessment and Evaluation of Computing Systems [electronic resource] / edited by Katinka Wolter, Alberto Avritzer, Marco Vieira, Aad van Moorsel. by Wolter, Katinka [editor.] \| Avritzer, Alberto [editor.] \| Vieira, Marco [editor.] \| van Moorsel, Aad [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, 2012Online 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