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
19
20
21
22
23
24
25
26
27
28
29
30
Next »

« Previous
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

	541.	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)
	542.	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)
	543.	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)
	544.	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)
	545.	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)
	546.	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)
	547.	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)
	548.	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)
	549.	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)
	550.	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)
	551.	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)
	552.	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)
	553.	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)
	554.	Grid Resource Management [electronic resource] : On-demand Provisioning, Advance Reservation, and Capacity Planning of Grid Resources / by Mumtaz Siddiqui, Thomas Fahringer. by Siddiqui, Mumtaz [author.] \| Fahringer, Thomas [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)
	555.	Fundamentals of Software Engineering [electronic resource] : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani. by Arbab, Farhad [editor.] \| Sirjani, Marjan [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)
	556.	Ad Hoc Networks [electronic resource] : First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers / edited by Jun Zheng, Shiwen Mao, Scott F. Midkiff, Hua Zhu. by Zheng, Jun [editor.] \| Mao, Shiwen [editor.] \| Midkiff, Scott F [editor.] \| Zhu, Hua [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)
	557.	Networks for Grid Applications [electronic resource] : Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers / edited by Anastasios Doulamis, Joe Mambretti, Ioannis Tomkos, Theodora Varvarigou. by Doulamis, Anastasios [editor.] \| Mambretti, Joe [editor.] \| Tomkos, Ioannis [editor.] \| Varvarigou, Theodora [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)
	558.	Engineering Secure Software and Systems [electronic resource] : Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings / edited by Fabio Massacci, Dan Wallach, Nicola Zannone. by Massacci, Fabio [editor.] \| Wallach, Dan [editor.] \| Zannone, Nicola [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)
	559.	Information Systems, Technology and Management [electronic resource] : 4th International Conference, ICISTM 2010, Bangkok, Thailand, March 11-13, 2010. Proceedings / edited by Sushil K. Prasad, Harrick M. Vin, Sartaj Sahni, Mahadeo P. Jaiswal, Bundit Thipakorn. by Prasad, Sushil K [editor.] \| Vin, Harrick M [editor.] \| Sahni, Sartaj [editor.] \| Jaiswal, Mahadeo P [editor.] \| Thipakorn, Bundit [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)
	560.	Human Benefit through the Diffusion of Information Systems Design Science Research [electronic resource] : IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 – April 1, 2010. Proceedings / edited by Jan Pries-Heje, John Venable, Deborah Bunker, Nancy L. Russo, Janice I. DeGross. by Pries-Heje, Jan [editor.] \| Venable, John [editor.] \| Bunker, Deborah [editor.] \| Russo, Nancy L [editor.] \| DeGross, Janice I [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

Series

Topics