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

	121.	Advances in Computation and Intelligence [electronic resource] : Third International Symposium, ISICA 2008 Wuhan, China, December 19-21, 2008 Proceedings / edited by Lishan Kang, Zhihua Cai, Xuesong Yan, Yong Liu. by Kang, Lishan \| Cai, Zhihua \| Yan, Xuesong \| Liu, Yong \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	122.	Engineering Web Applications [electronic resource] / by Sven Casteleyn, Florian Daniel, Peter Dolog, Maristella Matera. by Casteleyn, Sven \| Daniel, Florian \| Dolog, Peter \| Matera, Maristella \| 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)
	123.	Declarative Agent Languages and Technologies VI [electronic resource] : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers / edited by Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff. by Baldoni, Matteo \| Son, Tran Cao \| Riemsdijk, M. Birna \| Winikoff, Michael \| 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)
	124.	Argumentation in Multi-Agent Systems [electronic resource] : Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers / edited by Iyad Rahwan, Pavlos Moraitis. by Rahwan, Iyad \| Moraitis, Pavlos \| 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)
	125.	Transactions on Petri Nets and Other Models of Concurrency II [electronic resource] : Special Issue on Concurrency in Process-Aware Information Systems / edited by Kurt Jensen, Wil M. P. Aalst. by Jensen, Kurt \| Aalst, Wil M. 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)
	126.	Learning Network Services for Professional Development [electronic resource] / edited by Rob Koper. by Koper, Rob \| 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)
	127.	Enterprise Architecture at Work [electronic resource] : Modelling, Communication and Analysis / by Marc Lankhorst. by Lankhorst, 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)
	128.	Web Services and Formal Methods [electronic resource] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers / edited by Roberto Bruni, Karsten Wolf. by Bruni, Roberto \| Wolf, Karsten \| 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)
	129.	Trustworthy Software Development Processes [electronic resource] : International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings / edited by Qing Wang, Vahid Garousi, Raymond Madachy, Dietmar Pfahl. by Wang, Qing \| Garousi, Vahid \| Madachy, Raymond \| Pfahl, Dietmar \| 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)
	130.	Enterprise, Business-Process and Information Systems Modeling [electronic resource] : 10th International Workshop, BPMDS 2009, and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings / edited by Terry Halpin, John Krogstie, Selmin Nurcan, Erik Proper, Rainer Schmidt, Pnina Soffer, Roland Ukor. by Halpin, Terry \| Krogstie, John \| Nurcan, Selmin \| Proper, Erik \| Schmidt, Rainer \| Soffer, Pnina \| Ukor, Roland \| 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)
	131.	M8.0 Wenchuan Earthquake [electronic resource] / by Huilin Xing, Xiwei Xu. by Xing, Huilin \| Xu, Xiwei \| 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)
	132.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings / edited by Martin Glinz, Patrick Heymans. by Glinz, Martin \| Heymans, Patrick \| 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)
	133.	Coordination Models and Languages [electronic resource] : 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings / edited by John Field, Vasco T. Vasconcelos. by Field, John \| Vasconcelos, Vasco 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)
	134.	Component-Based Software Engineering [electronic resource] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / edited by Grace A. Lewis, Iman Poernomo, Christine Hofmeister. by Lewis, Grace A \| Poernomo, Iman \| Hofmeister, Christine \| 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)
	135.	Nano-Net [electronic resource] : Third International ICST Conference, NanoNet 2008, Boston, MA, USA, September 14-16, 2008, Revised Selected Papers / edited by Maggie Cheng. by Cheng, Maggie \| 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)
	136.	Bio-Inspired Systems: Computational and Ambient Intelligence [electronic resource] : 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I / edited by Joan Cabestany, Francisco Sandoval, Alberto Prieto, Juan M. Corchado. by Cabestany, Joan \| Sandoval, Francisco \| Prieto, Alberto \| Corchado, Juan 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)
	137.	Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living [electronic resource] : 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II / edited by Sigeru Omatu, Miguel P. Rocha, José Bravo, Florentino Fernández, Emilio Corchado, Andrés Bustillo, Juan M. Corchado. by Omatu, Sigeru \| Rocha, Miguel P \| Bravo, José \| Fernández, Florentino \| Corchado, Emilio \| Bustillo, Andrés \| Corchado, Juan 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)
	138.	Advances in Neuro-Information Processing [electronic resource] : 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part I / 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)
	139.	Objects, Components, Models and Patterns [electronic resource] : 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings / edited by Manuel Oriol, Bertrand Meyer. by Oriol, Manuel \| Meyer, Bertrand \| 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)
	140.	Computational Logic in Multi-Agent Systems [electronic resource] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / edited by Michael Fisher, Fariba Sadri, Michael Thielscher. by Fisher, Michael \| Sadri, Fariba \| Thielscher, Michael \| 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