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

Your search returned 3370 results.

	2301.	Time and Petri Nets [electronic resource] / by Louchka Popova-Zeugmann. by Popova-Zeugmann, Louchka [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, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	2302.	Environmental Software Systems. Fostering Information Sharing [electronic resource] : 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings / edited by Jiří Hřebíček, Gerald Schimak, Miroslav Kubásek, Andrea E. Rizzoli. by Hřebíček, Jiří [editor.] \| Schimak, Gerald [editor.] \| Kubásek, Miroslav [editor.] \| Rizzoli, Andrea E [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)
	2303.	Web Information Systems Engineering – WISE 2013 [electronic resource] : 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part II / edited by Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang. by Lin, Xuemin [editor.] \| Manolopoulos, Yannis [editor.] \| Srivastava, Divesh [editor.] \| Huang, Guangyan [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)
	2304.	Trustworthy Global Computing [electronic resource] : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers / edited by Catuscia Palamidessi, Mark D. Ryan. by Palamidessi, Catuscia [editor.] \| Ryan, Mark D [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)
	2305.	Formal Methods and Software Engineering [electronic resource] : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun. by Groves, Lindsay [editor.] \| Sun, Jing [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)
	2306.	Web Information Systems Engineering – WISE 2013 [electronic resource] : 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I / edited by Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang. by Lin, Xuemin [editor.] \| Manolopoulos, Yannis [editor.] \| Srivastava, Divesh [editor.] \| Huang, Guangyan [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)
	2307.	From Sounds to Music and Emotions [electronic resource] : 9th International Symposium, CMMR 2012, London, UK, June 19-22, 2012, Revised Selected Papers / edited by Mitsuko Aramaki, Mathieu Barthet, Richard Kronland-Martinet, Sølvi Ystad. by Aramaki, Mitsuko [editor.] \| Barthet, Mathieu [editor.] \| Kronland-Martinet, Richard [editor.] \| Ystad, Sølvi [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)
	2308.	Measurement Methodology and Tools [electronic resource] : First European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012, Revised and Extended Papers / edited by Lluís Fàbrega, Pere Vilà, Davide Careglio, Dimitri Papadimitriou. by Fàbrega, Lluís [editor.] \| Vilà, Pere [editor.] \| Careglio, Davide [editor.] \| Papadimitriou, Dimitri [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)
	2309.	Model and Data Engineering [electronic resource] : Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings / edited by Alfredo Cuzzocrea, Sofian Maabout. by Cuzzocrea, Alfredo [editor.] \| Maabout, Sofian [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)
	2310.	Internet and Distributed Computing Systems [electronic resource] : 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings / edited by Mukaddim Pathan, Guiyi Wei, Giancarlo Fortino. by Pathan, Mukaddim [editor.] \| Wei, Guiyi [editor.] \| Fortino, Giancarlo [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)
	2311.	Product Lifecycle Management for Society [electronic resource] : 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedings / edited by Alain Bernard, Louis Rivest, Debasish Dutta. by Bernard, Alain [editor.] \| Rivest, Louis [editor.] \| Dutta, Debasish [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)
	2312.	Model-Driven Engineering Languages and Systems [electronic resource] : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings / edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke. by Moreira, Ana [editor.] \| Schätz, Bernhard [editor.] \| Gray, Jeff [editor.] \| Vallecillo, Antonio [editor.] \| Clarke, Peter [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)
	2313.	Evolution of Telecommunication Services [electronic resource] : The Convergence of Telecom and Internet: Technologies and Ecosystems / edited by Emmanuel Bertin, Noel Crespi, Thomas Magedanz. by Bertin, Emmanuel [editor.] \| Crespi, Noel [editor.] \| Magedanz, Thomas [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)
	2314.	Constraint Solving and Language Processing [electronic resource] : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers / edited by Denys Duchier, Yannick Parmentier. by Duchier, Denys [editor.] \| Parmentier, Yannick [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)
	2315.	Implementation and Application of Functional Languages [electronic resource] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / edited by Ralf Hinze. by Hinze, Ralf [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)
	2316.	Testing Software and Systems [electronic resource] : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings / edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich. by Yenigün, Hüsnü [editor.] \| Yilmaz, Cemal [editor.] \| Ulrich, Andreas [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)
	2317.	Geo-Informatics in Resource Management and Sustainable Ecosystem [electronic resource] : International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II / edited by Fuling Bian, Yichun Xie, Xiaohui Cui, Yixin Zeng. by Bian, Fuling [editor.] \| Xie, Yichun [editor.] \| Cui, Xiaohui [editor.] \| Zeng, Yixin [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)
	2318.	Conceptual Modeling [electronic resource] : 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings / edited by Wilfred Ng, Veda C. Storey, Juan C. Trujillo. by Ng, Wilfred [editor.] \| Storey, Veda C [editor.] \| Trujillo, Juan C [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)
	2319.	Information and Software Technologies [electronic resource] : 19th International Conference, ICIST 2013, Kaunas, Lithuania, October 2013. Proceedings / edited by Tomas Skersys, Rimantas Butleris, Rita Butkiene. by Skersys, Tomas [editor.] \| Butleris, Rimantas [editor.] \| Butkiene, Rita [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)
	2320.	PRIMA 2013: Principles and Practice of Multi-Agent Systems [electronic resource] : 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings / edited by Guido Boella, Edith Elkind, Bastin Tony Roy Savarimuthu, Frank Dignum, Martin K. Purvis. by Boella, Guido [editor.] \| Elkind, Edith [editor.] \| Savarimuthu, Bastin Tony Roy [editor.] \| Dignum, Frank [editor.] \| Purvis, Martin K [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)

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