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.

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

	261.	Declarative Agent Languages and Technologies IX [electronic resource] : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers / edited by Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff. by Sakama, Chiaki [editor.] \| Sardina, Sebastian [editor.] \| Vasconcelos, Wamberto [editor.] \| Winikoff, Michael [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	262.	Fundamentals of Software Engineering [electronic resource] : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani. by Arbab, Farhad [editor.] \| Sirjani, Marjan [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	263.	On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages [electronic resource] / by Brian Henderson-Sellers. by Henderson-Sellers, Brian [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	264.	The Semantic Web [electronic resource] : Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011. Proceedings / edited by Jeff Z. Pan, Huajun Chen, Hong-Gee Kim, Juanzi Li, Zhe Wu, Ian Horrocks, Riichiro Mizoguchi, Zhaohui Wu. by Pan, Jeff Z [editor.] \| Chen, Huajun [editor.] \| Kim, Hong-Gee [editor.] \| Li, Juanzi [editor.] \| Wu, Zhe [editor.] \| Horrocks, Ian [editor.] \| Mizoguchi, Riichiro [editor.] \| Wu, Zhaohui [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	265.	Coordination Models and Languages [electronic resource] : 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings / edited by Marjan Sirjani. by Sirjani, Marjan [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	266.	Information from Processes [electronic resource] : About the Nature of Information Creation, Use, and Representation / by Robert M. Losee. by Losee, Robert M [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	267.	Haptic and Audio Interaction Design [electronic resource] : 7th International Conference, HAID 2012, Lund, Sweden, August 23-24, 2012. Proceedings / edited by Charlotte Magnusson, Delphine Szymczak, Stephen Brewster. by Magnusson, Charlotte [editor.] \| Szymczak, Delphine [editor.] \| Brewster, Stephen [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	268.	Practical Aspects of Design Science [electronic resource] : European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers / edited by Markus Helfert, Brian Donnellan. by Helfert, Markus [editor.] \| Donnellan, Brian [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	269.	Morphogenetic Engineering [electronic resource] : Toward Programmable Complex Systems / edited by René Doursat, Hiroki Sayama, Olivier Michel. by Doursat, René [editor.] \| Sayama, Hiroki [editor.] \| Michel, Olivier [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	270.	Algorithmic Game Theory [electronic resource] : 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings / edited by Maria Serna. by Serna, Maria [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	271.	Rewriting Logic and Its Applications [electronic resource] : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers / edited by Franciso Durán. by Durán, Franciso [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	272.	Computational Intelligence and Intelligent Systems [electronic resource] : 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings / edited by Zhenhua Li, Xiang Li, Yong Liu, Zhihua Cai. by Li, Zhenhua [editor.] \| Li, Xiang [editor.] \| Liu, Yong [editor.] \| Cai, Zhihua [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	273.	Cognitive Behavioural Systems [electronic resource] : COST 2102 International Training School, Dresden, Germany, February 21-26, 2011, Revised Selected Papers / edited by Anna Esposito, Antonietta M. Esposito, Alessandro Vinciarelli, Rüdiger Hoffmann, Vincent C. Müller. by Esposito, Anna [editor.] \| Esposito, Antonietta M [editor.] \| Vinciarelli, Alessandro [editor.] \| Hoffmann, Rüdiger [editor.] \| Müller, Vincent C [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	274.	Shaping the Future of ICT Research. Methods and Approaches [electronic resource] : IFIP WG 8.2, Working Conference, Tampa, FL, USA, December 13-14, 2012. Proceedings / edited by Anol Bhattacherjee, Brian Fitzgerald. by Bhattacherjee, Anol [editor.] \| Fitzgerald, Brian [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	275.	Haptic Systems Architecture Modeling [electronic resource] / by Anton Weber, Schahram Dustdar. by Weber, Anton [author.] \| Dustdar, Schahram [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Vienna : Springer Vienna : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	276.	Econodynamics [electronic resource] : The Theory of Social Production / by Vladimir N. Pokrovskii. by Pokrovskii, Vladimir N [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	277.	Theoretical Foundations of Artificial General Intelligence [electronic resource] / edited by Pei Wang, Ben Goertzel. by Wang, Pei [editor.] \| Goertzel, Ben [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	278.	Dependability of Networked Computer-based Systems [electronic resource] / by Ajit Kumar Verma, Srividya Ajit, Manoj Kumar. by Verma, Ajit Kumar [author.] \| Ajit, Srividya [author.] \| Kumar, Manoj [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	279.	Ontologies in Urban Development Projects [electronic resource] / by Gilles Falquet, Claudine Métral, Jacques Teller, Christopher Tweed. by Falquet, Gilles [author.] \| Métral, Claudine [author.] \| Teller, Jacques [author.] \| Tweed, Christopher [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	280.	Understanding the Dynamics of Biological Systems [electronic resource] : Lessons Learned from Integrative Systems Biology / edited by Werner Dubitzky, Jennifer Southgate, Hendrik Fuß. by Dubitzky, Werner [editor.] \| Southgate, Jennifer [editor.] \| Fuß, Hendrik [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2011Online 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