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
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
Next »

« Previous
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
Next »

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

	3061.	Thriving Systems Theory and Metaphor-Driven Modeling [electronic resource] / by Leslie J. Waguespack. by Waguespack, Leslie J [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)
	3062.	Reliable and Autonomous Computational Science [electronic resource] : International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010 / edited by Sung Y. Shin, Rex Gantenbein, Tei-Wei Kuo, Jiman Hong. by Shin, Sung Y [editor.] \| Gantenbein, Rex [editor.] \| Kuo, Tei-Wei [editor.] \| Hong, Jiman [editor.] \| 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)
	3063.	Agile Software Development [electronic resource] : Best Practices for Large Software Development Projects / by Thomas Stober, Uwe Hansmann. by Stober, Thomas [author.] \| Hansmann, Uwe [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3064.	Security for Web Services and Service-Oriented Architectures [electronic resource] / by Elisa Bertino, Lorenzo Martino, Federica Paci, Anna Squicciarini. by Bertino, Elisa [author.] \| Martino, Lorenzo [author.] \| Paci, Federica [author.] \| Squicciarini, Anna [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3065.	Architecture-Based Design of Multi-Agent Systems [electronic resource] / by Danny Weyns. by Weyns, Danny [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, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3066.	Simula Research Laboratory [electronic resource] : by Thinking Constantly about it / edited by Aslak Tveito, Are Magnus Bruaset, Olav Lysne. by Tveito, Aslak [editor.] \| Bruaset, Are Magnus [editor.] \| Lysne, Olav [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3067.	Business Process Technology [electronic resource] : A Unified View on Business Processes, Workflows and Enterprise Applications / by Dirk Draheim. by Draheim, Dirk [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3068.	HPC@Green IT [electronic resource] : Green High Performance Computing Methods / by Ralf Gruber, Vincent Keller. by Gruber, Ralf [author.] \| Keller, Vincent [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3069.	Test-Driven Development [electronic resource] : An Empirical Evaluation of Agile Practice / by Lech Madeyski. by Madeyski, Lech [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, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3070.	Computational Methods in Chemical Engineering with Maple [electronic resource] / by Ralph E. White, Venkat R. Subramanian. by White, Ralph E [author.] \| Subramanian, Venkat R [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3071.	Strategic IT Management [electronic resource] : A Toolkit for Enterprise Architecture Management / by Inge Hanschke. by Hanschke, Inge [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3072.	Collaborative Software Engineering [electronic resource] / edited by Ivan Mistrík, John Grundy, André Hoek, Jim Whitehead. by Mistrík, Ivan [editor.] \| Grundy, John [editor.] \| Hoek, André [editor.] \| Whitehead, Jim [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3073.	Tools for High Performance Computing 2009 [electronic resource] : Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden / edited by Matthias S. Müller, Michael M. Resch, Alexander Schulz, Wolfgang E. Nagel. by Müller, Matthias S [editor.] \| Resch, Michael M [editor.] \| Schulz, Alexander [editor.] \| Nagel, Wolfgang E [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3074.	SOFSEM 2010: Theory and Practice of Computer Science [electronic resource] : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings / edited by Jan Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorný, Bernhard Rumpe. by Leeuwen, Jan [editor.] \| Muscholl, Anca [editor.] \| Peleg, David [editor.] \| Pokorný, Jaroslav [editor.] \| Rumpe, Bernhard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3075.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings / edited by Gilles Barthe, Manuel Hermenegildo. by Barthe, Gilles [editor.] \| Hermenegildo, Manuel [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3076.	Declarative Agent Languages and Technologies VII [electronic resource] : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers / edited by Matteo Baldoni, Jamal Bentahar, M. Birna Riemsdijk, John Lloyd. by Baldoni, Matteo [editor.] \| Bentahar, Jamal [editor.] \| Riemsdijk, M. Birna [editor.] \| Lloyd, John [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3077.	Web Dynpro ABAP for Practitioners [electronic resource] / by Ulrich Gellert, Ana Daniela Cristea. by Gellert, Ulrich [author.] \| Cristea, Ana Daniela [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, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3078.	Perspectives of Systems Informatics [electronic resource] : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers / edited by Amir Pnueli, Irina Virbitskaite, Andrei Voronkov. by Pnueli, Amir [editor.] \| Virbitskaite, Irina [editor.] \| Voronkov, Andrei [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3079.	Practical Aspects of Declarative Languages [electronic resource] : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings / edited by Manuel Carro, Ricardo Peña. by Carro, Manuel [editor.] \| Peña, Ricardo [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3080.	Concurrency, Compositionality, and Correctness [electronic resource] : Essays in Honor of Willem-Paul de Roever / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen. by Dams, Dennis [editor.] \| Hannemann, Ulrich [editor.] \| Steffen, Martin [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 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