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

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

Your search returned 2927 results.

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

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

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

	1141.	Formal Methods for Mobile Computing [electronic resource] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / edited by Marco Bernardo, Alessandro Bogliolo. by Bernardo, Marco \| Bogliolo, Alessandro \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	1142.	Term Rewriting and Applications [electronic resource] : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings / edited by Jürgen Giesl. by Giesl, Jürgen \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	1143.	Advances in Grid Computing - EGC 2005 [electronic resource] : European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers / edited by Peter M. A. Sloot, Alfons G. Hoekstra, Thierry Priol, Alexander Reinefeld, Marian Bubak. by Sloot, Peter M. A \| Hoekstra, Alfons G \| Priol, Thierry \| Reinefeld, Alexander \| Bubak, Marian \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	1144.	Model-Based Testing of Reactive Systems [electronic resource] : Advanced Lectures / edited by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner. by Broy, Manfred \| Jonsson, Bengt \| Katoen, Joost-Pieter \| Leucker, Martin \| Pretschner, Alexander \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	1145.	Implementation and Application of Functional Languages [electronic resource] : 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers / edited by Clemens Grelck, Frank Huch, Greg J. Michaelson, Phil Trinder. by Grelck, Clemens \| Huch, Frank \| Michaelson, Greg J \| Trinder, Phil \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	1146.	Computational Science and Its Applications – ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part I / edited by Osvaldo Gervasi, Marina L. Gavrilova, Vipin Kumar, Antonio Laganà, Heow Pueh Lee, Youngsong Mun, David Taniar, Chih Jeng Kenneth Tan. by Gervasi, Osvaldo \| Gavrilova, Marina L \| Kumar, Vipin \| Laganà, Antonio \| Lee, Heow Pueh \| Mun, Youngsong \| Taniar, David \| Tan, Chih Jeng Kenneth \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	1147.	Computational Science and Its Applications – ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part II / edited by Osvaldo Gervasi, Marina L. Gavrilova, Vipin Kumar, Antonio Laganà, Heow Pueh Lee, Youngsong Mun, David Taniar, Chih Jeng Kenneth Tan. by Gervasi, Osvaldo \| Gavrilova, Marina L \| Kumar, Vipin \| Laganà, Antonio \| Lee, Heow Pueh \| Mun, Youngsong \| Taniar, David \| Tan, Chih Jeng Kenneth \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	1148.	Computational Science and Its Applications – ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part III / edited by Osvaldo Gervasi, Marina L. Gavrilova, Vipin Kumar, Antonio Laganà, Heow Pueh Lee, Youngsong Mun, David Taniar, Chih Jeng Kenneth Tan. by Gervasi, Osvaldo \| Gavrilova, Marina L \| Kumar, Vipin \| Laganà, Antonio \| Lee, Heow Pueh \| Mun, Youngsong \| Taniar, David \| Tan, Chih Jeng Kenneth \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	1149.	Component-Based Software Engineering [electronic resource] : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings / edited by George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau. by Heineman, George T \| Crnkovic, Ivica \| Schmidt, Heinz W \| Stafford, Judith A \| Szyperski, Clemens \| Wallnau, Kurt \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	1150.	Principles and Practice of Constraint Programming - CP 2005 [electronic resource] : 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings / edited by Peter Beek. by Beek, Peter \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	1151.	Model Driven Engineering Languages and Systems [electronic resource] : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings / edited by Lionel Briand, Clay Williams. by Briand, Lionel \| Williams, Clay \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	1152.	Multiagent Engineering [electronic resource] : Theory and Applications in Enterprises / edited by Stefan Kirn, Otthein Herzog, Peter Lockemann, Otto Spaniol. by Kirn, Stefan \| Herzog, Otthein \| Lockemann, Peter \| Spaniol, Otto \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	1153.	Computer Algebra in Scientific Computing [electronic resource] : 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings / edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov. by Ganzha, Victor G \| Mayr, Ernst W \| Vorozhtsov, Evgenii V \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	1154.	Distributed and Parallel Computing [electronic resource] : 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005. Proceedings / edited by Michael Hobbs, Andrzej M. Goscinski, Wanlei Zhou. by Hobbs, Michael \| Goscinski, Andrzej M \| Zhou, Wanlei \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	1155.	Theoretical Aspects of Computing – ICTAC 2005 [electronic resource] : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings / edited by Dang Hung, Martin Wirsing. by Hung, Dang \| Wirsing, Martin \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	1156.	Distributed Computing [electronic resource] : 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005. Proceedings / edited by Pierre Fraigniaud. by Fraigniaud, Pierre \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	1157.	High Performance Computing and Communications [electronic resource] : First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005. Proceedings / edited by Laurence T. Yang, Omer F. Rana, Beniamino Martino, Jack Dongarra. by Yang, Laurence T \| Rana, Omer F \| Martino, Beniamino \| Dongarra, Jack \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	1158.	Computer and Information Sciences - ISCIS 2005 [electronic resource] : 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings / edited by pInar Yolum, Tunga Güngör, Fikret Gürgen, Can Özturan. by Yolum, pInar \| Güngör, Tunga \| Gürgen, Fikret \| Özturan, Can \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	1159.	Metainformatics [electronic resource] : International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers / edited by Uffe Kock Wiil. by Wiil, Uffe Kock \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	1160.	Advanced Parallel Processing Technologies [electronic resource] : 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings / edited by Jiannong Cao, Wolfgang Nejdl, Ming Xu. by Cao, Jiannong \| Nejdl, Wolfgang \| Xu, Ming \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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

Titles