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

Refine your search

Availability
- Limit to currently available items.
Authors
Item types
Locations
- General Stacks
- Reference
Series
Topics
Titles
- Adobe Acrobat.

	10921.	Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach [electronic resource] / by Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine de Cock. by Janssen, Jeroen \| Schockaert, Steven \| Vermeir, Dirk \| de Cock, Martine \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Paris : Atlantis Press, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10922.	Theoretical Foundations of Artificial General Intelligence [electronic resource] / edited by Pei Wang, Ben Goertzel. by Wang, Pei [editor.] \| Goertzel, Ben [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10923.	Instruction Sequences for Computer Science [electronic resource] / by Jan A. Bergstra, Cornelis A. Middelburg. by Bergstra, Jan A [author.] \| Middelburg, Cornelis A [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10924.	Trustworthy Ubiquitous Computing [electronic resource] / edited by Ismail Khalil, Teddy Mantoro. by Khalil, Ismail [editor.] \| Mantoro, Teddy [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10925.	Computational Intelligence Systems in Industrial Engineering [electronic resource] : With Recent Theory and Applications / edited by Cengiz Kahraman. by Kahraman, Cengiz [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	10926.	Evolutionary Optimization: the µGP toolkit [electronic resource] / by Ernesto Sanchez, Massimiliano Schillaci, Giovanni Squillero. by Sanchez, Ernesto [author.] \| Schillaci, Massimiliano [author.] \| Squillero, Giovanni [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	10927.	Problem Solving Handbook in Computational Biology and Bioinformatics [electronic resource] / edited by Lenwood S. Heath, Naren Ramakrishnan. by Heath, Lenwood S [editor.] \| Ramakrishnan, Naren [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	10928.	Encyclopedia of Parallel Computing [electronic resource] / edited by David Padua. by Padua, David [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	10929.	The Proof is in the Pudding [electronic resource] : The Changing Nature of Mathematical Proof / by Steven G. Krantz. by Krantz, Steven G [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	10930.	Combinatorial Computational Biology of RNA [electronic resource] : Pseudoknots and Neutral Networks / by Christian Reidys. by Reidys, Christian [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	10931.	Introduction to Biometrics [electronic resource] / by Anil K. Jain, Arun A. Ross, Karthik Nandakumar. by Jain, Anil K [author.] \| Ross, Arun A [author.] \| Nandakumar, Karthik [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	10932.	Probability Measures on Semigroups [electronic resource] : Convolution Products, Random Walks and Random Matrices / by Göran Högnäs, Arunava Mukherjea. by Högnäs, Göran [author.] \| Mukherjea, Arunava [author.] \| SpringerLink (Online service). Edition: 2.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	10933.	Spyware and Adware [electronic resource] / by John Aycock. by Aycock, John [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	10934.	Recommender Systems Handbook [electronic resource] / edited by Francesco Ricci, Lior Rokach, Bracha Shapira, Paul B. Kantor. by Ricci, Francesco [editor.] \| Rokach, Lior [editor.] \| Shapira, Bracha [editor.] \| Kantor, Paul B [editor.] \| SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	10935.	Structural Analysis of Complex Networks [electronic resource] / edited by Matthias Dehmer. by Dehmer, Matthias [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston : Birkhäuser Boston, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	10936.	A First Course in Statistics for Signal Analysis [electronic resource] / by Wojbor A. Woyczynski. by Woyczynski, Wojbor A [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston : Birkhäuser Boston, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	10937.	Integral Methods in Science and Engineering [electronic resource] : Computational and Analytic Aspects / edited by Christian Constanda, Paul J. Harris. by Constanda, Christian [editor.] \| Harris, Paul J [editor.] \| SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston : Birkhäuser Boston, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	10938.	Rigorous Software Development [electronic resource] : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa. by Almeida, José Bacelar [author.] \| Frade, Maria João [author.] \| Pinto, Jorge Sousa [author.] \| Melo de Sousa, Simão [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	10939.	Guide to Three Dimensional Structure and Motion Factorization [electronic resource] / by Guanghui Wang, Q. M. Jonathan Wu. by Wang, Guanghui [author.] \| Wu, Q. M. Jonathan [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	10940.	Grids, Clouds and Virtualization [electronic resource] / edited by Massimo Cafaro, Giovanni Aloisio. by Cafaro, Massimo [editor.] \| Aloisio, Giovanni [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2011Online 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