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

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

Your search returned 1488 results.

« Previous
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
Next »

« Previous
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
Next »

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

	661.	Adaptive and Natural Computing Algorithms [electronic resource] : 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II / edited by Bartlomiej Beliczynski, Andrzej Dzielinski, Marcin Iwanowski, Bernardete Ribeiro. by Beliczynski, Bartlomiej \| Dzielinski, Andrzej \| Iwanowski, Marcin \| Ribeiro, Bernardete \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	662.	Object-Oriented Technology. ECOOP 2006 Workshop Reader [electronic resource] : ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports / edited by Mario Südholt, Charles Consel. by Südholt, Mario \| Consel, Charles \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	663.	Evolutionary Computation,Machine Learning and Data Mining in Bioinformatics [electronic resource] : 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007. Proceedings / edited by Elena Marchiori, Jason H. Moore, Jagath C. Rajapakse. by Marchiori, Elena \| Moore, Jason H \| Rajapakse, Jagath C \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	664.	Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2007: EvoCoMnet, EvoFIN, EvoIASP,EvoINTERACTION, EvoMUSART, EvoSTOC and EvoTransLog. Proceedings / edited by Mario Giacobini. by Giacobini, Mario \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	665.	Advances in Smalltalk [electronic resource] : 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers / edited by Wolfgang Meuter. by Meuter, Wolfgang \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	666.	All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program and Verify Systems in Rewriting Logic / by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott. by Clavel, Manuel \| Durán, Francisco \| Eker, Steven \| Lincoln, Patrick \| Martí-Oliet, Narciso \| Meseguer, José \| Talcott, Carolyn \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	667.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings / edited by Chitta Baral, Gerhard Brewka, John Schlipf. by Baral, Chitta \| Brewka, Gerhard \| Schlipf, John \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	668.	Software Process Dynamics and Agility [electronic resource] : International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings / edited by Qing Wang, Dietmar Pfahl, David M. Raffo. by Wang, Qing \| Pfahl, Dietmar \| Raffo, David M \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	669.	Languages and Compilers for Parallel Computing [electronic resource] : 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers / edited by George Almási, Călin Caşcaval, Peng Wu. by Almási, George \| Caşcaval, Călin \| Wu, Peng \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	670.	Network Control and Optimization [electronic resource] : First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedings / edited by Tijani Chahed, Bruno Tuffin. by Chahed, Tijani \| Tuffin, Bruno \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	671.	Coordination Models and Languages [electronic resource] : 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / edited by Amy L. Murphy, Jan Vitek. by Murphy, Amy L \| Vitek, Jan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	672.	Distributed Applications and Interoperable Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / edited by Jadwiga Indulska, Kerry Raymond. by Indulska, Jadwiga \| Raymond, Kerry \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	673.	Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / edited by Marcello M. Bonsangue, Einar Broch Johnsen. by Bonsangue, Marcello M \| Johnsen, Einar Broch \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	674.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings / edited by Nicola Olivetti. by Olivetti, Nicola \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	675.	Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings / edited by Giulio Concas, Ernesto Damiani, Marco Scotto, Giancarlo Succi. by Concas, Giulio \| Damiani, Ernesto \| Scotto, Marco \| Succi, Giancarlo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	676.	Software Engineering for Multi-Agent Systems V [electronic resource] : Research Issues and Practical Applications / edited by Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky. by Choren, Ricardo \| Garcia, Alessandro \| Giese, Holger \| Leung, Ho-fung \| Lucena, Carlos \| Romanovsky, Alexander \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	677.	Rewriting, Computation and Proof [electronic resource] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday / edited by Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner. by Comon-Lundh, Hubert \| Kirchner, Claude \| Kirchner, Hélène \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	678.	Integrated Formal Methods [electronic resource] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings / edited by Jim Davies, Jeremy Gibbons. by Davies, Jim \| Gibbons, Jeremy \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	679.	Typed Lambda Calculi and Applications [electronic resource] : 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings / edited by Simona Ronchi Rocca. by Rocca, Simona Ronchi \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	680.	Reliable Software Technologies – Ada Europe 2007 [electronic resource] : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings / edited by Nabil Abdennadher, Fabrice Kordon. by Abdennadher, Nabil \| Kordon, Fabrice \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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

Series

Topics