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.

	4601.	Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock. by Jones, Cliff B \| Liu, Zhiming \| Woodcock, Jim \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	4602.	Algorithmic Learning Theory [electronic resource] : 18th International Conference, ALT 2007, Sendai, Japan, October 1-4, 2007. Proceedings / edited by Marcus Hutter, Rocco A. Servedio, Eiji Takimoto. by Hutter, Marcus \| Servedio, Rocco A \| Takimoto, Eiji \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	4603.	Formal Aspects in Security and Trust [electronic resource] : Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers / edited by Theo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider. by Dimitrakos, Theo \| Martinelli, Fabio \| Ryan, Peter Y. A \| Schneider, Steve \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	4604.	Secure Data Management [electronic resource] : 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007. Proceedings / edited by Willem Jonker, Milan Petković. by Jonker, Willem \| Petković, Milan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	4605.	Multi-Agent Systems and Applications V [electronic resource] : 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007. Proceedings / edited by Hans-Dieter Burkhard, Gabriela Lindemann, Rineke Verbrugge, László Zsolt Varga. by Burkhard, Hans-Dieter \| Lindemann, Gabriela \| Verbrugge, Rineke \| Varga, László Zsolt \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	4606.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings / edited by Khaled Mellouli. by Mellouli, Khaled \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	4607.	Current Topics in Artificial Intelligence [electronic resource] : 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers / edited by Daniel Borrajo, Luis Castillo, Juan Manuel Corchado. by Borrajo, Daniel \| Castillo, Luis \| Corchado, Juan Manuel \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	4608.	Advances in Computer Graphics and Computer Vision [electronic resource] : International Conferences VISAPP and GRAPP 2006, Setúbal, Portugal, February 25-28, 2006, Revised Selected Papers / edited by José Braz, Alpesh Ranchordas, Helder Araújo, Joaquim Jorge. by Braz, José \| Ranchordas, Alpesh \| Araújo, Helder \| Jorge, Joaquim \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	4609.	eCulture [electronic resource] : Cultural Content in the Digital Age / by Alfredo M. Ronchi. by Ronchi, Alfredo 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)
	4610.	Pattern Recognition in Bioinformatics [electronic resource] : Second IAPR International Workshop, PRIB 2007, Singapore, October 1-2, 2007. Proceedings / edited by Jagath C. Rajapakse, Bertil Schmidt, Gwenn Volkert. by Rajapakse, Jagath C \| Schmidt, Bertil \| Volkert, Gwenn \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	4611.	Database and XMLTechnologies [electronic resource] : 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007. Proceedings / edited by Denilson Barbosa, Angela Bonifati, Zohra Bellahsène, Ela Hunt, Rainer Unland. by Barbosa, Denilson \| Bonifati, Angela \| Bellahsène, Zohra \| Hunt, Ela \| Unland, Rainer \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	4612.	Theoretical Aspects of Computing – ICTAC 2007 [electronic resource] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock. by Jones, Cliff B \| Liu, Zhiming \| Woodcock, Jim \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	4613.	Dependable Computing [electronic resource] : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings / edited by Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum. by Bondavalli, Andrea \| Brasileiro, Francisco \| Rajsbaum, Sergio \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	4614.	Trustworthy Global Computing [electronic resource] : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers / edited by Ugo Montanari, Donald Sannella, Roberto Bruni. by Montanari, Ugo \| Sannella, Donald \| Bruni, Roberto \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	4615.	Software Process Improvement [electronic resource] : 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings / edited by Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz. by Abrahamsson, Pekka \| Baddoo, Nathan \| Margaria, Tiziana \| Messnarz, Richard \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	4616.	Scalable Uncertainty Management [electronic resource] : First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings / edited by Henri Prade, V. S. Subrahmanian. by Prade, Henri \| Subrahmanian, V. S \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	4617.	Passive Eye Monitoring [electronic resource] : Algorithms, Applications and Experiments / edited by Riad I. Hammoud. by Hammoud, Riad I \| 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)
	4618.	Algebraic Informatics [electronic resource] : Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers / edited by Symeon Bozapalidis, George Rahonis. by Bozapalidis, Symeon \| Rahonis, George \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	4619.	Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 14th European PVM/MPI User’s Group Meeting, Paris, France, September 30 - October 3, 2007. Proceedings / edited by Franck Cappello, Thomas Herault, Jack Dongarra. by Cappello, Franck \| Herault, Thomas \| Dongarra, Jack \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available Add to cart (remove)
	4620.	High Performance Computing and Communications [electronic resource] : Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings / edited by Ronald Perrott, Barbara M. Chapman, Jaspal Subhlok, Rodrigo Fernandes Mello, Laurence T. Yang. by Perrott, Ronald \| Chapman, Barbara M \| Subhlok, Jaspal \| Mello, Rodrigo Fernandes \| Yang, Laurence T \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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