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.

« Previous
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
Next »

« Previous
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
Next »

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

	2361.	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)
	2362.	Automated Configuration Problem Solving [electronic resource] / by Charles J. Petrie. by Petrie, Charles J \| 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)
	2363.	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)
	2364.	Software Engineering and Knowledge Engineering: Theory and Practice [electronic resource] : Volume 1 / edited by Yanwen Wu. by Wu, Yanwen [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)
	2365.	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)
	2366.	Design Thinking Research [electronic resource] : Studying Co-Creation in Practice / edited by Hasso Plattner, Christoph Meinel, Larry Leifer. by Plattner, Hasso [editor.] \| Meinel, Christoph [editor.] \| Leifer, Larry [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)
	2367.	From the Web to the Grid and Beyond [electronic resource] : Computing Paradigms Driven by High-Energy Physics / edited by René Brun, Federico Carminati, Giuliana Galli Carminati. by Brun, René [editor.] \| Carminati, Federico [editor.] \| Galli Carminati, Giuliana [editor.] \| 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)
	2368.	Software Engineering Research,Management and Applications 2011 [electronic resource] / edited by Roger Lee. by Lee, Roger [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)
	2369.	Earth System Modelling - Volume 3 [electronic resource] : Coupling Software and Strategies / by Sophie Valcke, René Redler, Reinhard Budich. by Valcke, Sophie [author.] \| Redler, René [author.] \| Budich, Reinhard [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)
	2370.	Software Process Definition and Management [electronic resource] / by Jürgen Münch, Ove Armbrust, Martin Kowalczyk, Martín Soto. by Münch, Jürgen [author.] \| Armbrust, Ove [author.] \| Kowalczyk, Martin [author.] \| Soto, Martín [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)
	2371.	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)
	2372.	Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio. by Meyer, Bertrand [editor.] \| Nordio, Martin [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)
	2373.	SDL 2011: Integrating System and Software Modeling [electronic resource] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers / edited by Iulian Ober, Ileana Ober. by Ober, Iulian [editor.] \| Ober, Ileana [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)
	2374.	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)
	2375.	RFID. Security and Privacy [electronic resource] : 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011, Revised Selected Papers / edited by Ari Juels, Christof Paar. by Juels, Ari [editor.] \| Paar, Christof [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)
	2376.	Principles and Practice of Multi-Agent Systems [electronic resource] : 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers / edited by Nirmit Desai, Alan Liu, Michael Winikoff. by Desai, Nirmit [editor.] \| Liu, Alan [editor.] \| Winikoff, Michael [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)
	2377.	Mathematical and Engineering Methods in Computer Science [electronic resource] : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers / edited by Zdeněk Kotásek, Jan Bouda, Ivana Černá, Lukáš Sekanina, Tomáš Vojnar, David Antoš. by Kotásek, Zdeněk [editor.] \| Bouda, Jan [editor.] \| Černá, Ivana [editor.] \| Sekanina, Lukáš [editor.] \| Vojnar, Tomáš [editor.] \| Antoš, David [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)
	2378.	Distributed Computing and Networking [electronic resource] : 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings / edited by Luciano Bononi, Ajoy K. Datta, Stéphane Devismes, Archan Misra. by Bononi, Luciano [editor.] \| Datta, Ajoy K [editor.] \| Devismes, Stéphane [editor.] \| Misra, Archan [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)
	2379.	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)
	2380.	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)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Topics