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

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

Your search returned 23186 results.

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

	9661.	Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security [electronic resource] : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers / edited by Alessandro Armando, Gavin Lowe. by Armando, Alessandro \| Lowe, Gavin \| 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)
	9662.	Transfer Pricing in China [electronic resource] / edited by Chris Devonshire-Ellis, Andy Scott, Sam Woollard. by Devonshire-Ellis, Chris \| Scott, Andy \| Woollard, Sam \| 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)
	9663.	Transactions on Aspect-Oriented Software Development VII [electronic resource] : A Common Case Study for Aspect-Oriented Modeling / edited by Shmuel Katz, Mira Mezini, Jörg Kienzle. by Katz, Shmuel \| Mezini, Mira \| Kienzle, Jörg \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	9664.	Objects and Databases [electronic resource] : Third International Conference, ICOODB 2010, Frankfurt/Main, Germany, September 28-30, 2010. Proceedings / edited by Alan Dearle, Roberto V. Zicari. by Dearle, Alan \| Zicari, Roberto V \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	9665.	Perspectives in Business Informatics Research [electronic resource] : 9th International Conference, BIR 2010, Rostock Germany, September 29–October 1, 2010. Proceedings / edited by Peter Forbrig, Horst Günther. by Forbrig, Peter \| Günther, Horst \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	9666.	Algorithmic Learning Theory [electronic resource] : 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings / edited by Marcus Hutter, Frank Stephan, Vladimir Vovk, Thomas Zeugmann. by Hutter, Marcus \| Stephan, Frank \| Vovk, Vladimir \| Zeugmann, Thomas \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	9667.	KI 2010: Advances in Artificial Intelligence [electronic resource] : 33rd Annual German Conference on AI, Karlsruhe, Germany, September 21-24, 2010. Proceedings / edited by Rüdiger Dillmann, Jürgen Beyerer, Uwe D. Hanebeck, Tanja Schultz. by Dillmann, Rüdiger \| Beyerer, Jürgen \| Hanebeck, Uwe D \| Schultz, Tanja \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	9668.	The Basel II Risk Parameters [electronic resource] : Estimation, Validation, Stress Testing - with Applications to Loan Risk Management / edited by Bernd Engelmann, Robert Rauhmeier. by Engelmann, Bernd \| Rauhmeier, 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)
	9669.	Web Application Security [electronic resource] : Iberic Web Application Security Conference, IBWAS 2009, Madrid, Spain, December 10-11, 2009. Revised Selected Papers / edited by Carlos Serrão, Vicente Aguilera Díaz, Fabio Cerullo. by Serrão, Carlos \| Aguilera Díaz, Vicente \| Cerullo, Fabio \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	9670.	Model Driven Engineering Languages and Systems [electronic resource] : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II / edited by Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen. by Petriu, Dorina C \| Rouquette, Nicolas \| Haugen, Øystein \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	9671.	Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops [electronic resource] : International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers / edited by Asit Dan, Frédéric Gittler, Farouk Toumani. by Dan, Asit \| Gittler, Frédéric \| Toumani, Farouk \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	9672.	Advances in Artificial Intelligence – SBIA 2010 [electronic resource] : 20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings / edited by Antônio Carlos Rocha Costa, Rosa Maria Vicari, Flavio Tonidandel. by Rocha Costa, Antônio Carlos \| Vicari, Rosa Maria \| Tonidandel, Flavio \| 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)
	9673.	Model Driven Engineering Languages and Systems [electronic resource] : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I / edited by Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen. by Petriu, Dorina C \| Rouquette, Nicolas \| Haugen, Øystein \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	9674.	Security and Privacy in Communication Networks [electronic resource] : 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010. Proceedings / edited by Sushil Jajodia, Jianying Zhou. by Jajodia, Sushil \| Zhou, Jianying \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	9675.	Model Checking Software [electronic resource] : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings / edited by Jaco Pol, Michael Weber. by Pol, Jaco \| Weber, Michael \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	9676.	Information Computing and Applications [electronic resource] : First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings / edited by Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu. by Zhu, Rongbo \| Zhang, Yanchun \| Liu, Baoxiang \| Liu, Chunfeng \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	9677.	Algorithmic Game Theory [electronic resource] : Third International Symposium, SAGT 2010, Athens, Greece, October 18-20, 2010. Proceedings / edited by Spyros Kontogiannis, Elias Koutsoupias, Paul G. Spirakis. by Kontogiannis, Spyros \| Koutsoupias, Elias \| Spirakis, Paul G \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	9678.	Transactions on Large-Scale Data- and Knowledge-Centered Systems II [electronic resource] / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Torben Bach Pedersen, A. Min Tjoa. by Hameurlain, Abdelkader \| Küng, Josef \| Wagner, Roland \| Bach Pedersen, Torben \| Tjoa, A. Min \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	9679.	Multiagent System Technologies [electronic resource] : 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings / edited by Jürgen Dix, Cees Witteveen. by Dix, Jürgen \| Witteveen, Cees \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	9680.	Comparative Genomics [electronic resource] : International Workshop, RECOMB-CG 2010, Ottawa, Canada, October 9-11, 2010. Proceedings / edited by Eric Tannier. by Tannier, Eric \| 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