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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
Next »

« Previous
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
Next »

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

	1261.	Objects, Components, Models and Patterns [electronic resource] : 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings / edited by Manuel Oriol, Bertrand Meyer. by Oriol, Manuel \| Meyer, Bertrand \| 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)
	1262.	Model Checking Software [electronic resource] : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings / edited by Corina S. Păsăreanu. by Păsăreanu, Corina S \| 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)
	1263.	Software Composition [electronic resource] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings / edited by Alexandre Bergel, Johan Fabry. by Bergel, Alexandre \| Fabry, Johan \| 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)
	1264.	Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings / edited by Ahmed Bouajjani, Oded Maler. by Bouajjani, Ahmed \| Maler, Oded \| 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)
	1265.	Computer Networks [electronic resource] : 16th Conference, CN 2009, Wisła, Poland, June 16-20, 2009. Proceedings / edited by Andrzej Kwiecień, Piotr Gaj, Piotr Stera. by Kwiecień, Andrzej \| Gaj, Piotr \| Stera, Piotr \| 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)
	1266.	Model Driven Architecture - Foundations and Applications [electronic resource] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings / edited by Richard F. Paige, Alan Hartman, Arend Rensink. by Paige, Richard F \| Hartman, Alan \| Rensink, Arend \| 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)
	1267.	Autonomic and Trusted Computing [electronic resource] : 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings / edited by Juan González Nieto, Wolfgang Reif, Guojun Wang, Jadwiga Indulska. by González Nieto, Juan \| Reif, Wolfgang \| Wang, Guojun \| Indulska, Jadwiga \| 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)
	1268.	Universal Access in Human-Computer Interaction. Addressing Diversity [electronic resource] : 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part I / edited by Constantine Stephanidis. by Stephanidis, Constantine \| 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)
	1269.	Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments [electronic resource] : 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part II / edited by Constantine Stephanidis. by Stephanidis, Constantine \| 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)
	1270.	Universal Access in Human-Computer Interaction. Applications and Services [electronic resource] : 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part III / edited by Constantine Stephanidis. by Stephanidis, Constantine \| 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)
	1271.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings / edited by Martin Giese, Arild Waaler. by Giese, Martin \| Waaler, Arild \| 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)
	1272.	Virtual and Mixed Reality [electronic resource] : Third International Conference, VMR 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings / edited by Randall Shumaker. by Shumaker, Randall \| 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)
	1273.	Web Engineering [electronic resource] : 9th International Conference, ICWE 2009 San Sebastián, Spain, June 24-26, 2009 Proceedings / edited by Martin Gaedke, Michael Grossniklaus, Oscar Díaz. by Gaedke, Martin \| Grossniklaus, Michael \| Díaz, Oscar \| 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)
	1274.	Ambient Assistive Health and Wellness Management in the Heart of the City [electronic resource] : 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings / edited by Mounir Mokhtari, Ismail Khalil, Jérémy Bauchet, Daqing Zhang, Chris Nugent. by Mokhtari, Mounir \| Khalil, Ismail \| Bauchet, Jérémy \| Zhang, Daqing \| Nugent, Chris \| 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)
	1275.	GeoSensor Networks [electronic resource] : Third International Conference, GSN 2009, Oxford, UK, July 13-14, 2009. Proceedings / edited by Niki Trigoni, Andrew Markham, Sarfraz Nawaz. by Trigoni, Niki \| Markham, Andrew \| Nawaz, Sarfraz \| 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)
	1276.	RoboCup 2008: Robot Soccer World Cup XII [electronic resource] / edited by Luca Iocchi, Hitoshi Matsubara, Alfredo Weitzenfeld, Changjiu Zhou. by Iocchi, Luca \| Matsubara, Hitoshi \| Weitzenfeld, Alfredo \| Zhou, Changjiu \| 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)
	1277.	Computer Performance Engineering [electronic resource] : 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings / edited by Jeremy T. Bradley. by Bradley, Jeremy T \| 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)
	1278.	Automata, Languages and Programming [electronic resource] : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I / edited by Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas. by Albers, Susanne \| Marchetti-Spaccamela, Alberto \| Matias, Yossi \| Nikoletseas, Sotiris \| Thomas, Wolfgang \| 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)
	1279.	Automata, Languages and Programming [electronic resource] : 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II / edited by Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas. by Albers, Susanne \| Marchetti-Spaccamela, Alberto \| Matias, Yossi \| Nikoletseas, Sotiris \| Thomas, Wolfgang \| 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)
	1280.	Tests and Proofs [electronic resource] : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings / edited by Catherine Dubois. by Dubois, Catherine \| 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