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

Your search returned 3370 results.

	2201.	Transactions on Pattern Languages of Programming III [electronic resource] / edited by James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford. by Noble, James [editor.] \| Johnson, Ralph [editor.] \| Zdun, Uwe [editor.] \| Wallingford, Eugene [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)
	2202.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings / edited by José-Manuel Colom, Jörg Desel. by Colom, José-Manuel [editor.] \| Desel, Jörg [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)
	2203.	Programming Multi-Agent Systems [electronic resource] : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers / edited by Mehdi Dastani, Jomi F. Hübner, Brian Logan. by Dastani, Mehdi [editor.] \| Hübner, Jomi F [editor.] \| Logan, Brian [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)
	2204.	End-User Development [electronic resource] : 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings / edited by Yvonne Dittrich, Margaret Burnett, Anders Mørch, David Redmiles. by Dittrich, Yvonne [editor.] \| Burnett, Margaret [editor.] \| Mørch, Anders [editor.] \| Redmiles, David [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)
	2205.	Advanced Information Systems Engineering [electronic resource] : 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings / edited by Camille Salinesi, Moira C. Norrie, Óscar Pastor. by Salinesi, Camille [editor.] \| Norrie, Moira C [editor.] \| Pastor, Óscar [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)
	2206.	Supercomputing [electronic resource] : 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings / edited by Julian Martin Kunkel, Thomas Ludwig, Hans Werner Meuer. by Kunkel, Julian Martin [editor.] \| Ludwig, Thomas [editor.] \| Meuer, Hans Werner [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)
	2207.	Design Science at the Intersection of Physical and Virtual Design [electronic resource] : 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings / edited by Jan Brocke, Riitta Hekkala, Sudha Ram, Matti Rossi. by Brocke, Jan [editor.] \| Hekkala, Riitta [editor.] \| Ram, Sudha [editor.] \| Rossi, Matti [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)
	2208.	Software Process Improvement and Capability Determination [electronic resource] : 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings / edited by Tanja Woronowicz, Terry Rout, Rory V. O’Connor, Alec Dorling. by Woronowicz, Tanja [editor.] \| Rout, Terry [editor.] \| O’Connor, Rory V [editor.] \| Dorling, Alec [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)
	2209.	Embedded Systems: Design, Analysis and Verification [electronic resource] : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings / edited by Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro C. Zanella, Franz J. Rammig. by Schirner, Gunar [editor.] \| Götz, Marcelo [editor.] \| Rettberg, Achim [editor.] \| Zanella, Mauro C [editor.] \| Rammig, Franz J [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)
	2210.	Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings / edited by Francesco Logozzo, Manuel Fähndrich. by Logozzo, Francesco [editor.] \| Fähndrich, Manuel [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)
	2211.	Computer Networks [electronic resource] : 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings / edited by Andrzej Kwiecień, Piotr Gaj, Piotr Stera. by Kwiecień, Andrzej [editor.] \| Gaj, Piotr [editor.] \| Stera, Piotr [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)
	2212.	Formal Methods for Dynamical Systems [electronic resource] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / edited by Marco Bernardo, Erik Vink, Alessandra Pierro, Herbert Wiklicky. by Bernardo, Marco [editor.] \| Vink, Erik [editor.] \| Pierro, Alessandra [editor.] \| Wiklicky, Herbert [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)
	2213.	Theory and Practice of Model Transformations [electronic resource] : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings / edited by Keith Duddy, Gerti Kappel. by Duddy, Keith [editor.] \| Kappel, Gerti [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)
	2214.	SDL 2013: Model-Driven Dependability Engineering [electronic resource] : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings / edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed. by Khendek, Ferhat [editor.] \| Toeroe, Maria [editor.] \| Gherbi, Abdelouahed [editor.] \| Reed, Rick [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)
	2215.	Tests and Proofs [electronic resource] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / edited by Margus Veanes, Luca Viganò. by Veanes, Margus [editor.] \| Viganò, Luca [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)
	2216.	Open Source Software: Quality Verification [electronic resource] : 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings / edited by Etiel Petrinja, Giancarlo Succi, Nabil Ioini, Alberto Sillitti. by Petrinja, Etiel [editor.] \| Succi, Giancarlo [editor.] \| Ioini, Nabil [editor.] \| Sillitti, Alberto [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)
	2217.	Safe and Secure Software Reuse [electronic resource] : 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings / edited by John Favaro, Maurizio Morisio. by Favaro, John [editor.] \| Morisio, Maurizio [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)
	2218.	Reversible Computation [electronic resource] : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings / edited by Gerhard W. Dueck, D. Michael Miller. by Dueck, Gerhard W [editor.] \| Miller, D. 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)
	2219.	Emerging Management Mechanisms for the Future Internet [electronic resource] : 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings / edited by Guillaume Doyen, Martin Waldburger, Pavel Čeleda, Anna Sperotto, Burkhard Stiller. by Doyen, Guillaume [editor.] \| Waldburger, Martin [editor.] \| Čeleda, Pavel [editor.] \| Sperotto, Anna [editor.] \| Stiller, Burkhard [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)
	2220.	Modelling Foundations and Applications [electronic resource] : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings / edited by Pieter Gorp, Tom Ritter, Louis M. Rose. by Gorp, Pieter [editor.] \| Ritter, Tom [editor.] \| Rose, Louis M [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