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

Your search returned 1488 results.

« Previous
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
Next »

	581.	Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedings / edited by Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, Ernesto Costa, Carlos Cotta, Rolf Drechsler, Evelyne Lutton, Penousal Machado, Jason H. Moore, Juan Romero, George D. Smith, Giovanni Squillero, Hideyuki Takagi. by Rothlauf, Franz \| Branke, Jürgen \| Cagnoni, Stefano \| Costa, Ernesto \| Cotta, Carlos \| Drechsler, Rolf \| Lutton, Evelyne \| Machado, Penousal \| Moore, Jason H \| Romero, Juan \| Smith, George D \| Squillero, Giovanni \| Takagi, Hideyuki \| 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)
	582.	Functional and Logic Programming [electronic resource] : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings / edited by Masami Hagiya, Philip Wadler. by Hagiya, Masami \| Wadler, Philip \| 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)
	583.	Software Engineering for Multi-Agent Systems IV [electronic resource] : Research Issues and Practical Applications / edited by Alessandro Garcia, Ricardo Choren, Carlos Lucena, Paolo Giorgini, Tom Holvoet, Alexander Romanovsky. by Garcia, Alessandro \| Choren, Ricardo \| Lucena, Carlos \| Giorgini, Paolo \| Holvoet, Tom \| Romanovsky, Alexander \| 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)
	584.	Software Engineering 3 [electronic resource] : Domains, Requirements, and Software Design / by Dines Bjøner. by Bjøner, Dines \| 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)
	585.	Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / edited by Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet. by Barthe, Gilles \| Grégoire, Benjamin \| Huisman, Marieke \| Lanet, Jean-Louis \| 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)
	586.	Agent-Oriented Software Engineering VI [electronic resource] : 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers / edited by Jörg P. Müller, Franco Zambonelli. by Müller, Jörg P \| Zambonelli, Franco \| 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)
	587.	Software Process Change [electronic resource] : International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings / edited by Qing Wang, Dietmar Pfahl, David M. Raffo, Paul Wernick. by Wang, Qing \| Pfahl, Dietmar \| Raffo, David M \| Wernick, Paul \| 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)
	588.	Engineering Societies in the Agents World VI [electronic resource] : 6th International Workshop, ESAW 2005, Kuşadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers / edited by Oğuz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci. by Dikenelli, Oğuz \| Gleizes, Marie-Pierre \| Ricci, Alessandro \| 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)
	589.	Reuse of Off-the-Shelf Components [electronic resource] : 9th International Conference on Software Reuse, ICSR 2006 Turin, Italy, June 12-15, 2006 Proceedings / edited by Maurizio Morisio. by Morisio, Maurizio \| 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)
	590.	Reliable Software Technologies – Ada-Europe 2006 [electronic resource] : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings / edited by Luís Miguel Pinho, Michael González Harbour. by Pinho, Luís Miguel \| González Harbour, Michael \| 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)
	591.	Coordination Models and Languages [electronic resource] : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Paolo Ciancarini, Herbert Wiklicky. by Ciancarini, Paolo \| Wiklicky, Herbert \| 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)
	592.	Unifying Theories of Programming [electronic resource] : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / edited by Steve Dunne, Bill Stoddart. by Dunne, Steve \| Stoddart, Bill \| 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)
	593.	Interactive Computation [electronic resource] : The New Paradigm / edited by Dina Goldin, Scott A. Smolka, Peter Wegner. by Goldin, Dina \| Smolka, Scott A \| Wegner, Peter \| 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)
	594.	Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Roberto Gorrieri, Heike Wehrheim. by Gorrieri, Roberto \| Wehrheim, Heike \| 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)
	595.	Extreme Programming and Agile Processes in Software Engineering [electronic resource] : 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings / edited by Pekka Abrahamsson, Michele Marchesi, Giancarlo Succi. by Abrahamsson, Pekka \| Marchesi, Michele \| Succi, Giancarlo \| 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)
	596.	Distributed Applications and Interoperable Systems [electronic resource] : 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Frank Eliassen, Alberto Montresor. by Eliassen, Frank \| Montresor, Alberto \| 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)
	597.	Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems [electronic resource] : AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers / edited by Olivier Boissier, Julian Padget, Virginia Dignum, Gabriela Lindemann, Eric Matson, Sascha Ossowski, Jaime Simão Sichman, Javier Vázquez-Salceda. by Boissier, Olivier \| Padget, Julian \| Dignum, Virginia \| Lindemann, Gabriela \| Matson, Eric \| Ossowski, Sascha \| Sichman, Jaime Simão \| Vázquez-Salceda, Javier \| 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)
	598.	Diagrammatic Representation and Inference [electronic resource] : 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006. Proceedings / edited by Dave Barker-Plummer, Richard Cox, Nik Swoboda. by Barker-Plummer, Dave \| Cox, Richard \| Swoboda, Nik \| 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)
	599.	Component-Based Software Engineering [electronic resource] : 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings / edited by Ian Gorton, George T. Heineman, Ivica Crnković, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau. by Gorton, Ian \| Heineman, George T \| Crnković, 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, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	600.	Algebraic Methodology and Software Technology [electronic resource] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings / edited by Michael Johnson, Varmo Vene. by Johnson, Michael \| Vene, Varmo \| 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)

« Previous
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
Next »

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

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Series

Topics