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

Your search returned 5 results.

	1.	Integrated Formal Methods [electronic resource] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings / edited by Jim Davies, Jeremy Gibbons. by Davies, Jim \| Gibbons, Jeremy \| 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)
	2.	Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / edited by Jim Davies, Leila Silva, Adenilso Simao. by Davies, Jim \| Silva, Leila \| Simao, Adenilso \| 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)
	3.	Developments in Services of General Interest [electronic resource] / edited by Erika Szyszczak, Jim Davies, Mads Andenæs, Tarjei Bekkedal. by Szyszczak, Erika \| Davies, Jim \| Andenæs, Mads \| Bekkedal, Tarjei \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: The Hague, The Netherlands : T. M. C. Asser Press, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	4.	Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / edited by Jim Davies, Leila Silva, Adenilso Simao. by Davies, Jim [editor.] \| Silva, Leila [editor.] \| Simao, Adenilso [editor.] \| 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)
	5.	Developments in Services of General Interest [electronic resource] / edited by Erika Szyszczak, Jim Davies, Mads Andenæs, Tarjei Bekkedal. by Szyszczak, Erika [editor.] \| Davies, Jim [editor.] \| Andenæs, Mads [editor.] \| Bekkedal, Tarjei [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: The Hague, The Netherlands : T. M. C. Asser Press, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)

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