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

Your search returned 3370 results.

	2281.	Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / edited by Tetsuo Ida, Jacques Fleuriot. by Ida, Tetsuo [editor.] \| Fleuriot, Jacques [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	2282.	Computational Methods in Systems Biology [electronic resource] : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings / edited by Ashutosh Gupta, Thomas A. Henzinger. by Gupta, Ashutosh [editor.] \| Henzinger, Thomas A [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	2283.	Computer Performance Engineering [electronic resource] : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings / edited by Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin. by Balsamo, Maria Simonetta [editor.] \| Knottenbelt, William J [editor.] \| Marin, Andrea [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	2284.	Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem. by Legay, Axel [editor.] \| Bensalem, Saddek [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	2285.	Computer Safety, Reliability, and Security [electronic resource] : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings / edited by Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche. by Bitsch, Friedemann [editor.] \| Guiochet, Jérémie [editor.] \| Kaâniche, Mohamed [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	2286.	Intelligent Robotics and Applications [electronic resource] : 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part II / edited by Jangmyung Lee, Min Cheol Lee, Honghai Liu, Jee-Hwan Ryu. by Lee, Jangmyung [editor.] \| Lee, Min Cheol [editor.] \| Liu, Honghai [editor.] \| Ryu, Jee-Hwan [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	2287.	Intelligent Robotics and Applications [electronic resource] : 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part I / edited by Jangmyung Lee, Min Cheol Lee, Honghai Liu, Jee-Hwan Ryu. by Lee, Jangmyung [editor.] \| Lee, Min Cheol [editor.] \| Liu, Honghai [editor.] \| Ryu, Jee-Hwan [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	2288.	Information Systems: Development, Learning, Security [electronic resource] : 6th SIGSAND/PLAIS EuroSymposium 2013, Gdańsk, Poland, September 26, 2013. Proceedings / edited by Stanisław Wrycza. by Wrycza, Stanisław [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	2289.	Frontiers of Combining Systems [electronic resource] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings / edited by Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt. by Fontaine, Pascal [editor.] \| Ringeissen, Christophe [editor.] \| Schmidt, Renate A [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	2290.	Software Engineering for Resilient Systems [electronic resource] : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings / edited by Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko. by Gorbenko, Anatoliy [editor.] \| Romanovsky, Alexander [editor.] \| Kharchenko, Vyacheslav [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	2291.	Programming Languages [electronic resource] : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings / edited by André Rauber Bois, Phil Trinder. by Bois, André Rauber [editor.] \| Trinder, Phil [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	2292.	Computer Information Systems and Industrial Management [electronic resource] : 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings / edited by Khalid Saeed, Rituparna Chaki, Agostino Cortesi, Sławomir Wierzchoń. by Saeed, Khalid [editor.] \| Chaki, Rituparna [editor.] \| Cortesi, Agostino [editor.] \| Wierzchoń, Sławomir [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	2293.	Advances in Global Sourcing. Models, Governance, and Relationships [electronic resource] : 7th Global Sourcing Workshop 2013, Val d’Isère, France, March 11-14, 2013, Revised Selected Papers / edited by Ilan Oshri, Julia Kotlarsky, Leslie P. Willcocks. by Oshri, Ilan [editor.] \| Kotlarsky, Julia [editor.] \| Willcocks, Leslie P [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	2294.	Formal Methods for Industrial Critical Systems [electronic resource] : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings / edited by Charles Pecheur, Michael Dierkes. by Pecheur, Charles [editor.] \| Dierkes, Michael [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	2295.	Computational Logistics [electronic resource] : 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings / edited by Dario Pacino, Stefan Voß, Rune Møller Jensen. by Pacino, Dario [editor.] \| Voß, Stefan [editor.] \| Jensen, Rune Møller [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	2296.	On the Move to Meaningful Internet Systems: OTM 2013 Conferences [electronic resource] : Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings / edited by Robert Meersman, Hervé Panetto, Tharam Dillon, Johann Eder, Zohra Bellahsene, Norbert Ritter, Pieter Leenheer, Deijing Dou. by Meersman, Robert [editor.] \| Panetto, Hervé [editor.] \| Dillon, Tharam [editor.] \| Eder, Johann [editor.] \| Bellahsene, Zohra [editor.] \| Ritter, Norbert [editor.] \| Leenheer, Pieter [editor.] \| Dou, Deijing [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	2297.	Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov. by Abdulla, Parosh Aziz [editor.] \| Potapov, Igor [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	2298.	Evaluating AAL Systems Through Competitive Benchmarking [electronic resource] : International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings / edited by Juan A. Botía, Juan Antonio Álvarez-García, Kaori Fujinami, Paolo Barsocchi, Till Riedel. by Botía, Juan A [editor.] \| Álvarez-García, Juan Antonio [editor.] \| Fujinami, Kaori [editor.] \| Barsocchi, Paolo [editor.] \| Riedel, Till [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	2299.	Wireless Sensor Networks for Developing Countries [electronic resource] : First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers / edited by Faisal Karim Shaikh, Bhawani Shankar Chowdhry, Habib M. Ammari, Muhammad Aslam Uqaili, Assadullah Shah. by Shaikh, Faisal Karim [editor.] \| Chowdhry, Bhawani Shankar [editor.] \| Ammari, Habib M [editor.] \| Uqaili, Muhammad Aslam [editor.] \| Shah, Assadullah [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	2300.	Security and Trust Management [electronic resource] : 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings / edited by Rafael Accorsi, Silvio Ranise. by Accorsi, Rafael [editor.] \| Ranise, Silvio [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, 2013Online 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