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

Refine your search

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

	721.	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 \| Frade, Maria João \| Pinto, Jorge Sousa \| Melo de Sousa, Simão \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	722.	Research and Development in Intelligent Systems XXVII [electronic resource] : Incorporating Applications and Innovations in Intelligent Systems XVIII Proceedings of AI-2010, The Thirtieth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence / edited by Max Bramer, Miltos Petridis, Adrian Hopgood. by Bramer, Max \| Petridis, Miltos \| Hopgood, Adrian \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	723.	Advances in Systems Safety [electronic resource] : Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011 / edited by Chris Dale, Tom Anderson. by Dale, Chris \| Anderson, Tom \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	724.	Numerical Methods for Ordinary Differential Equations [electronic resource] : Initial Value Problems / by David F. Griffiths, Desmond J. Higham. by Griffiths, David F \| Higham, Desmond J \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	725.	Pervasive Advertising [electronic resource] / edited by Jörg Müller, Florian Alt, Daniel Michelis. by Müller, Jörg \| Alt, Florian \| Michelis, Daniel \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	726.	Social Media Modeling and Computing [electronic resource] / edited by Steven C.H. Hoi, Jiebo Luo, Susanne Boll, Dong Xu, Rong Jin, Irwin King. by Hoi, Steven C.H \| Luo, Jiebo \| Boll, Susanne \| Xu, Dong \| Jin, Rong \| King, Irwin \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	727.	Multimodal Interactive Pattern Recognition and Applications [electronic resource] / by Alejandro Héctor Toselli, Enrique Vidal, Francisco Casacuberta. by Toselli, Alejandro Héctor \| Vidal, Enrique \| Casacuberta, Francisco \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	728.	Optimization Based Data Mining: Theory and Applications [electronic resource] / by Yong Shi, Yingjie Tian, Gang Kou, Yi Peng, Jianping Li. by Shi, Yong \| Tian, Yingjie \| Kou, Gang \| Peng, Yi \| Li, Jianping \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	729.	Demand-Driven Associative Classification [electronic resource] / by Adriano Veloso, Wagner Meira Jr. by Veloso, Adriano \| Meira Jr., Wagner \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	730.	Transparent User Authentication [electronic resource] : Biometrics, RFID and Behavioural Profiling / by Nathan Clarke. by Clarke, Nathan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	731.	Guide to Geometric Algebra in Practice [electronic resource] / edited by Leo Dorst, Joan Lasenby. by Dorst, Leo \| Lasenby, Joan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	732.	Sensing and Systems in Pervasive Computing [electronic resource] : Engineering Context Aware Systems / by Dan Chalmers. by Chalmers, Dan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	733.	The Virtual Future [electronic resource] / by William Sims Bainbridge. by Bainbridge, William Sims \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	734.	ECSCW 2011: Proceedings of the 12th European Conference on Computer Supported Cooperative Work, 24-28 September 2011, Aarhus Denmark [electronic resource] / edited by Susanne Bødker, Niels Olof Bouvin, Volker Wulf, Luigina Ciolfi, Wayne Lutters. by Bødker, Susanne \| Bouvin, Niels Olof \| Wulf, Volker \| Ciolfi, Luigina \| Lutters, Wayne \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	735.	Computer Analysis of Human Behavior [electronic resource] / edited by Albert Ali Salah, Theo Gevers. by Salah, Albert Ali \| Gevers, Theo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	736.	Nonlinear Physical Oceanography [electronic resource] : A Dynamical Systems Approach to the Large Scale Ocean Circulation and El Niño / by Henk A. Dijkstra. by Dijkstra, Henk A \| SpringerLink (Online service). Edition: 2nd Revised and Enlarged Edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	737.	Enterprise Information Systems V [electronic resource] / edited by Olivier Camp, Joaquim B. L. Filipe, Slimane Hammoudi, Mario Piattini. by Camp, Olivier \| Filipe, Joaquim B. L \| Hammoudi, Slimane \| Piattini, Mario \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	738.	Cyberspace Security and Defense: Research Issues [electronic resource] : Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6–9 September 2004 / edited by Janusz S. Kowalik, Janusz Gorski, Anatoly Sachenko. by Kowalik, Janusz S \| Gorski, Janusz \| Sachenko, Anatoly \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	739.	A Guide to Biomolecular Simulations [electronic resource] / by Oren M. Becker, Martin Karplus. by Becker, Oren M \| Karplus, Martin \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	740.	From Cells to Proteins: Imaging Nature across Dimensions [electronic resource] : Proceedings of the NATO Advanced Study Institute on From Cells to Proteins: Imaging Nature across Dimensions Pisa, Italy 12–23 September 2004 / edited by Valtere Evangelista, Laura Barsanti, Vincenzo Passarelli, Paolo Gualtieri. by Evangelista, Valtere \| Barsanti, Laura \| Passarelli, Vincenzo \| Gualtieri, Paolo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2005Online 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