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
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
Next »

« Previous
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
Next »

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

	1821.	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 \| Qadeer, Shaz \| 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)
	1822.	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 \| Metcalfe, George \| 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)
	1823.	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 \| Wan Mohd, Wan Maseri bt \| El-Qawasmeh, Eyas \| 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)
	1824.	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 \| Guio, Roland \| Cascini, Gaetano \| 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)
	1825.	Networked Digital Technologies [electronic resource] : Third International Conference, NDT 2011, Macau, China, July 11-13, 2011. Proceedings / edited by Simon Fong. by Fong, Simon \| 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)
	1826.	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 \| Wan Mohd, Wan Maseri bt \| El-Qawasmeh, Eyas \| 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)
	1827.	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 \| Wan Mohd, Wan Maseri bt \| El-Qawasmeh, Eyas \| 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)
	1828.	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 \| Pries-Heje, Jan \| Messnarz, Richard \| 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)
	1829.	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 \| Musuvathi, Madanlal \| 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)
	1830.	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 \| Yang, Laurence T \| Lee, Changhoon \| 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)
	1831.	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 \| Yang, Laurence T \| Lee, Changhoon \| 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)
	1832.	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 \| Lopez, Javier \| Yeo, Sang-Soo \| Shon, Taeshik \| Taniar, David \| 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)
	1833.	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 \| Torroni, Paolo \| Ågotnes, Thomas \| Boella, Guido \| Torre, Leon \| 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)
	1834.	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 \| Koci, Radek \| Meyer, Bertrand \| Walter, Bartosz \| Zendulka, Jaroslav \| 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)
	1835.	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 \| Platos, Jan \| El-Qawasmeh, Eyas \| 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)
	1836.	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 \| Platos, Jan \| El-Qawasmeh, Eyas \| 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)
	1837.	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 \| Zhou, Mark \| 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)
	1838.	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 \| Sofronie-Stokkermans, Viorica \| 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)
	1839.	Ad-hoc, Mobile, and Wireless Networks [electronic resource] : 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings / edited by Hannes Frey, Xu Li, Stefan Ruehrup. by Frey, Hannes \| Li, Xu \| Ruehrup, Stefan \| 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)
	1840.	Advances in Computer Science and Education Applications [electronic resource] : International Conference, CSE 2011, Qingdao, China, July 9-10, 2011. Proceedings, Part II / edited by Mark Zhou, Honghua Tan. by Zhou, Mark \| Tan, Honghua \| 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)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Topics