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
11
12
13
14
15
16
17
Next »

« Previous
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
Next »

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

	181.	Testing Software and Systems [electronic resource] : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings / edited by Alexandre Petrenko, Adenilso Simão, José Carlos Maldonado. by Petrenko, Alexandre \| Simão, Adenilso \| Maldonado, José Carlos \| 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)
	182.	Architecting Dependable Systems VII [electronic resource] / edited by Antonio Casimiro, Rogério Lemos, Cristina Gacek. by Casimiro, Antonio \| Lemos, Rogério \| Gacek, Cristina \| 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)
	183.	The Evolution of Conceptual Modeling [electronic resource] : From a Historical Perspective towards the Future of Conceptual Modeling / edited by Roland Kaschek, Lois Delcambre. by Kaschek, Roland \| Delcambre, Lois \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	184.	Transactions on Petri Nets and Other Models of Concurrency IV [electronic resource] / edited by Kurt Jensen, Susanna Donatelli, Maciej Koutny. by Jensen, Kurt \| Donatelli, Susanna \| Koutny, Maciej \| 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)
	185.	Graph Drawing [electronic resource] : 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers / edited by Ulrik Brandes, Sabine Cornelsen. by Brandes, Ulrik \| Cornelsen, Sabine \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	186.	Digital Privacy [electronic resource] : PRIME - Privacy and Identity Management for Europe / edited by Jan Camenisch, Ronald Leenes, Dieter Sommer. by Camenisch, Jan \| Leenes, Ronald \| Sommer, Dieter \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	187.	Engineering Secure Software and Systems [electronic resource] : Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings / edited by Úlfar Erlingsson, Roel Wieringa, Nicola Zannone. by Erlingsson, Úlfar \| Wieringa, Roel \| Zannone, Nicola \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	188.	Languages and Compilers for Parallel Computing [electronic resource] : 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers / edited by Keith Cooper, John Mellor-Crummey, Vivek Sarkar. by Cooper, Keith \| Mellor-Crummey, John \| Sarkar, Vivek \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	189.	Architecture Principles [electronic resource] : The Cornerstones of Enterprise Architecture / by Danny Greefhorst, Erik Proper. by Greefhorst, Danny \| Proper, Erik \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	190.	Declarative Agent Languages and Technologies VIII [electronic resource] : 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers / edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos. by Omicini, Andrea \| Sardina, Sebastian \| Vasconcelos, Wamberto \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	191.	Top Productivity through Software Reuse [electronic resource] : 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings / edited by Klaus Schmid. by Schmid, Klaus \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	192.	Coordination Models and Languages [electronic resource] : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / edited by Wolfgang Meuter, Gruia-Catalin Roman. by Meuter, Wolfgang \| Roman, Gruia-Catalin \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	193.	Advances in Computational Intelligence [electronic resource] : 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part II / edited by Joan Cabestany, Ignacio Rojas, Gonzalo Joya. by Cabestany, Joan \| Rojas, Ignacio \| Joya, Gonzalo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	194.	Advances in Computational Intelligence [electronic resource] : 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings, Part I / edited by Joan Cabestany, Ignacio Rojas, Gonzalo Joya. by Cabestany, Joan \| Rojas, Ignacio \| Joya, Gonzalo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	195.	Languages, Methodologies, and Development Tools for Multi-Agent Systems [electronic resource] : Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers / edited by Mehdi Dastani, Amal Fallah Seghrouchni, Jomi Hübner, João Leite. by Dastani, Mehdi \| Fallah Seghrouchni, Amal \| Hübner, Jomi \| Leite, João \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	196.	Algebra and Coalgebra in Computer Science [electronic resource] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings / edited by Andrea Corradini, Bartek Klin, Corina Cîrstea. by Corradini, Andrea \| Klin, Bartek \| Cîrstea, Corina \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	197.	Spatial Information Theory [electronic resource] : 10th International Conference, COSIT 2011, Belfast, ME, USA, September 12-16, 2011. Proceedings / edited by Max Egenhofer, Nicholas Giudice, Reinhard Moratz, Michael Worboys. by Egenhofer, Max \| Giudice, Nicholas \| Moratz, Reinhard \| Worboys, Michael \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	198.	Testing Software and Systems [electronic resource] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings / edited by Burkhart Wolff, Fatiha Zaïdi. by Wolff, Burkhart \| Zaïdi, Fatiha \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	199.	Algorithmic Game Theory [electronic resource] : 4th International Symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011. Proceedings / edited by Giuseppe Persiano. by Persiano, Giuseppe \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	200.	Ontologies for Agents: Theory and Experiences [electronic resource] / edited by Valentina Tamma, Stephen Cranefield, Timothy W. Finin, Steven Willmott. by Tamma, Valentina \| Cranefield, Stephen \| Finin, Timothy W \| Willmott, Steven \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Basel : Birkhäuser Basel, 2005Online 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