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

Advanced search
Course reserves
Browse by hierarchy
Authority search
Tag cloud
Purchase suggestions

Your search returned 3370 results.

« Previous
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
Next »

« Previous
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
Next »

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue

	1161.	High Performance Computing for Computational Science - VECPAR 2008 [electronic resource] : 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers / edited by José M. Laginha M. Palma, Patrick R. Amestoy, Michel Daydé, Marta Mattoso, João Correia Lopes. by Palma, José M. Laginha M \| Amestoy, Patrick R \| Daydé, Michel \| Mattoso, Marta \| Lopes, João Correia \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	1162.	Design Requirements Engineering: A Ten-Year Perspective [electronic resource] : Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers / edited by Kalle Lyytinen, Pericles Loucopoulos, John Mylopoulos, Bill Robinson. by Lyytinen, Kalle \| Loucopoulos, Pericles \| Mylopoulos, John \| Robinson, Bill \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	1163.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings / edited by Neil D. Jones, Markus Müller-Olm. by Jones, Neil D \| Müller-Olm, Markus \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	1164.	Declarative Agent Languages and Technologies VI [electronic resource] : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers / edited by Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff. by Baldoni, Matteo \| Son, Tran Cao \| Riemsdijk, M. Birna \| Winikoff, Michael \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	1165.	Experience and Knowledge Management in Software Engineering [electronic resource] / by Kurt Schneider. by Schneider, Kurt \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	1166.	Software Engineering [electronic resource] : International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures / edited by Andrea Lucia, Filomena Ferrucci. by Lucia, Andrea \| Ferrucci, Filomena \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	1167.	Engineering Secure Software and Systems [electronic resource] : First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings / edited by Fabio Massacci, Samuel T. Redwine, Nicola Zannone. by Massacci, Fabio \| Redwine, Samuel T \| Zannone, Nicola \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	1168.	Wireless Sensor Networks [electronic resource] : 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 2009. Proceedings / edited by Utz Roedig, Cormac J. Sreenan. by Roedig, Utz \| Sreenan, Cormac J \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	1169.	Integrated Formal Methods [electronic resource] : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings / edited by Michael Leuschel, Heike Wehrheim. by Leuschel, Michael \| Wehrheim, Heike \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	1170.	Model Driven Engineering and Ontology Development [electronic resource] / by Vladan Deved¿ic, Dragan Djuric, Dragan Ga¿evic. by Deved¿ic, Vladan \| Djuric, Dragan \| Ga¿evic, Dragan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	1171.	Coloured Petri Nets [electronic resource] : Modelling and Validation of Concurrent Systems / by Kurt Jensen, Lars M. Kristensen. by Jensen, Kurt \| Kristensen, Lars M \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	1172.	Information Security Applications [electronic resource] : 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers / edited by Kyo-Il Chung, Kiwook Sohn, Moti Yung. by Chung, Kyo-Il \| Sohn, Kiwook \| Yung, Moti \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	1173.	Business Process Management Workshops [electronic resource] : BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers / edited by Danilo Ardagna, Massimo Mecella, Jian Yang. by Ardagna, Danilo \| Mecella, Massimo \| Yang, Jian \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	1174.	Network Control and Optimization [electronic resource] : Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers / edited by Eitan Altman, Augustin Chaintreau. by Altman, Eitan \| Chaintreau, Augustin \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	1175.	Information Systems, Technology and Management [electronic resource] : Third International Conference, ICISTM 2009, Ghaziabad, India, March 12-13, 2009. Proceedings / edited by Sushil K. Prasad, Susmi Routray, Reema Khurana, Sartaj Sahni. by Prasad, Sushil K \| Routray, Susmi \| Khurana, Reema \| Sahni, Sartaj \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	1176.	End-User Development [electronic resource] : 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings / edited by Volkmar Pipek, Mary Beth Rosson, Boris Ruyter, Volker Wulf. by Pipek, Volkmar \| Rosson, Mary Beth \| Ruyter, Boris \| Wulf, Volker \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	1177.	Model Checking and Artificial Intelligence [electronic resource] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers / edited by Doron A. Peled, Michael J. Wooldridge. by Peled, Doron A \| Wooldridge, Michael J \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	1178.	Software Language Engineering [electronic resource] : First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers / edited by Dragan Gašević, Ralf Lämmel, Eric Wyk. by Gašević, Dragan \| Lämmel, Ralf \| Wyk, Eric \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	1179.	Human Machine Interaction [electronic resource] : Research Results of the MMI Program / edited by Denis Lalanne, Jürg Kohlas. by Lalanne, Denis \| Kohlas, Jürg \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	1180.	Architecture of Computing Systems – ARCS 2009 [electronic resource] : 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings / edited by Mladen Berekovic, Christian Müller-Schloer, Christian Hochberger, Stephan Wong. by Berekovic, Mladen \| Müller-Schloer, Christian \| Hochberger, Christian \| Wong, Stephan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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