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

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

Your search returned 592 results.

« Previous
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
Next »

« Previous
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
Next »

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

	441.	IAENG Transactions on Engineering Technologies [electronic resource] : Special Edition of the World Congress on Engineering and Computer Science 2011 / edited by Haeng Kon Kim, Sio-Iong Ao, Burghard B. Rieger. by Kim, Haeng Kon [editor.] \| Ao, Sio-Iong [editor.] \| Rieger, Burghard B [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	442.	Arduino and Kinect Projects [electronic resource] : Design, Build, Blow Their Minds / by Enrique Ramos Melgar, Ciriaco Castro Díez, Przemek Jaworski. by Melgar, Enrique Ramos [author.] \| Díez, Ciriaco Castro [author.] \| Jaworski, Przemek [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	443.	Beginning Android ADK with Arduino [electronic resource] / by Mario Böhmer. by Böhmer, Mario [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	444.	Expert F# 3.0 [electronic resource] / by Don Syme, Adam Granicz, Antonio Cisternino. by Syme, Don [author.] \| Granicz, Adam [author.] \| Cisternino, Antonio [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	445.	Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code [electronic resource] / by Bill Blunden. by Blunden, Bill [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	446.	Software and Systems Traceability [electronic resource] / edited by Jane Cleland-Huang, Orlena Gotel, Andrea Zisman. by Cleland-Huang, Jane [editor.] \| Gotel, Orlena [editor.] \| Zisman, Andrea [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	447.	Patterns, Programming and Everything [electronic resource] / edited by Karin K. Breitman, R. Nigel Horspool. by Breitman, Karin K [editor.] \| Horspool, R. Nigel [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	448.	Doing Design Ethnography [electronic resource] / by Andrew Crabtree, Mark Rouncefield, Peter Tolmie. by Crabtree, Andrew [author.] \| Rouncefield, Mark [author.] \| Tolmie, Peter [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	449.	The Design of Cloud Workflow Systems [electronic resource] / by Xiao Liu, Dong Yuan, Gaofeng Zhang, Wenhao Li, Dahai Cao, Qiang He, Jinjun Chen, Yun Yang. by Liu, Xiao [author.] \| Yuan, Dong [author.] \| Zhang, Gaofeng [author.] \| Li, Wenhao [author.] \| Cao, Dahai [author.] \| He, Qiang [author.] \| Chen, Jinjun [author.] \| Yang, Yun [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	450.	Applied Ontology Engineering in Cloud Services, Networks and Management Systems [electronic resource] / by J. Martín Serrano Orozco. by Serrano Orozco, J. Martín [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	451.	Operational Semantics and Verification of Security Protocols [electronic resource] / by Cas Cremers, Sjouke Mauw. by Cremers, Cas [author.] \| Mauw, Sjouke [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	452.	Foundations of Algebraic Specification and Formal Software Development [electronic resource] / by Donald Sannella, Andrzej Tarlecki. by Sannella, Donald [author.] \| Tarlecki, Andrzej [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	453.	Computer Architecture [electronic resource] : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers / edited by Ana Lucia Varbanescu, Anca Molnos, Rob Nieuwpoort. by Varbanescu, Ana Lucia [editor.] \| Molnos, Anca [editor.] \| Nieuwpoort, Rob [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	454.	Formal Methods for Components and Objects [electronic resource] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers / edited by Bernhard K. Aichernig, Frank S. Boer, Marcello M. Bonsangue. by Aichernig, Bernhard K [editor.] \| Boer, Frank S [editor.] \| Bonsangue, Marcello M [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	455.	Advances in Multimedia, Software Engineering and Computing Vol.2 [electronic resource] : Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26–27, Wuhan, China / edited by David Jin, Sally Lin. by Jin, David [editor.] \| Lin, Sally [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	456.	Advances in Multimedia, Software Engineering and Computing Vol.1 [electronic resource] : Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26–27, Wuhan, China / edited by David Jin, Sally Lin. by Jin, David [editor.] \| Lin, Sally [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	457.	Membrane Computing [electronic resource] : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers / edited by Marian Gheorghe, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan. by Gheorghe, Marian [editor.] \| Păun, Gheorghe [editor.] \| Rozenberg, Grzegorz [editor.] \| Salomaa, Arto [editor.] \| Verlan, Sergey [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	458.	Applied Parallel and Scientific Computing [electronic resource] : 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II / edited by Kristján Jónasson. by Jónasson, Kristján [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	459.	Applied Parallel and Scientific Computing [electronic resource] : 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I / edited by Kristján Jónasson. by Jónasson, Kristján [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	460.	Engineering Secure Software and Systems [electronic resource] : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings / edited by Gilles Barthe, Benjamin Livshits, Riccardo Scandariato. by Barthe, Gilles [editor.] \| Livshits, Benjamin [editor.] \| Scandariato, Riccardo [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)

Library Services | Technical University of Kenya

Refine your search

Authors

Series

Topics