Library Services | Technical University of Kenya catalog › Results of search for 'su:{Software engineering.}'

Your search returned 3370 results.

	2861.	HCI International 2011 – Posters’ Extended Abstracts [electronic resource] : International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II / edited by Constantine Stephanidis. by Stephanidis, Constantine [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	2862.	HCI International 2011 – Posters’ Extended Abstracts [electronic resource] : International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I / edited by Constantine Stephanidis. by Stephanidis, Constantine [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	2863.	Computer Aided Verification [electronic resource] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings / edited by Ganesh Gopalakrishnan, Shaz Qadeer. by Gopalakrishnan, Ganesh [editor.] \| Qadeer, Shaz [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	2864.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings / edited by Kai Brünnler, George Metcalfe. by Brünnler, Kai [editor.] \| Metcalfe, George [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	2865.	Software Engineering and Computer Systems [electronic resource] : Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I / edited by Jasni Mohamad Zain, Wan Maseri bt Wan Mohd, Eyas El-Qawasmeh. by Mohamad Zain, Jasni [editor.] \| Wan Mohd, Wan Maseri bt [editor.] \| El-Qawasmeh, Eyas [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	2866.	Building Innovation Pipelines through Computer-Aided Innovation [electronic resource] : 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings / edited by Denis Cavallucci, Roland Guio, Gaetano Cascini. by Cavallucci, Denis [editor.] \| Guio, Roland [editor.] \| Cascini, Gaetano [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	2867.	Networked Digital Technologies [electronic resource] : Third International Conference, NDT 2011, Macau, China, July 11-13, 2011. Proceedings / edited by Simon Fong. by Fong, Simon [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	2868.	Software Engineering and Computer Systems [electronic resource] : Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II / edited by Jasni Mohamad Zain, Wan Maseri bt Wan Mohd, Eyas El-Qawasmeh. by Zain, Jasni Mohamad [editor.] \| Wan Mohd, Wan Maseri bt [editor.] \| El-Qawasmeh, Eyas [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	2869.	Software Engineering and Computer Systems [electronic resource] : Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III / edited by Jasni Mohamad Zain, Wan Maseri bt Wan Mohd, Eyas El-Qawasmeh. by Zain, Jasni Mohamad [editor.] \| Wan Mohd, Wan Maseri bt [editor.] \| El-Qawasmeh, Eyas [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	2870.	Systems, Software and Service Process Improvement [electronic resource] : 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings / edited by Rory V. O‘Connor, Jan Pries-Heje, Richard Messnarz. by O‘Connor, Rory V [editor.] \| Pries-Heje, Jan [editor.] \| Messnarz, Richard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	2871.	Model Checking Software [electronic resource] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings / edited by Alex Groce, Madanlal Musuvathi. by Groce, Alex [editor.] \| Musuvathi, Madanlal [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	2872.	Future Information Technology [electronic resource] : 6th International Conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011, Proceedings, Part II / edited by James J. Park, Laurence T. Yang, Changhoon Lee. by Park, James J [editor.] \| Yang, Laurence T [editor.] \| Lee, Changhoon [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	2873.	Future Information Technology [electronic resource] : 6th International Conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011, Proceedings, Part I / edited by James J. Park, Laurence T. Yang, Changhoon Lee. by Park, James J [editor.] \| Yang, Laurence T [editor.] \| Lee, Changhoon [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	2874.	Secure and Trust Computing, Data Management and Applications [electronic resource] : 8th FIRA International Conference, STA 2011, Loutraki, Greece, June 28-30, 2011. Proceedings / edited by James J. Park, Javier Lopez, Sang-Soo Yeo, Taeshik Shon, David Taniar. by Park, James J [editor.] \| Lopez, Javier [editor.] \| Yeo, Sang-Soo [editor.] \| Shon, Taeshik [editor.] \| Taniar, David [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	2875.	Computational Logic in Multi-Agent Systems [electronic resource] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings / edited by João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon Torre. by Leite, João [editor.] \| Torroni, Paolo [editor.] \| Ågotnes, Thomas [editor.] \| Boella, Guido [editor.] \| Torre, Leon [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	2876.	Software Engineering Techniques [electronic resource] : Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers / edited by Zbigniew Huzar, Radek Koci, Bertrand Meyer, Bartosz Walter, Jaroslav Zendulka. by Huzar, Zbigniew [editor.] \| Koci, Radek [editor.] \| Meyer, Bertrand [editor.] \| Walter, Bartosz [editor.] \| Zendulka, Jaroslav [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	2877.	Digital Information Processing and Communications [electronic resource] : International Conference , ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part I / edited by Vaclav Snasel, Jan Platos, Eyas El-Qawasmeh. by Snasel, Vaclav [editor.] \| Platos, Jan [editor.] \| El-Qawasmeh, Eyas [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	2878.	Digital Information Processing and Communications [electronic resource] : International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part II / edited by Vaclav Snasel, Jan Platos, Eyas El-Qawasmeh. by Snasel, Vaclav [editor.] \| Platos, Jan [editor.] \| El-Qawasmeh, Eyas [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	2879.	Advances in Information Technology and Education [electronic resource] : International Conference, CSE 2011, Qingdao, China, July 9-10, 2011, Proceedings, Part I / edited by Honghua Tan, Mark Zhou. by Tan, Honghua [editor.] \| Zhou, Mark [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	2880.	Automated Deduction – CADE-23 [electronic resource] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings / edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans. by Bjørner, Nikolaj [editor.] \| Sofronie-Stokkermans, Viorica [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)

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

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Topics