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

Your search returned 3370 results.

	2981.	Implementation and Application of Functional Languages [electronic resource] : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers / edited by Sven-Bodo Scholz, Olaf Chitil. by Scholz, Sven-Bodo [editor.] \| Chitil, Olaf [editor.] \| 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)
	2982.	Model Driven Engineering Languages and Systems [electronic resource] : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings / edited by Jon Whittle, Tony Clark, Thomas Kühne. by Whittle, Jon [editor.] \| Clark, Tony [editor.] \| Kühne, Thomas [editor.] \| 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)
	2983.	Dependable and Historic Computing [electronic resource] : Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday / edited by Cliff B. Jones, John L. Lloyd. by Jones, Cliff B [editor.] \| Lloyd, John L [editor.] \| 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)
	2984.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings / edited by Xavier Défago, Franck Petit, Vincent Villain. by Défago, Xavier [editor.] \| Petit, Franck [editor.] \| Villain, Vincent [editor.] \| 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)
	2985.	Formal Methods and Software Engineering [electronic resource] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings / edited by Shengchao Qin, Zongyan Qiu. by Qin, Shengchao [editor.] \| Qiu, Zongyan [editor.] \| 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)
	2986.	Advances in Conceptual Modeling. Recent Developments and New Directions [electronic resource] : ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31 - November 3, 2011. Proceedings / edited by Olga Troyer, Claudia Bauzer Medeiros, Roland Billen, Pierre Hallot, Alkis Simitsis, Hans Mingroot. by Troyer, Olga [editor.] \| Bauzer Medeiros, Claudia [editor.] \| Billen, Roland [editor.] \| Hallot, Pierre [editor.] \| Simitsis, Alkis [editor.] \| Mingroot, Hans [editor.] \| 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)
	2987.	Testing Software and Systems [electronic resource] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings / edited by Burkhart Wolff, Fatiha Zaïdi. by Wolff, Burkhart [editor.] \| Zaïdi, Fatiha [editor.] \| 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)
	2988.	Multiagent System Technologies [electronic resource] : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings / edited by Franziska Klügl, Sascha Ossowski. by Klügl, Franziska [editor.] \| Ossowski, Sascha [editor.] \| 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)
	2989.	Conceptual Modeling – ER 2011 [electronic resource] : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings / edited by Manfred Jeusfeld, Lois Delcambre, Tok-Wang Ling. by Jeusfeld, Manfred [editor.] \| Delcambre, Lois [editor.] \| Ling, Tok-Wang [editor.] \| 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)
	2990.	Algorithms and Architectures for Parallel Processing [electronic resource] : 11th International Conference, ICA3PP, Melbourne, Australia, October 24-26, 2011, Proceedings, Part I / edited by Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs, Wanlei Zhou. by Xiang, Yang [editor.] \| Cuzzocrea, Alfredo [editor.] \| Hobbs, Michael [editor.] \| Zhou, Wanlei [editor.] \| 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)
	2991.	Algorithms and Architectures for Parallel Processing [electronic resource] : 11th International Conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II / edited by Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs, Wanlei Zhou. by Xiang, Yang [editor.] \| Cuzzocrea, Alfredo [editor.] \| Hobbs, Michael [editor.] \| Zhou, Wanlei [editor.] \| 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)
	2992.	Software Engineering and Formal Methods [electronic resource] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings / edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider. by Barthe, Gilles [editor.] \| Pardo, Alberto [editor.] \| Schneider, Gerardo [editor.] \| 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)
	2993.	Computer Performance Engineering [electronic resource] : 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings / edited by Nigel Thomas. by Thomas, Nigel [editor.] \| 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)
	2994.	Towards a Service-Based Internet [electronic resource] : 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011. Proceedings / edited by Witold Abramowicz, Ignacio M. Llorente, Mike Surridge, Andrea Zisman, Julien Vayssière. by Abramowicz, Witold [editor.] \| Llorente, Ignacio M [editor.] \| Surridge, Mike [editor.] \| Zisman, Andrea [editor.] \| Vayssière, Julien [editor.] \| 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)
	2995.	New Studies in Global IT and Business Service Outsourcing [electronic resource] : 5th Global Scourcing Workshop 2011, Courchevel, France, March 14-17, 2011, Revised Selected Papers / edited by Julia Kotlarsky, Leslie P. Willcocks, Ilan Oshri. by Kotlarsky, Julia [editor.] \| Willcocks, Leslie P [editor.] \| Oshri, Ilan [editor.] \| 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)
	2996.	Information Security [electronic resource] : 14th International Conference, ISC 2011, Xi’an, China, October 26-29, 2011. Proceedings / edited by Xuejia Lai, Jianying Zhou, Hui Li. by Lai, Xuejia [editor.] \| Zhou, Jianying [editor.] \| Li, Hui [editor.] \| 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)
	2997.	Algebraic Foundations in Computer Science [electronic resource] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / edited by Werner Kuich, George Rahonis. by Kuich, Werner [editor.] \| Rahonis, George [editor.] \| 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)
	2998.	Rule - Based Modeling and Computing on the Semantic Web [electronic resource] : 5th International Symposium, RuleML 2011– America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings / edited by Frank Olken, Monica Palmirani, Davide Sottara. by Olken, Frank [editor.] \| Palmirani, Monica [editor.] \| Sottara, Davide [editor.] \| 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)
	2999.	Formal Modeling: Actors, Open Systems, Biological Systems [electronic resource] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / edited by Gul Agha, Olivier Danvy, José Meseguer. by Agha, Gul [editor.] \| Danvy, Olivier [editor.] \| Meseguer, José [editor.] \| 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)
	3000.	Formal Methods, Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers / edited by Adenilso Simao, Carroll Morgan. by Simao, Adenilso [editor.] \| Morgan, Carroll [editor.] \| 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)

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

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Topics