Library Services | Technical University of Kenya catalog › Results of search for 'su:{Models and Principles.}'

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

Your search returned 340 results.

« Previous
1
2
3
4
5
6
7
8
9
10
Next »

« Previous
1
2
3
4
5
6
7
8
9
10
Next »

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

	161.	Advances in Machine Learning [electronic resource] : First Asian Conference on Machine Learning, ACML 2009, Nanjing, China, November 2-4, 2009. Proceedings / edited by Zhi-Hua Zhou, Takashi Washio. by Zhou, Zhi-Hua \| Washio, Takashi \| 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)
	162.	Advances in Software Engineering [electronic resource] : International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / edited by Tai-hoon Kim, Wai-Chi Fang, Changhoon Lee, Kirk P. Arnett. by Kim, Tai-hoon \| Fang, Wai-Chi \| Lee, Changhoon \| Arnett, Kirk P \| 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)
	163.	Architecting Dependable Systems VI [electronic resource] / edited by Rogério Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice Beek. by Lemos, Rogério \| Fabre, Jean-Charles \| Gacek, Cristina \| Gadducci, Fabio \| Beek, Maurice \| 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)
	164.	Formal Methods and Software Engineering [electronic resource] : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings / edited by Karin Breitman, Ana Cavalcanti. by Breitman, Karin \| Cavalcanti, Ana \| 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)
	165.	Journal on Data Semantics XIV [electronic resource] / edited by Stefano Spaccapietra, Lois Delcambre. by Spaccapietra, Stefano \| Delcambre, Lois \| 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)
	166.	The Semantic Web [electronic resource] : Fourth Asian Conference, ASWC 2009, Shanghai, China, December 6-9, 2009. Proceedings / edited by Asunción Gómez-Pérez, Yong Yu, Ying Ding. by Gómez-Pérez, Asunción \| Yu, Yong \| Ding, Ying \| 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)
	167.	Learning and Intelligent Optimization [electronic resource] : Third International Conference, LION 3, Trento, Italy, January 14-18, 2009. Selected Papers / edited by Thomas Stützle. by Stützle, Thomas \| 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)
	168.	Replication [electronic resource] : Theory and Practice / edited by Bernadette Charron-Bost, Fernando Pedone, André Schiper. by Charron-Bost, Bernadette \| Pedone, Fernando \| Schiper, André \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	169.	Declarative Agent Languages and Technologies VII [electronic resource] : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers / edited by Matteo Baldoni, Jamal Bentahar, M. Birna Riemsdijk, John Lloyd. by Baldoni, Matteo \| Bentahar, Jamal \| Riemsdijk, M. Birna \| Lloyd, John \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	170.	The Integrated Architecture Framework Explained [electronic resource] : Why, What, How / by Jack van't Wout, Maarten Waage, Herman Hartman, Max Stahlecker, Aaldert Hofman. by van't Wout, Jack \| Waage, Maarten \| Hartman, Herman \| Stahlecker, Max \| Hofman, Aaldert \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	171.	Fundamentals of Software Engineering [electronic resource] : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani. by Arbab, Farhad \| Sirjani, Marjan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	172.	Engineering Secure Software and Systems [electronic resource] : Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings / edited by Fabio Massacci, Dan Wallach, Nicola Zannone. by Massacci, Fabio \| Wallach, Dan \| Zannone, Nicola \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	173.	Graph Drawing [electronic resource] : 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers / edited by David Eppstein, Emden R. Gansner. by Eppstein, David \| Gansner, Emden R \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	174.	Languages, Methodologies, and Development Tools for Multi-Agent Systems [electronic resource] : Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers / edited by Mehdi Dastani, Amal El Fallah Segrouchni, João Leite, Paolo Torroni. by Dastani, Mehdi \| El Fallah Segrouchni, Amal \| Leite, João \| Torroni, Paolo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	175.	Languages and Compilers for Parallel Computing [electronic resource] : 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers / edited by Guang R. Gao, Lori L. Pollock, John Cavazos, Xiaoming Li. by Gao, Guang R \| Pollock, Lori L \| Cavazos, John \| Li, Xiaoming \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	176.	Coordination Models and Languages [electronic resource] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings / edited by Dave Clarke, Gul Agha. by Clarke, Dave \| Agha, Gul \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	177.	Business Process Management [electronic resource] : 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings / edited by Richard Hull, Jan Mendling, Stefan Tai. by Hull, Richard \| Mendling, Jan \| Tai, Stefan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	178.	Transactions on Computational Science IX [electronic resource] : Special Issue on Voronoi Diagrams in Science and Engineering / edited by Marina L. Gavrilova, C. J. Kenneth Tan, François Anton. by Gavrilova, Marina L \| Tan, C. J. Kenneth \| Anton, François \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	179.	Algorithmic Game Theory [electronic resource] : Third International Symposium, SAGT 2010, Athens, Greece, October 18-20, 2010. Proceedings / edited by Spyros Kontogiannis, Elias Koutsoupias, Paul G. Spirakis. by Kontogiannis, Spyros \| Koutsoupias, Elias \| Spirakis, Paul G \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	180.	Rewriting Logic and Its Applications [electronic resource] : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers / edited by Peter Csaba Ölveczky. by Ölveczky, Peter Csaba \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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