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

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

Your search returned 3370 results.

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

	321.	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)
	322.	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)
	323.	Deadlock Resolution in Automated Manufacturing Systems [electronic resource] : A Novel Petri Net Approach / by ZhiWu Li, MengChu Zhou. by Li, ZhiWu \| Zhou, MengChu \| 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)
	324.	Practical Introduction to Computer Architecture [electronic resource] / by Daniel Page. by Page, Daniel \| SpringerLink (Online service). Edition: 1.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)
	325.	Artificial Life Models in Software [electronic resource] / edited by Maciej Komosinski, Andrew Adamatzky. by Komosinski, Maciej \| Adamatzky, Andrew \| 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)
	326.	Ada for Software Engineers (Second Edition with Ada 2005) [electronic resource] / edited by Mordechai Ben-Ari. by Ben-Ari, Mordechai \| 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)
	327.	A Concise and Practical Introduction to Programming Algorithms in Java [electronic resource] / by Frank Nielsen. by Nielsen, Frank \| 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)
	328.	Safety-Critical Systems: Problems, Process and Practice [electronic resource] : Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009 / edited by Chris Dale, Tom Anderson. by Dale, Chris \| Anderson, Tom \| 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)
	329.	New Trends on Human–Computer Interaction [electronic resource] : Research, Development, New Tools and Methods / edited by José A. Macías, Antoni Granollers Saltiveri, Pedro M. Latorre. by Macías, José A \| Granollers Saltiveri, Antoni \| Latorre, Pedro M \| 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)
	330.	Geometric Algebra: An Algebraic System for Computer Games and Animation [electronic resource] / by John Vince. by Vince, John \| 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)
	331.	Models of Computation [electronic resource] : An Introduction to Computability Theory / by Maribel Fernández. by Fernández, Maribel \| SpringerLink (Online service). Edition: 1.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)
	332.	Artificial Life Models in Hardware [electronic resource] / edited by Andrew Adamatzky, Maciej Komosinski. by Adamatzky, Andrew \| Komosinski, Maciej \| 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)
	333.	The Engineering of Mixed Reality Systems [electronic resource] / edited by Emmanuel Dubois, Philip Gray, Laurence Nigay. by Dubois, Emmanuel \| Gray, Philip \| Nigay, Laurence \| 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)
	334.	Formal Methods: State of the Art and New Directions [electronic resource] / edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi. by Boca, Paul \| Bowen, Jonathan P \| Siddiqi, Jawed \| 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)
	335.	Agent-Based Service-Oriented Computing [electronic resource] / edited by Nathan Griffiths, Kuo-Ming Chao. by Griffiths, Nathan \| Chao, Kuo-Ming \| 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)
	336.	Making Systems Safer [electronic resource] : Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010 / edited by Chris Dale, Tom Anderson. by Dale, Chris \| Anderson, Tom \| 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)
	337.	Tabletops - Horizontal Interactive Displays [electronic resource] / edited by Christian Müller-Tomfelde. by Müller-Tomfelde, Christian \| 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)
	338.	Thriving Systems Theory and Metaphor-Driven Modeling [electronic resource] / by Leslie J. Waguespack. by Waguespack, Leslie J \| 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)
	339.	Requirements Engineering [electronic resource] / by Elizabeth Hull, Ken Jackson, Jeremy Dick. by Hull, Elizabeth \| Jackson, Ken \| Dick, Jeremy \| 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)
	340.	The Seductive Computer [electronic resource] : Why IT Systems Always Fail / by Derek Partridge. by Partridge, Derek \| 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)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Topics