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

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

Your search returned 1488 results.

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

	501.	Principles of Programming Languages [electronic resource] / by Gilles Dowek. by Dowek, Gilles \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	502.	Software Verification and Analysis [electronic resource] : An Integrated, Hands-On Approach / by William Stanley, Janusz Laski. by Stanley, William \| Laski, Janusz \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	503.	Guide to Fortran 2003 Programming [electronic resource] / by Walter S. Brainerd. by Brainerd, Walter S \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	504.	Programming Finite Elements in Java™ [electronic resource] / by Gennadiy Nikishkov. by Nikishkov, Gennadiy \| 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)
	505.	Introduction to Databases [electronic resource] : From Biological to Spatio-Temporal / by Peter Revesz. by Revesz, Peter \| 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)
	506.	Object-Oriented Analysis and Design [electronic resource] / edited by Sarnath Ramnath, Brahma Dathan. by Ramnath, Sarnath \| Dathan, Brahma \| 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)
	507.	Structures de données et méthodes formelles [electronic resource] / by Marc Guyomard. by Guyomard, Marc \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Paris : Springer Paris, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	508.	Autonomics Development: A Domain-Specific Aspect Language Approach [electronic resource] / by Paul Soule. by Soule, Paul \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Basel : Springer Basel, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	509.	Component-Based Software Testing with UML [electronic resource] / by Hans-Gerhard Gross. by Gross, Hans-Gerhard \| 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)
	510.	Categories for Software Engineering [electronic resource] / by José Luiz Fiadeiro. by Fiadeiro, José Luiz \| 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)
	511.	Implementation of Functional Languages [electronic resource] : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers / edited by Phil Trinder, Greg J. Michaelson, Ricardo Peña. by Trinder, Phil \| Michaelson, Greg J \| Peña, Ricardo \| 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)
	512.	Multiagent System Technologies [electronic resource] : Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005. Proceedings / edited by Torsten Eymann, Franziska Klügl, Winfried Lamersdorf, Matthias Klusch, Michael N. Huhns. by Eymann, Torsten \| Klügl, Franziska \| Lamersdorf, Winfried \| Klusch, Matthias \| Huhns, Michael N \| 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)
	513.	Software Composition [electronic resource] : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers / edited by Thomas Gschwind, Uwe Aßmann, Oscar Nierstrasz. by Gschwind, Thomas \| Aßmann, Uwe \| Nierstrasz, Oscar \| 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)
	514.	Distributed Computing - IWDC 2004 [electronic resource] : 6th International Workshop, Kolkata, India, December 27-30, 2004. Proceedings / edited by Arunabha Sen, Nabanita Das, Sajal K. Das, Bhabani P. Sinha. by Sen, Arunabha \| Das, Nabanita \| Das, Sajal K \| Sinha, Bhabani P \| 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)
	515.	Distributed Computing and Internet Technology [electronic resource] : First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004. Proceedings / edited by R. K. Ghosh, Hrushikesha Mohanty. by Ghosh, R. K \| Mohanty, Hrushikesha \| 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)
	516.	Practical Aspects of Declarative Languages [electronic resource] : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings / edited by Manuel V. Hermenegildo, Daniel Cabeza. by Hermenegildo, Manuel V \| Cabeza, Daniel \| 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)
	517.	Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / edited by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean. by Barthe, Gilles \| Burdy, Lilian \| Huisman, Marieke \| Lanet, Jean-Louis \| Muntean, Traian \| 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)
	518.	Agent-Oriented Software Engineering V [electronic resource] : 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers / edited by James Odell, Paolo Giorgini, Jörg P. Müller. by Odell, James \| Giorgini, Paolo \| Müller, Jörg P \| 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)
	519.	Software Engineering 1 [electronic resource] : Abstraction and Modelling / by Dines Bjørner. by Bjørner, Dines \| 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)
	520.	Trustworthy Global Computing [electronic resource] : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers / edited by Rocco Nicola, Davide Sangiorgi. by Nicola, Rocco \| Sangiorgi, Davide \| 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

Series

Topics