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

	3041.	Embedded Systems Design Based on Formal Models of Computation [electronic resource] / by Ivan Radojevic, Zoran Salcic. by Radojevic, Ivan [author.] \| Salcic, Zoran [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	3042.	SystemC: From the Ground Up [electronic resource] / by David C. Black, Jack Donovan, Bill Bunton, Anna Keist. by Black, David C [author.] \| Donovan, Jack [author.] \| Bunton, Bill [author.] \| Keist, Anna [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3043.	Secure Integrated Circuits and Systems [electronic resource] / edited by Ingrid M.R. Verbauwhede. by Verbauwhede, Ingrid M.R [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3044.	Network Security [electronic resource] / edited by Scott C.-H. Huang, David MacCallum, Ding-Zhu Du. by Huang, Scott C.-H [editor.] \| MacCallum, David [editor.] \| Du, Ding-Zhu [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3045.	Information Systems Development [electronic resource] : Towards a Service Provision Society / edited by George Angelos Papadopoulos, Wita Wojtkowski, Gregory Wojtkowski, Stanislaw Wrycza, Jože Zupancic. by Papadopoulos, George Angelos [editor.] \| Wojtkowski, Wita [editor.] \| Wojtkowski, Gregory [editor.] \| Wrycza, Stanislaw [editor.] \| Zupancic, Jože [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3046.	Pro PHP Refactoring [electronic resource] / by Francesco Trucchia, Jacopo Romei ; edited by Michelle Lowman, Clay Andres, Steve Anglin, Mark Beckner, Ewan Buckingham, Gary Cornell, Jonathan Gennick, Jonathan Hassell, Michelle Lowman, Matthew Moodie, Duncan Parkes, Jeffrey Pepper, Frank Pohlmann, Douglas Pundick, Ben Renow-Clarke, Dominic Shakeshaft, Matt Wade, Tom Welsh, Anita Castro, Mary Ann Fugate. by Trucchia, Francesco [author.] \| Romei, Jacopo [author.] \| Lowman, Michelle [editor.] \| Andres, Clay [editor.] \| Anglin, Steve [editor.] \| Beckner, Mark [editor.] \| Buckingham, Ewan [editor.] \| Cornell, Gary [editor.] \| Gennick, Jonathan [editor.] \| Hassell, Jonathan [editor.] \| Lowman, Michelle [editor.] \| Moodie, Matthew [editor.] \| Parkes, Duncan [editor.] \| Pepper, Jeffrey [editor.] \| Pohlmann, Frank [editor.] \| Pundick, Douglas [editor.] \| Renow-Clarke, Ben [editor.] \| Shakeshaft, Dominic [editor.] \| Wade, Matt [editor.] \| Welsh, Tom [editor.] \| Castro, Anita [editor.] \| Fugate, Mary Ann [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3047.	Pro Python [electronic resource] / by Marty Alchin ; edited by Clay Andres, Steve Anglin, Mark Beckner, Ewan Buckingham, Gary Cornell, Jonathan Gennick, Jonathan Hassell, Michelle Lowman, Matthew Moodie, Duncan Parkes, Jeffrey Pepper, Frank Pohlmann, Douglas Pundick, Ben Renow-Clarke, Dominic Shakeshaft, Matt Wade, Tom Welsh, Mary Tobin, Nancy Sixsmith, Angel Alchin. by Alchin, Marty [author.] \| Andres, Clay [editor.] \| Anglin, Steve [editor.] \| Beckner, Mark [editor.] \| Buckingham, Ewan [editor.] \| Cornell, Gary [editor.] \| Gennick, Jonathan [editor.] \| Hassell, Jonathan [editor.] \| Lowman, Michelle [editor.] \| Moodie, Matthew [editor.] \| Parkes, Duncan [editor.] \| Pepper, Jeffrey [editor.] \| Pohlmann, Frank [editor.] \| Pundick, Douglas [editor.] \| Renow-Clarke, Ben [editor.] \| Shakeshaft, Dominic [editor.] \| Wade, Matt [editor.] \| Welsh, Tom [editor.] \| Tobin, Mary [editor.] \| Sixsmith, Nancy [editor.] \| Alchin, Angel [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3048.	Visual Information Communication [electronic resource] / edited by Mao Lin Huang, Quang Vinh Nguyen, Kang Zhang. by Huang, Mao Lin [editor.] \| Nguyen, Quang Vinh [editor.] \| Zhang, Kang [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3049.	Open Source Software for Digital Forensics [electronic resource] / edited by Ewa Huebner, Stefano Zanero. by Huebner, Ewa [editor.] \| Zanero, Stefano [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3050.	A Practical Introduction to Hardware/Software Codesign [electronic resource] / by Patrick R. Schaumont. by Schaumont, Patrick R [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3051.	Managed Grids and Cloud Systems in the Asia-Pacific Research Community [electronic resource] / edited by Simon C. Lin, Eric Yen. by Lin, Simon C [editor.] \| Yen, Eric [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3052.	Hardware Based Packet Classification for High Speed Internet Routers [electronic resource] / by Chad R. Meiners, Alex X. Liu, Eric Torng. by Meiners, Chad R [author.] \| Liu, Alex X [author.] \| Torng, Eric [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3053.	Specification and Verification of Multi-agent Systems [electronic resource] / edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer. by Dastani, Mehdi [editor.] \| Hindriks, Koen V [editor.] \| Meyer, John-Jules Charles [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3054.	Composing Software Components [electronic resource] : A Software-testing Perspective / by Dick Hamlet. by Hamlet, Dick [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3055.	A Process Algebraic Approach to Software Architecture Design [electronic resource] / by Alessandro Aldini, Marco Bernardo, Flavio Corradini. by Aldini, Alessandro [author.] \| Bernardo, Marco [author.] \| Corradini, Flavio [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3056.	The Engineering of Mixed Reality Systems [electronic resource] / edited by Emmanuel Dubois, Philip Gray, Laurence Nigay. by Dubois, Emmanuel [editor.] \| Gray, Philip [editor.] \| Nigay, Laurence [editor.] \| 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)
	3057.	Formal Methods: State of the Art and New Directions [electronic resource] / edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi. by Boca, Paul [editor.] \| Bowen, Jonathan P [editor.] \| Siddiqi, Jawed [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3058.	Agent-Based Service-Oriented Computing [electronic resource] / edited by Nathan Griffiths, Kuo-Ming Chao. by Griffiths, Nathan [editor.] \| Chao, Kuo-Ming [editor.] \| 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)
	3059.	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 [editor.] \| Anderson, Tom [editor.] \| 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)
	3060.	Tabletops - Horizontal Interactive Displays [electronic resource] / edited by Christian Müller-Tomfelde. by Müller-Tomfelde, Christian [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2010Online 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