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

	141.	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)
	142.	Rough Sets and Knowledge Technology [electronic resource] : 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings / edited by Peng Wen, Yuefeng Li, Lech Polkowski, Yiyu Yao, Shusaku Tsumoto, Guoyin Wang. by Wen, Peng \| Li, Yuefeng \| Polkowski, Lech \| Yao, Yiyu \| Tsumoto, Shusaku \| Wang, Guoyin \| 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)
	143.	Advances in Neuro-Information Processing [electronic resource] : 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II / edited by Mario Köppen, Nikola Kasabov, George Coghill. by Köppen, Mario \| Kasabov, Nikola \| Coghill, George \| 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)
	144.	Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel. by Berghofer, Stefan \| Nipkow, Tobias \| Urban, Christian \| Wenzel, Makarius \| 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)
	145.	Algebra and Coalgebra in Computer Science [electronic resource] : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings / edited by Alexander Kurz, Marina Lenisa, Andrzej Tarlecki. by Kurz, Alexander \| Lenisa, Marina \| Tarlecki, Andrzej \| 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)
	146.	Unconventional Computation [electronic resource] : 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings / edited by Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg. by Calude, Cristian S \| Costa, José Félix \| Dershowitz, Nachum \| Freire, Elisabete \| Rozenberg, Grzegorz \| 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)
	147.	Transactions on Aspect-Oriented Software Development VI [electronic resource] : Special Issue on Aspects and Model-Driven Engineering / edited by Shmuel Katz, Harold Ossher, Robert France, Jean-Marc Jézéquel. by Katz, Shmuel \| Ossher, Harold \| France, Robert \| Jézéquel, Jean-Marc \| 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)
	148.	Spatial Information Theory [electronic resource] : 9th International Conference, COSIT 2009 Aber Wrac’h, France, September 21-25, 2009 Proceedings / edited by Kathleen Stewart Hornsby, Christophe Claramunt, Michel Denis, Gérard Ligozat. by Hornsby, Kathleen Stewart \| Claramunt, Christophe \| Denis, Michel \| Ligozat, Gérard \| 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)
	149.	CONCUR 2009 - Concurrency Theory [electronic resource] : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings / edited by Mario Bravetti, Gianluigi Zavattaro. by Bravetti, Mario \| Zavattaro, Gianluigi \| 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)
	150.	Software Process Improvement [electronic resource] : 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009. Proceedings / edited by Rory V. O’Connor, Nathan Baddoo, Juan Cuadrago Gallego, Ricardo Rejas Muslera, Kari Smolander, Richard Messnarz. by O’Connor, Rory V \| Baddoo, Nathan \| Cuadrago Gallego, Juan \| Rejas Muslera, Ricardo \| Smolander, Kari \| Messnarz, Richard \| 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)
	151.	Formal Foundations of Reuse and Domain Engineering [electronic resource] : 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings / edited by Stephen H. Edwards, Gregory Kulczycki. by Edwards, Stephen H \| Kulczycki, Gregory \| 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)
	152.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings / edited by Joël Ouaknine, Frits W. Vaandrager. by Ouaknine, Joël \| Vaandrager, Frits W \| 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)
	153.	Algorithmic Learning Theory [electronic resource] : 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009. Proceedings / edited by Ricard Gavaldà, Gábor Lugosi, Thomas Zeugmann, Sandra Zilles. by Gavaldà, Ricard \| Lugosi, Gábor \| Zeugmann, Thomas \| Zilles, Sandra \| 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)
	154.	Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems [electronic resource] : First International Conference, ICCCI 2009, Wrocław, Poland, October 5-7, 2009. Proceedings / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Shyi-Ming Chen. by Nguyen, Ngoc Thanh \| Kowalczyk, Ryszard \| Chen, Shyi-Ming \| 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)
	155.	Algorithmic Game Theory [electronic resource] : Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009. Proceedings / edited by Marios Mavronicolas, Vicky G. Papadopoulou. by Mavronicolas, Marios \| Papadopoulou, Vicky G \| 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)
	156.	Conceptual Modeling - ER 2009 [electronic resource] : 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings / edited by Alberto H. F. Laender, Silvana Castano, Umeshwar Dayal, Fabio Casati, José Palazzo M. Oliveira. by Laender, Alberto H. F \| Castano, Silvana \| Dayal, Umeshwar \| Casati, Fabio \| Oliveira, José Palazzo M \| 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)
	157.	Nano-Net [electronic resource] : 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009. Proceedings / edited by Alexandre Schmid, Sanjay Goel, Wei Wang, Valeriu Beiu, Sandro Carrara. by Schmid, Alexandre \| Goel, Sanjay \| Wang, Wei \| Beiu, Valeriu \| Carrara, Sandro \| 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)
	158.	Transactions on Petri Nets and Other Models of Concurrency III [electronic resource] / edited by Kurt Jensen, Jonathan Billington, Maciej Koutny. by Jensen, Kurt \| Billington, Jonathan \| Koutny, Maciej \| 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)
	159.	Computational Intelligence and Intelligent Systems [electronic resource] : 4th International Symposium, ISICA 2009, Huangshi, China, October 23-25, 2009. Proceedings / edited by Zhihua Cai, Zhenhua Li, Zhuo Kang, Yong Liu. by Cai, Zhihua \| Li, Zhenhua \| Kang, Zhuo \| Liu, Yong \| 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)
	160.	Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings / edited by Guido Governatori, John Hall, Adrian Paschke. by Governatori, Guido \| Hall, John \| Paschke, Adrian \| 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

Titles