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

Your search returned 3370 results.

	3101.	Functional and Constraint Logic Programming [electronic resource] : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers / edited by Santiago Escobar. by Escobar, Santiago [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)
	3102.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Javier Esparza, Rupak Majumdar. by Esparza, Javier [editor.] \| Majumdar, Rupak [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)
	3103.	IEC 61131-3: Programming Industrial Automation Systems [electronic resource] : Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aids / by Karl Heinz John, Michael Tiegelkamp. by John, Karl Heinz [author.] \| Tiegelkamp, Michael [author.] \| 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)
	3104.	Fundamental Approaches to Software Engineering [electronic resource] : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by David S. Rosenblum, Gabriele Taentzer. by Rosenblum, David S [editor.] \| Taentzer, Gabriele [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)
	3105.	Foundations of Software Science and Computational Structures [electronic resource] : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Luke Ong. by Ong, Luke [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)
	3106.	Information Systems, Technology and Management [electronic resource] : 4th International Conference, ICISTM 2010, Bangkok, Thailand, March 11-13, 2010. Proceedings / edited by Sushil K. Prasad, Harrick M. Vin, Sartaj Sahni, Mahadeo P. Jaiswal, Bundit Thipakorn. by Prasad, Sushil K [editor.] \| Vin, Harrick M [editor.] \| Sahni, Sartaj [editor.] \| Jaiswal, Mahadeo P [editor.] \| Thipakorn, Bundit [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)
	3107.	Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings / edited by Bruno Müller-Clostermann, Klaus Echtle, Erwin P. Rathgeb. by Müller-Clostermann, Bruno [editor.] \| Echtle, Klaus [editor.] \| Rathgeb, Erwin P [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)
	3108.	Software Language Engineering [electronic resource] : Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers / edited by Mark Brand, Dragan Gašević, Jeff Gray. by Brand, Mark [editor.] \| Gašević, Dragan [editor.] \| Gray, Jeff [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)
	3109.	Human Benefit through the Diffusion of Information Systems Design Science Research [electronic resource] : IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 – April 1, 2010. Proceedings / edited by Jan Pries-Heje, John Venable, Deborah Bunker, Nancy L. Russo, Janice I. DeGross. by Pries-Heje, Jan [editor.] \| Venable, John [editor.] \| Bunker, Deborah [editor.] \| Russo, Nancy L [editor.] \| DeGross, Janice I [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)
	3110.	Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings / edited by Phaophak Sirisuk, Fearghal Morgan, Tarek El-Ghazawi, Hideharu Amano. by Sirisuk, Phaophak [editor.] \| Morgan, Fearghal [editor.] \| El-Ghazawi, Tarek [editor.] \| Amano, Hideharu [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)
	3111.	Computational Science and Its Applications – ICCSA 2010 [electronic resource] : International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part I / edited by David Taniar, Osvaldo Gervasi, Beniamino Murgante, Eric Pardede, Bernady O. Apduhan. by Taniar, David [editor.] \| Gervasi, Osvaldo [editor.] \| Murgante, Beniamino [editor.] \| Pardede, Eric [editor.] \| Apduhan, Bernady O [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)
	3112.	Computational Science and Its Applications – ICCSA 2010 [electronic resource] : International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II / edited by David Taniar, Osvaldo Gervasi, Beniamino Murgante, Eric Pardede, Bernady O. Apduhan. by Taniar, David [editor.] \| Gervasi, Osvaldo [editor.] \| Murgante, Beniamino [editor.] \| Pardede, Eric [editor.] \| Apduhan, Bernady O [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)
	3113.	Computational Science and Its Applications – ICCSA 2010 [electronic resource] : International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III / edited by David Taniar, Osvaldo Gervasi, Beniamino Murgante, Eric Pardede, Bernady O. Apduhan. by Taniar, David [editor.] \| Gervasi, Osvaldo [editor.] \| Murgante, Beniamino [editor.] \| Pardede, Eric [editor.] \| Apduhan, Bernady O [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)
	3114.	Business Process Management Workshops [electronic resource] : BPM 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers / edited by Stefanie Rinderle-Ma, Shazia Sadiq, Frank Leymann. by Rinderle-Ma, Stefanie [editor.] \| Sadiq, Shazia [editor.] \| Leymann, Frank [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)
	3115.	Computational Science and Its Applications – ICCSA 2010 [electronic resource] : International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV / edited by David Taniar, Osvaldo Gervasi, Beniamino Murgante, Eric Pardede, Bernady O. Apduhan. by Taniar, David [editor.] \| Gervasi, Osvaldo [editor.] \| Murgante, Beniamino [editor.] \| Pardede, Eric [editor.] \| Apduhan, Bernady O [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)
	3116.	Information Processing and Management [electronic resource] : International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 26-27, 2010. Proceedings / edited by Vinu V Das, R. Vijayakumar, Narayan C. Debnath, Janahanlal Stephen, Natarajan Meghanathan, Suresh Sankaranarayanan, P. M. Thankachan, Ford Lumban Gaol, Nessy Thankachan. by Das, Vinu V [editor.] \| Vijayakumar, R [editor.] \| Debnath, Narayan C [editor.] \| Stephen, Janahanlal [editor.] \| Meghanathan, Natarajan [editor.] \| Sankaranarayanan, Suresh [editor.] \| Thankachan, P. M [editor.] \| Gaol, Ford Lumban [editor.] \| Thankachan, Nessy [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)
	3117.	Computer and Computing Technologies in Agriculture III [electronic resource] : Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009, Revised Selected Papers / edited by Daoliang Li, Chunjiang Zhao. by Li, Daoliang [editor.] \| Zhao, Chunjiang [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)
	3118.	Applications of Evolutionary Computation [electronic resource] : EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II / edited by Cecilia Chio, Anthony Brabazon, Gianni A. Caro, Marc Ebner, Muddassar Farooq, Andreas Fink, Jörn Grahl, Gary Greenfield, Penousal Machado, Michael O’Neill, Ernesto Tarantino, Neil Urquhart. by Chio, Cecilia [editor.] \| Brabazon, Anthony [editor.] \| Caro, Gianni A [editor.] \| Ebner, Marc [editor.] \| Farooq, Muddassar [editor.] \| Fink, Andreas [editor.] \| Grahl, Jörn [editor.] \| Greenfield, Gary [editor.] \| Machado, Penousal [editor.] \| O’Neill, Michael [editor.] \| Tarantino, Ernesto [editor.] \| Urquhart, Neil [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)
	3119.	Functional and Logic Programming [electronic resource] : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings / edited by Matthias Blume, Naoki Kobayashi, Germán Vidal. by Blume, Matthias [editor.] \| Kobayashi, Naoki [editor.] \| Vidal, Germán [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)
	3120.	Models in Software Engineering [electronic resource] : Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers / edited by Sudipto Ghosh. by Ghosh, Sudipto [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