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

Refine your search

Availability
- Limit to currently available items.
Authors
Item types
Locations
Series
Places
- Great Britain
- United States
Topics
Titles
- Adobe Acrobat.

	10161.	NASA Formal Methods [electronic resource] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings / edited by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi. by Bobaru, Mihaela \| Havelund, Klaus \| Holzmann, Gerard J \| Joshi, Rajeev \| 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)
	10162.	Rigorous Software Engineering for Service-Oriented Systems [electronic resource] : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing / edited by Martin Wirsing, Matthias Hölzl. by Wirsing, Martin \| Hölzl, Matthias \| 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)
	10163.	Computational Color Imaging [electronic resource] : Third International Workshop, CCIW 2011, Milan, Italy, April 20-21, 2011. Proceedings / edited by Raimondo Schettini, Shoji Tominaga, Alain Trémeau. by Schettini, Raimondo \| Tominaga, Shoji \| Trémeau, Alain \| 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)
	10164.	Genetic Programming [electronic resource] : 14th European Conference, EuroGP 2011, Torino, Italy, April 27-29, 2011. Proceedings / edited by Sara Silva, James A. Foster, Miguel Nicolau, Penousal Machado, Mario Giacobini. by Silva, Sara \| Foster, James A \| Nicolau, Miguel \| Machado, Penousal \| Giacobini, Mario \| 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)
	10165.	Foundations of Large-Scale Multimedia Information Management and Retrieval [electronic resource] : Mathematics of Perception / by Edward Y. Chang. by Chang, Edward Y \| 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)
	10166.	UNIX Operating System [electronic resource] : The Development Tutorial via UNIX Kernel Services / by Yukun Liu, Yong Yue, Liwei Guo. by Liu, Yukun \| Yue, Yong \| Guo, Liwei \| 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)
	10167.	Advances in Cryptology – EUROCRYPT 2011 [electronic resource] : 30th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tallinn, Estonia, May 15-19, 2011. Proceedings / edited by Kenneth G. Paterson. by Paterson, Kenneth G \| 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)
	10168.	Periodic Review Inventory Systems [electronic resource] : Performance Analysis and Optimization of Inventory Systems within Supply Chains / by Thomas Wensing. by Wensing, Thomas \| 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)
	10169.	Advances in Power Electronics and Instrumentation Engineering [electronic resource] : Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings / edited by Vinu V Das, Nessy Thankachan, Narayan C. Debnath. by Das, Vinu V \| Thankachan, Nessy \| Debnath, Narayan C \| 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)
	10170.	Business Process Management Workshops [electronic resource] : BPM 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised Selected Papers / edited by Michael Muehlen, Jianwen Su. by Muehlen, Michael \| Su, Jianwen \| 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)
	10171.	Formal Concept Analysis [electronic resource] : 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings / edited by Petko Valtchev, Robert Jäschke. by Valtchev, Petko \| Jäschke, Robert \| 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)
	10172.	Applications of Evolutionary Computation [electronic resource] : EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II / edited by Cecilia Chio, Anthony Brabazon, Gianni A. Caro, Rolf Drechsler, Muddassar Farooq, Jörn Grahl, Gary Greenfield, Christian Prins, Juan Romero, Giovanni Squillero, Ernesto Tarantino, Andrea G. B. Tettamanzi, Neil Urquhart, A. Şima Uyar. by Chio, Cecilia \| Brabazon, Anthony \| Caro, Gianni A \| Drechsler, Rolf \| Farooq, Muddassar \| Grahl, Jörn \| Greenfield, Gary \| Prins, Christian \| Romero, Juan \| Squillero, Giovanni \| Tarantino, Ernesto \| Tettamanzi, Andrea G. B \| Urquhart, Neil \| Uyar, A. Şima \| 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)
	10173.	Applications of Evolutionary Computation [electronic resource] : EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011, Proceedings, Part I / edited by Cecilia Chio, Stefano Cagnoni, Carlos Cotta, Marc Ebner, Anikó Ekárt, Anna I. Esparcia-Alcázar, Juan J. Merelo, Ferrante Neri, Mike Preuss, Hendrik Richter, Julian Togelius, Georgios N. Yannakakis. by Chio, Cecilia \| Cagnoni, Stefano \| Cotta, Carlos \| Ebner, Marc \| Ekárt, Anikó \| Esparcia-Alcázar, Anna I \| Merelo, Juan J \| Neri, Ferrante \| Preuss, Mike \| Richter, Hendrik \| Togelius, Julian \| Yannakakis, Georgios N \| 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)
	10174.	New Horizons in Web-Based Learning - ICWL 2010 Workshops [electronic resource] : ICWL 2010 Workshops: STEG, CICW, WGLBWS, and IWKDEWL, Shanghai, China, December 7-11, 2010 Revised Selected Papers / edited by Xiangfeng Luo, Yiwei Cao, Bo Yang, Jianxun Liu, Feiyue Ye. by Luo, Xiangfeng \| Cao, Yiwei \| Yang, Bo \| Liu, Jianxun \| Ye, Feiyue \| 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)
	10175.	Chaos-Based Cryptography [electronic resource] : Theory,Algorithms and Applications / edited by Ljupco Kocarev, Shiguo Lian. by Kocarev, Ljupco \| Lian, Shiguo \| 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)
	10176.	Functional Fractional Calculus [electronic resource] / by Shantanu Das. by Das, Shantanu \| 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)
	10177.	Logic-Based Program Synthesis and Transformation [electronic resource] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers / edited by María Alpuente. by Alpuente, María \| 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)
	10178.	Linear Algebra for Economists [electronic resource] / by Fuad Aleskerov, Hasan Ersel, Dmitri Piontkovski. by Aleskerov, Fuad \| Ersel, Hasan \| Piontkovski, Dmitri \| 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)
	10179.	Information Technology and Mobile Communication [electronic resource] : International Conference, AIM 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings / edited by Vinu V Das, Gylson Thomas, Ford Lumban Gaol. by Das, Vinu V \| Thomas, Gylson \| Lumban Gaol, Ford \| 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)
	10180.	Applications of Declarative Programming and Knowledge Management [electronic resource] : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers / edited by Salvador Abreu, Dietmar Seipel. by Abreu, Salvador \| Seipel, Dietmar \| 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)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Places

Topics

Titles