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

Your search returned 13655 results.

	9321.	Introduction to Public Key Infrastructures [electronic resource] / by Johannes A. Buchmann, Evangelos Karatsiolis, Alexander Wiesmaier. by Buchmann, Johannes A [author.] \| Karatsiolis, Evangelos [author.] \| Wiesmaier, Alexander [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)
	9322.	Algebraic Informatics [electronic resource] : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / edited by Traian Muntean, Dimitrios Poulakis, Robert Rolland. by Muntean, Traian [editor.] \| Poulakis, Dimitrios [editor.] \| Rolland, Robert [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)
	9323.	Progress in Artificial Intelligence [electronic resource] : 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013. Proceedings / edited by Luís Correia, Luís Paulo Reis, José Cascalho. by Correia, Luís [editor.] \| Reis, Luís Paulo [editor.] \| Cascalho, José [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)
	9324.	Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / edited by Tetsuo Ida, Jacques Fleuriot. by Ida, Tetsuo [editor.] \| Fleuriot, Jacques [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)
	9325.	Advances in Databases and Information Systems [electronic resource] : 17th East European Conference, ADBIS 2013, Genoa, Italy, September 1-4, 2013. Proceedings / edited by Barbara Catania, Giovanna Guerrini, Jaroslav Pokorný. by Catania, Barbara [editor.] \| Guerrini, Giovanna [editor.] \| Pokorný, Jaroslav [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)
	9326.	OpenMP in the Era of Low Power Devices and Accelerators [electronic resource] : 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings / edited by Alistair P. Rendell, Barbara M. Chapman, Matthias S. Müller. by Rendell, Alistair P [editor.] \| Chapman, Barbara M [editor.] \| Müller, Matthias 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)
	9327.	Partially Supervised Learning [electronic resource] : Second IAPR International Workshop, PSL 2013, Nanjing, China, May 13-14, 2013, Revised Selected Papers / edited by Zhi-Hua Zhou, Friedhelm Schwenker. by Zhou, Zhi-Hua [editor.] \| Schwenker, Friedhelm [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)
	9328.	Computational Methods in Systems Biology [electronic resource] : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings / edited by Ashutosh Gupta, Thomas A. Henzinger. by Gupta, Ashutosh [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 : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	9329.	Language Processing and Knowledge in the Web [electronic resource] : 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings / edited by Iryna Gurevych, Chris Biemann, Torsten Zesch. by Gurevych, Iryna [editor.] \| Biemann, Chris [editor.] \| Zesch, Torsten [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)
	9330.	Computer Performance Engineering [electronic resource] : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings / edited by Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin. by Balsamo, Maria Simonetta [editor.] \| Knottenbelt, William J [editor.] \| Marin, Andrea [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)
	9331.	Artificial Neural Networks and Machine Learning – ICANN 2013 [electronic resource] : 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings / edited by Valeri Mladenov, Petia Koprinkova-Hristova, Günther Palm, Alessandro E. P. Villa, Bruno Appollini, Nikola Kasabov. by Mladenov, Valeri [editor.] \| Koprinkova-Hristova, Petia [editor.] \| Palm, Günther [editor.] \| Villa, Alessandro E. P [editor.] \| Appollini, Bruno [editor.] \| Kasabov, Nikola [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)
	9332.	Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 [electronic resource] : 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part III / edited by Kensaku Mori, Ichiro Sakuma, Yoshinobu Sato, Christian Barillot, Nassir Navab. by Mori, Kensaku [editor.] \| Sakuma, Ichiro [editor.] \| Sato, Yoshinobu [editor.] \| Barillot, Christian [editor.] \| Navab, Nassir [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)
	9333.	Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 [electronic resource] : 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II / edited by Kensaku Mori, Ichiro Sakuma, Yoshinobu Sato, Christian Barillot, Nassir Navab. by Mori, Kensaku [editor.] \| Sakuma, Ichiro [editor.] \| Sato, Yoshinobu [editor.] \| Barillot, Christian [editor.] \| Navab, Nassir [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)
	9334.	Flexible Query Answering Systems [electronic resource] : 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings / edited by Henrik Legind Larsen, Maria J. Martin-Bautista, María Amparo Vila, Troels Andreasen, Henning Christiansen. by Larsen, Henrik Legind [editor.] \| Martin-Bautista, Maria J [editor.] \| Vila, María Amparo [editor.] \| Andreasen, Troels [editor.] \| Christiansen, Henning [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)
	9335.	Multiagent System Technologies [electronic resource] : 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings / edited by Matthias Klusch, Matthias Thimm, Marcin Paprzycki. by Klusch, Matthias [editor.] \| Thimm, Matthias [editor.] \| Paprzycki, Marcin [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)
	9336.	Communications and Multimedia Security [electronic resource] : 14th IFIP TC 6/TC 11 International Conference, CMS 2013, Magdeburg, Germany, September 25-26, 2013. Proceedings / edited by Bart Decker, Jana Dittmann, Christian Kraetzer, Claus Vielhauer. by Decker, Bart [editor.] \| Dittmann, Jana [editor.] \| Kraetzer, Christian [editor.] \| Vielhauer, Claus [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)
	9337.	Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem. by Legay, Axel [editor.] \| Bensalem, Saddek [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)
	9338.	Serious Games Development and Applications [electronic resource] : 4th International Conference, SGDA 2013, Trondheim, Norway, September 25-27, 2013. Proceedings / edited by Minhua Ma, Manuel Fradinho Oliveira, Sobah Petersen, Jannicke Baalsrud Hauge. by Ma, Minhua [editor.] \| Oliveira, Manuel Fradinho [editor.] \| Petersen, Sobah [editor.] \| Hauge, Jannicke Baalsrud [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)
	9339.	Computer Safety, Reliability, and Security [electronic resource] : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings / edited by Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche. by Bitsch, Friedemann [editor.] \| Guiochet, Jérémie [editor.] \| Kaâniche, Mohamed [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)
	9340.	Enterprise Systems Integration [electronic resource] : A Process-Oriented Approach / by Diogo R. Ferreira. by Ferreira, Diogo R [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)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Topics

Titles