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.

	5081.	Languages and Compilers for Parallel Computing [electronic resource] : 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002. Revised Papers / edited by Bill Pugh, Chau-Wen Tseng. by Pugh, Bill \| Tseng, Chau-Wen \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	5082.	Socionics [electronic resource] : Scalability of Complex Social Systems / edited by Klaus Fischer, Michael Florian, Thomas Malsch. by Fischer, Klaus \| Florian, Michael \| Malsch, Thomas \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	5083.	Component-Based Software Development for Embedded Systems [electronic resource] : An Overview of Current Research Trends / edited by Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper. by Atkinson, Colin \| Bunse, Christian \| Gross, Hans-Gerhard \| Peper, Christian \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	5084.	Security and Privacy in Ad-hoc and Sensor Networks [electronic resource] : Second European Workshop, ESAS 2005, Visegrad, Hungary, July 13-14, 2005. Revised Selected Papers / edited by Refik Molva, Gene Tsudik, Dirk Westhoff. by Molva, Refik \| Tsudik, Gene \| Westhoff, Dirk \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	5085.	Formal Modeling and Analysis of Timed Systems [electronic resource] : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings / edited by Paul Pettersson, Wang Yi. by Pettersson, Paul \| Yi, Wang \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	5086.	Job Scheduling Strategies for Parallel Processing [electronic resource] : 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers / edited by Dror Feitelson, Eitan Frachtenberg, Larry Rudolph, Uwe Schwiegelshohn. by Feitelson, Dror \| Frachtenberg, Eitan \| Rudolph, Larry \| Schwiegelshohn, Uwe \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	5087.	New Algorithms for Macromolecular Simulation [electronic resource] / edited by Benedict Leimkuhler, Christophe Chipot, Ron Elber, Aatto Laaksonen, Alan Mark, Tamar Schlick, Christoph Schütte, Robert Skeel. by Leimkuhler, Benedict \| Chipot, Christophe \| Elber, Ron \| Laaksonen, Aatto \| Mark, Alan \| Schlick, Tamar \| Schütte, Christoph \| Skeel, Robert \| 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)
	5088.	Numerical Solution of Partial Differential Equations on Parallel Computers [electronic resource] / edited by Are Magnus Bruaset, Aslak Tveito. by Bruaset, Are Magnus \| Tveito, Aslak \| 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)
	5089.	Professional Knowledge Management [electronic resource] : Third Biennial Conference, WM 2005, Kaiserslautern, Germany, April 10-13, 2005, Revised Selected Papers / edited by Klaus-Dieter Althoff, Andreas Dengel, Ralph Bergmann, Markus Nick, Thomas Roth-Berghofer. by Althoff, Klaus-Dieter \| Dengel, Andreas \| Bergmann, Ralph \| Nick, Markus \| Roth-Berghofer, Thomas \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	5090.	Advances in Biometrics [electronic resource] : International Conference, ICB 2006, Hong Kong, China, January 5-7, 2006. Proceedings / edited by David Zhang, Anil K. Jain. by Zhang, David \| Jain, Anil K \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	5091.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings / edited by E. Allen Emerson, Kedar S. Namjoshi. by Emerson, E. Allen \| Namjoshi, Kedar S \| 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)
	5092.	Audio- and Video-Based Biometric Person Authentication [electronic resource] : 5th International Conference, AVBPA 2005, Hilton Rye Town, NY, USA, July 20-22, 2005. Proceedings / edited by Takeo Kanade, Anil Jain, Nalini K. Ratha. by Kanade, Takeo \| Jain, Anil \| Ratha, Nalini K \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	5093.	Product Focused Software Process Improvement [electronic resource] : 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005. Proceedings / edited by Frank Bomarius, Seija Komi-Sirviö. by Bomarius, Frank \| Komi-Sirviö, Seija \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	5094.	Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : Second International Conference, DIMVA 2005, Vienna, Austria, July 7-8, 2005. Proceedings / edited by Klaus Julisch, Christopher Kruegel. by Julisch, Klaus \| Kruegel, Christopher \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	5095.	Progress in Artificial Intelligence [electronic resource] : 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005. Proceedings / edited by Carlos Bento, Amílcar Cardoso, Gaël Dias. by Bento, Carlos \| Cardoso, Amílcar \| Dias, Gaël \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	5096.	Architecting Dependable Systems III [electronic resource] / edited by Rogério Lemos, Cristina Gacek, Alexander Romanovsky. by Lemos, Rogério \| Gacek, Cristina \| Romanovsky, Alexander \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	5097.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings / edited by Geoff Sutcliffe, Andrei Voronkov. by Sutcliffe, Geoff \| Voronkov, Andrei \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	5098.	Intelligent Technologies for Interactive Entertainment [electronic resource] : First International Conference, INTETAIN 2005, Madonna di Campiglio, Italy, November 30 – December 2, 2005. Proceedings / edited by Mark Maybury, Oliviero Stock, Wolfgang Wahlster. by Maybury, Mark \| Stock, Oliviero \| Wahlster, Wolfgang \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	5099.	AI 2005: Advances in Artificial Intelligence [electronic resource] : 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005. Proceedings / edited by Shichao Zhang, Ray Jarvis. by Zhang, Shichao \| Jarvis, Ray \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	5100.	MICAI 2005: Advances in Artificial Intelligence [electronic resource] : 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005. Proceedings / edited by Alexander Gelbukh, Álvaro Albornoz, Hugo Terashima-Marín. by Gelbukh, Alexander \| Albornoz, Álvaro \| Terashima-Marín, Hugo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 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

Places

Topics

Titles