Library Services | Technical University of Kenya catalog › Results of search for 'au:"jones,"'

Refine your search

Availability
- Limit to currently available items.
Authors
Item types
- General Circulation Books
- Reference
Locations
Series
Places
Topics
Titles

	361.	Multilingual Information Access for Text, Speech and Images [electronic resource] : 5th Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17, 2004, Revised Selected Papers / edited by Carol Peters, Paul Clough, Julio Gonzalo, Gareth J. F. Jones, Michael Kluck, Bernardo Magnini. by Peters, Carol \| Clough, Paul \| Gonzalo, Julio \| Jones, Gareth J. F \| Kluck, Michael \| Magnini, Bernardo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	362.	Communicating Sequential Processes. The First 25 Years [electronic resource] : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders. by Abdallah, Ali E \| Jones, Cliff B \| Sanders, Jeff W \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available Add to cart (remove)
	363.	Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Thomas Ball, Robert B. Jones. by Ball, Thomas \| Jones, Robert B \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	364.	Accessing Multilingual Information Repositories [electronic resource] : 6th Workshop of the Cross-Language Evalution Forum, CLEF 2005, Vienna, Austria, 21-23 September, 2005, Revised Selected Papers / edited by Carol Peters, Fredric C. Gey, Julio Gonzalo, Henning Müller, Gareth J. F. Jones, Michael Kluck, Bernardo Magnini, Maarten Rijke. by Peters, Carol \| Gey, Fredric C \| Gonzalo, Julio \| Müller, Henning \| Jones, Gareth J. F \| Kluck, Michael \| Magnini, Bernardo \| Rijke, Maarten \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	365.	Rigorous Development of Complex Fault-Tolerant Systems [electronic resource] / edited by Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna. by Butler, Michael \| Jones, Cliff B \| Romanovsky, Alexander \| Troubitsyna, Elena \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	366.	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)
	367.	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)
	368.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings / edited by Neil D. Jones, Markus Müller-Olm. by Jones, Neil D \| Müller-Olm, Markus \| 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)
	369.	Innovations in Remote Sensing and Photogrammetry [electronic resource] / edited by Simon Jones, Karin Reinke. by Jones, Simon \| Reinke, Karin \| 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)
	370.	Methods, Models and Tools for Fault Tolerance [electronic resource] / edited by Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna. by Butler, Michael \| Jones, Cliff \| Romanovsky, Alexander \| Troubitsyna, Elena \| 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)
	371.	Algorithmic Algebraic Combinatorics and Gröbner Bases [electronic resource] / edited by Mikhail Klin, Gareth A. Jones, Aleksandar Jurišić, Mikhail Muzychuk, Ilia Ponomarenko. by Klin, Mikhail \| Jones, Gareth A \| Jurišić, Aleksandar \| Muzychuk, Mikhail \| Ponomarenko, Ilia \| 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)
	372.	Education and Technology for a Better World [electronic resource] : 9th IFIP TC 3 World Conference on Computers in Education, WCCE 2009, Bento Gonçalves, Brazil, July 27-31, 2009. Proceedings / edited by Arthur Tatnall, Anthony Jones. by Tatnall, Arthur \| Jones, Anthony \| 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)
	373.	Integrated G Proteins Signaling in Plants [electronic resource] / edited by Shaul Yalovsky, František Baluška, Alan Jones. by Yalovsky, Shaul \| Baluška, František \| Jones, Alan \| 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)
	374.	Evaluating Systems for Multilingual and Multimodal Information Access [electronic resource] : 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Aarhus, Denmark, September 17-19, 2008, Revised Selected Papers / edited by Carol Peters, Thomas Deselaers, Nicola Ferro, Julio Gonzalo, Gareth J. F. Jones, Mikko Kurimo, Thomas Mandl, Anselmo Peñas, Vivien Petras. by Peters, Carol \| Deselaers, Thomas \| Ferro, Nicola \| Gonzalo, Julio \| Jones, Gareth J. F \| Kurimo, Mikko \| Mandl, Thomas \| Peñas, Anselmo \| Petras, Vivien \| 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)
	375.	New Developments in Multiple Objective and Goal Programming [electronic resource] / edited by Dylan Jones, Mehrdad Tamiz, Jana Ries. by Jones, Dylan \| Tamiz, Mehrdad \| Ries, Jana \| 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)
	376.	Multilingual Information Access Evaluation II. Multimedia Experiments [electronic resource] : 10th Workshop of the Cross-Language Evaluation Forum, CLEF 2009, Corfu, Greece, September 30 - October 2, 2009, Revised Selected Papers / edited by Carol Peters, Barbara Caputo, Julio Gonzalo, Gareth J. F. Jones, Jayashree Kalpathy-Cramer, Henning Müller, Theodora Tsikrika. by Peters, Carol \| Caputo, Barbara \| Gonzalo, Julio \| Jones, Gareth J. F \| Kalpathy-Cramer, Jayashree \| Müller, Henning \| Tsikrika, Theodora \| 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)
	377.	Intelligent Video Event Analysis and Understanding [electronic resource] / edited by Jianguo Zhang, Ling Shao, Lei Zhang, Graeme A. Jones. by Zhang, Jianguo \| Shao, Ling \| Zhang, Lei \| Jones, Graeme A \| 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)
	378.	Advances in Information Retrieval [electronic resource] : 33rd European Conference on IR Research, ECIR 2011, Dublin, Ireland, April 18-21, 2011. Proceedings / edited by Paul Clough, Colum Foley, Cathal Gurrin, Gareth J. F. Jones, Wessel Kraaij, Hyowon Lee, Vanessa Mudoch. by Clough, Paul \| Foley, Colum \| Gurrin, Cathal \| Jones, Gareth J. F \| Kraaij, Wessel \| Lee, Hyowon \| Mudoch, Vanessa \| 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)
	379.	Contemporary Computing [electronic resource] : 4th International Conference, IC3 2011, Noida, India, August 8-10, 2011. Proceedings / edited by Srinivas Aluru, Sanghamitra Bandyopadhyay, Umit V. Catalyurek, Devdatt P. Dubhashi, Phillip H. Jones, Manish Parashar, Bertil Schmidt. by Aluru, Srinivas \| Bandyopadhyay, Sanghamitra \| Catalyurek, Umit V \| Dubhashi, Devdatt P \| Jones, Phillip H \| Parashar, Manish \| Schmidt, Bertil \| 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)
	380.	Dependable and Historic Computing [electronic resource] : Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday / edited by Cliff B. Jones, John L. Lloyd. by Jones, Cliff B \| Lloyd, John L \| 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)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Places

Topics

Titles