Library Services | Technical University of Kenya catalog › Results of search for 'su:{Computer science.}'

Refine your search

Availability
- Limit to currently available items.
Authors
Item types
Locations
- General Stacks
- Reference
Series
Topics
Titles
- Adobe Acrobat.

	6701.	On the Move to Meaningful Internet Systems: OTM 2010 [electronic resource] : Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I / edited by Robert Meersman, Tharam Dillon, Pilar Herrero. by Meersman, Robert \| Dillon, Tharam \| Herrero, Pilar \| 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)
	6702.	On the Move to Meaningful Internet Systems, OTM 2010 [electronic resource] : Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II / edited by Robert Meersman, Tharam Dillon, Pilar Herrero. by Meersman, Robert \| Dillon, Tharam \| Herrero, Pilar \| 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)
	6703.	Advances in Artificial Intelligence – IBERAMIA 2010 [electronic resource] : 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010. Proceedings / edited by Angel Kuri-Morales, Guillermo R. Simari. by Kuri-Morales, Angel \| Simari, Guillermo 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)
	6704.	Middleware 2010 [electronic resource] : ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings / edited by Indranil Gupta, Cecilia Mascolo. by Gupta, Indranil \| Mascolo, Cecilia \| 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)
	6705.	Motion in Games [electronic resource] : Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14-16, 2010. Proceedings / edited by Ronan Boulic, Yiorgos Chrysanthou, Taku Komura. by Boulic, Ronan \| Chrysanthou, Yiorgos \| Komura, Taku \| 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)
	6706.	On the Move to Meaningful Internet Systems: OTM 2010 Workshops [electronic resource] : Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings / edited by Robert Meersman, Tharam Dillon, Pilar Herrero. by Meersman, Robert \| Dillon, Tharam \| Herrero, Pilar \| 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)
	6707.	Smart Sensing and Context [electronic resource] : 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010. Proceedings / edited by Paul Lukowicz, Kai Kunze, Gerd Kortuem. by Lukowicz, Paul \| Kunze, Kai \| Kortuem, Gerd \| 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)
	6708.	Current Trends in Web Engineering [electronic resource] : 10th International Conference on Web Engineering ICWE 2010 Workshops, Vienna, Austria, July 2010, Revised Selected Papers / edited by Florian Daniel, Federico Michele Facca. by Daniel, Florian \| Facca, Federico Michele \| 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)
	6709.	Algorithms for Sensor Systems [electronic resource] : 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers / edited by Christian Scheideler. by Scheideler, Christian \| 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)
	6710.	Formal Methods for Components and Objects [electronic resource] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers / edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel. by Boer, Frank S \| Bonsangue, Marcello M \| Hallerstede, Stefan \| Leuschel, Michael \| 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)
	6711.	Artificial Intelligence and Cognitive Science [electronic resource] : 20th Irish Conference, AICS 2009, Dublin, Ireland, August 19-21, 2009, Revised Selected Papers / edited by Lorcan Coyle, Jill Freyne. by Coyle, Lorcan \| Freyne, Jill \| 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)
	6712.	Knowledge in Formation [electronic resource] : A Computational Theory of Interpretation / by Janos J. Sarbo, Jozsef I. Farkas, Auke J.J. Breemen. by Sarbo, Janos J \| Farkas, Jozsef I \| Breemen, Auke J.J \| 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)
	6713.	Transactions on Computational Collective Intelligence II [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk. by Nguyen, Ngoc Thanh \| Kowalczyk, Ryszard \| 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)
	6714.	Programming Languages and Systems [electronic resource] : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings / edited by Kazunori Ueda. by Ueda, Kazunori \| 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)
	6715.	Verification, Induction, Termination Analysis [electronic resource] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday / edited by Simon Siegler, Nathan Wasser. by Siegler, Simon \| Wasser, Nathan \| 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)
	6716.	Culture and Computing [electronic resource] : Computing and Communication for Crosscultural Interaction / edited by Toru Ishida. by Ishida, Toru \| 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)
	6717.	Information Retrieval Technology [electronic resource] : 6th Asia Information Retrieval Societies Conference, AIRS 2010, Taipei, Taiwan, December 1-3, 2010. Proceedings / edited by Pu-Jen Cheng, Min-Yen Kan, Wai Lam, Preslav Nakov. by Cheng, Pu-Jen \| Kan, Min-Yen \| Lam, Wai \| Nakov, Preslav \| 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)
	6718.	Decision and Game Theory for Security [electronic resource] : First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010. Proceedings / edited by Tansu Alpcan, Levente Buttyán, John S. Baras. by Alpcan, Tansu \| Buttyán, Levente \| Baras, John S \| 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)
	6719.	From Active Data Management to Event-Based Systems and More [electronic resource] : Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday / edited by Kai Sachs, Ilia Petrov, Pablo Guerrero. by Sachs, Kai \| Petrov, Ilia \| Guerrero, Pablo \| 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)
	6720.	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)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Topics

Titles