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

Your search returned 3370 results.

	3301.	Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3302.	Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3303.	Testing Software and Systems [electronic resource] : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings / edited by Alexandre Petrenko, Adenilso Simão, José Carlos Maldonado. by Petrenko, Alexandre [editor.] \| Simão, Adenilso [editor.] \| Maldonado, José Carlos [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3304.	Autonomic and Trusted Computing [electronic resource] : 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings / edited by Bing Xie, Juergen Branke, S. Masoud Sadjadi, Daqing Zhang, Xingshe Zhou. by Xie, Bing [editor.] \| Branke, Juergen [editor.] \| Sadjadi, S. Masoud [editor.] \| Zhang, Daqing [editor.] \| Zhou, Xingshe [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3305.	The Smart Internet [electronic resource] : Current Research and Future Applications / edited by Mark Chignell, James Cordy, Joanna Ng, Yelena Yesha. by Chignell, Mark [editor.] \| Cordy, James [editor.] \| Ng, Joanna [editor.] \| Yesha, Yelena [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3306.	Runtime Verification [electronic resource] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings / edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann. by Barringer, Howard [editor.] \| Falcone, Ylies [editor.] \| Finkbeiner, Bernd [editor.] \| Havelund, Klaus [editor.] \| Lee, Insup [editor.] \| Pace, Gordon [editor.] \| Roşu, Grigore [editor.] \| Sokolsky, Oleg [editor.] \| Tillmann, Nikolai [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3307.	Mobile Lightweight Wireless Systems [electronic resource] : Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers / edited by Periklis Chatzimisios, Christos Verikoukis, Ignacio Santamaría, Massimiliano Laddomada, Oliver Hoffmann. by Chatzimisios, Periklis [editor.] \| Verikoukis, Christos [editor.] \| Santamaría, Ignacio [editor.] \| Laddomada, Massimiliano [editor.] \| Hoffmann, Oliver [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3308.	Unifying Theories of Programming [electronic resource] : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings / edited by Shengchao Qin. by Qin, Shengchao [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3309.	Advances in Information Technology [electronic resource] : 4th International Conference, IAIT 2010, Bangkok, Thailand, November 4-5, 2010. Proceedings / edited by Borworn Papasratorn, Kittichai Lavangnananda, Wichian Chutimaskul, Vajirasak Vanijja. by Papasratorn, Borworn [editor.] \| Lavangnananda, Kittichai [editor.] \| Chutimaskul, Wichian [editor.] \| Vanijja, Vajirasak [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3310.	Practice-Driven Research on Enterprise Transformation [electronic resource] : Second Working Conference, PRET 2010, Delft, The Netherlands, November 11, 2010. Proceedings / edited by Frank Harmsen, Erik Proper, Frank Schalkwijk, Joseph Barjis, Sietse Overbeek. by Harmsen, Frank [editor.] \| Proper, Erik [editor.] \| Schalkwijk, Frank [editor.] \| Barjis, Joseph [editor.] \| Overbeek, Sietse [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3311.	Trends in Enterprise Architecture Research [electronic resource] : 5th International Workshop, TEAR 2010, Delft, The Netherlands, November 12, 2010. Proceedings / edited by Erik Proper, Marc M. Lankhorst, Marten Schönherr, Joseph Barjis, Sietse Overbeek. by Proper, Erik [editor.] \| Lankhorst, Marc M [editor.] \| Schönherr, Marten [editor.] \| Barjis, Joseph [editor.] \| Overbeek, Sietse [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3312.	Radio Frequency Identification: Security and Privacy Issues [electronic resource] : 6th International Workshop, RFIDSec 2010, Istanbul, Turkey, June 8-9, 2010, Revised Selected Papers / edited by Siddika Berna Ors Yalcin. by Ors Yalcin, Siddika Berna [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3313.	Modelling Autonomic Communication Environments [electronic resource] : 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings / edited by Rob Brennan, Joel Fleck, Sven Meer. by Brennan, Rob [editor.] \| Fleck, Joel [editor.] \| Meer, Sven [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3314.	Computational Logic in Multi-Agent Systems [electronic resource] : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / edited by Jürgen Dix, Michael Fisher, Peter Novák. by Dix, Jürgen [editor.] \| Fisher, Michael [editor.] \| Novák, Peter [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3315.	Formal Methods and Software Engineering [electronic resource] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings / edited by Jin Song Dong, Huibiao Zhu. by Dong, Jin Song [editor.] \| Zhu, Huibiao [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3316.	Ambient Intelligence [electronic resource] : First International Joint Conference, AmI 2010, Malaga, Spain, November 10-12, 2010. Proceedings / edited by Boris Ruyter, Reiner Wichert, David V. Keyson, Panos Markopoulos, Norbert Streitz, Monica Divitini, Nikolaos Georgantas, Antonio Mana Gomez. by Ruyter, Boris [editor.] \| Wichert, Reiner [editor.] \| Keyson, David V [editor.] \| Markopoulos, Panos [editor.] \| Streitz, Norbert [editor.] \| Divitini, Monica [editor.] \| Georgantas, Nikolaos [editor.] \| Mana Gomez, Antonio [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3317.	On the Move to Meaningful Internet Systems: OTM 2010 [electronic resource] : Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I / edited by Robert Meersman, Tharam Dillon, Pilar Herrero. by Meersman, Robert [editor.] \| Dillon, Tharam [editor.] \| Herrero, Pilar [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3318.	On the Move to Meaningful Internet Systems, OTM 2010 [electronic resource] : Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II / edited by Robert Meersman, Tharam Dillon, Pilar Herrero. by Meersman, Robert [editor.] \| Dillon, Tharam [editor.] \| Herrero, Pilar [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3319.	Middleware 2010 [electronic resource] : ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings / edited by Indranil Gupta, Cecilia Mascolo. by Gupta, Indranil [editor.] \| Mascolo, Cecilia [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	3320.	On the Move to Meaningful Internet Systems: OTM 2010 Workshops [electronic resource] : Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings / edited by Robert Meersman, Tharam Dillon, Pilar Herrero. by Meersman, Robert [editor.] \| Dillon, Tharam [editor.] \| Herrero, Pilar [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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