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

Advanced search
Course reserves
Browse by hierarchy
Authority search
Tag cloud
Purchase suggestions

Your search returned 13655 results.

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue

	3921.	High Confidence Software Reuse in Large Systems [electronic resource] : 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings / edited by Hong Mei. by Mei, Hong \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	3922.	Advances in Grid and Pervasive Computing [electronic resource] : Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings / edited by Song Wu, Laurence T. Yang, Tony Li Xu. by Wu, Song \| Yang, Laurence T \| Xu, Tony Li \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	3923.	Design Patterns for e-Science [electronic resource] / by Henry Gardner, Gabriele Manduchi ; edited by Timothy J. Barth, Michael Griebel, David E. Keyes, Risto M. Nieminen, Dirk Roose, Tamar Schlick. by Gardner, Henry \| Manduchi, Gabriele \| Barth, Timothy J \| Griebel, Michael \| Keyes, David E \| Nieminen, Risto M \| Roose, Dirk \| Schlick, Tamar \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	3924.	Boundary Element Methods [electronic resource] / by Stefan A. Sauter, Christoph Schwab. by Sauter, Stefan A \| Schwab, Christoph \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	3925.	Numerical Simulation in Molecular Dynamics [electronic resource] : Numerics, Algorithms, Parallelization, Applications / by Michael Griebel, Gerhard Zumbusch, Stephan Knapek. by Griebel, Michael \| Zumbusch, Gerhard \| Knapek, Stephan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	3926.	Types for Proofs and Programs [electronic resource] : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers / edited by Marino Miculan, Ivan Scagnetto, Furio Honsell. by Miculan, Marino \| Scagnetto, Ivan \| Honsell, Furio \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	3927.	Parallel Processing and Applied Mathematics [electronic resource] : 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 Revised Selected Papers / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski. by Wyrzykowski, Roman \| Dongarra, Jack \| Karczewski, Konrad \| Wasniewski, Jerzy \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	3928.	Foundations of Intelligent Systems [electronic resource] : 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings / edited by Aijun An, Stan Matwin, Zbigniew W. Raś, Dominik Ślęzak. by An, Aijun \| Matwin, Stan \| Raś, Zbigniew W \| Ślęzak, Dominik \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	3929.	Advances in Knowledge Discovery and Data Mining [electronic resource] : 12th Pacific-Asia Conference, PAKDD 2008 Osaka, Japan, May 20-23, 2008 Proceedings / edited by Takashi Washio, Einoshin Suzuki, Kai Ming Ting, Akihiro Inokuchi. by Washio, Takashi \| Suzuki, Einoshin \| Ting, Kai Ming \| Inokuchi, Akihiro \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	3930.	Service Availability [electronic resource] : 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings / edited by Takashi Nanya, Fumihiro Maruyama, András Pataricza, Miroslaw Malek. by Nanya, Takashi \| Maruyama, Fumihiro \| Pataricza, András \| Malek, Miroslaw \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	3931.	Formal Correctness of Security Protocols [electronic resource] : With 62 Figures and 4 Tables / by Giampaolo Bella. by Bella, Giampaolo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	3932.	Distributed Computing and Networking [electronic resource] : 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006. Proceedings / edited by Soma Chaudhuri, Samir R. Das, Himadri S. Paul, Srikanta Tirthapura. by Chaudhuri, Soma \| Das, Samir R \| Paul, Himadri S \| Tirthapura, Srikanta \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	3933.	Internet and Network Economics [electronic resource] : Second International Workshop, WINE 2006, Patras, Greece, December 15-17, 2006. Proceedings / edited by Paul Spirakis, Marios Mavronicolas, Spyros Kontogiannis. by Spirakis, Paul \| Mavronicolas, Marios \| Kontogiannis, Spyros \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	3934.	Agent Communication II [electronic resource] : International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers / edited by Frank P. M. Dignum, Rogier M. Eijk, Roberto Flores. by Dignum, Frank P. M \| Eijk, Rogier M \| Flores, Roberto \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	3935.	Service-Oriented Computing – ICSOC 2006 [electronic resource] : 4th International Conference, Chicago, IL, USA, December 4-7, 2006. Proceedings / edited by Asit Dan, Winfried Lamersdorf. by Dan, Asit \| Lamersdorf, Winfried \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	3936.	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings / edited by Laurent Perron, Michael A. Trick. by Perron, Laurent \| Trick, Michael A \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	3937.	Progress in Cryptology – AFRICACRYPT 2008 [electronic resource] : First International Conference on Cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. Proceedings / edited by Serge Vaudenay. by Vaudenay, Serge \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	3938.	Modeling Semantic Web Services [electronic resource] : The Web Service Modeling Language / by Jos Bruijn, Dieter Fensel, Mick Kerrigan, Uwe Keller, Holger Lausen, James Scicluna. by Bruijn, Jos \| Fensel, Dieter \| Kerrigan, Mick \| Keller, Uwe \| Lausen, Holger \| Scicluna, James \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	3939.	Wiki [electronic resource] : Web Collaboration / by Anja Ebersbach, Markus Glaser, Richard Heigl, Alexander Warta. by Ebersbach, Anja \| Glaser, Markus \| Heigl, Richard \| Warta, Alexander \| SpringerLink (Online service). Edition: 2.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	3940.	The IT Measurement Compendium [electronic resource] : Estimating and Benchmarking Success with Functional Size Measurement / by Manfred Bundschuh, Carol Dekkers. by Bundschuh, Manfred \| Dekkers, Carol \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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