搜索包含 Jim 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Jim 的图书(共171本)

	Formal Methods: Foundations and Applications [electronic resource] : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers 0 索取号：作者：Oliveira、 Marcel Vin铆cius Medeiros.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Collaborative Software Engineering [electronic resource] 0 索取号：作者：Mistr铆k、 Ivan.、Grundy、 John.、Hoek、 Andr茅.、Whitehead、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Verified Software: Theories, Tools, Experiments [electronic resource] : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings 0 索取号：作者：Shankar、 Natarajan.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Quantitative Information Fusion for Hydrological Sciences [electronic resource] 0 索取号：作者：Cai、 Xing.、Yeh、 T. -C. Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Theoretical Aspects of Computing-ICTAC 2007 [electronic resource] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings 0 索取号：作者：Jones、 Cliff B.、Liu、 Zhiming.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		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 0 索取号：作者：Jones、 Cliff B.、Liu、 Zhiming.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Domain Modeling and the Duration Calculus [electronic resource] : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures 0 索取号：作者：George、 Chris W.、Liu、 Zhiming.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Artificial Intelligence in Medicine [electronic resource] : 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007. Proceedings 0 索取号：作者：Bellazzi、 Riccardo.、Abu-Hanna、 Ameen.、Hunter、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Integrated Formal Methods [electronic resource] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings 0 索取号：作者：Davies、 Jim.、Gibbons、 Jeremy.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions 0 索取号：作者：Meyer、 Bertrand.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Refinement Techniques in Software Engineering [electronic resource] : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures 0 索取号：作者：Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Combinatorial Stochastic Processes [electronic resource] : Ecole d鈥橢t茅 de Probabilit茅s de Saint-Flour XXXII 鈥ರ02 0 索取号：作者：Pitman、 Jim.、Picard、 Jean.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	The Euroschool Lectures on Physics with Exotic Beams, Vol. II [electronic resource] 0 索取号：作者：Al-Khalili、 Jim.、Roeckl、 Ernst.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Artificial Intelligence in Medicine [electronic resource] : 10th Conference on Artificial Intelligence in Medicine, AIME 2005, Aberdeen, UK, July 23-27, 2005. Proceedings 0 索取号：作者：Miksch、 Silvia.、Hunter、 Jim.、Keravnou、 Elpida T.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Chernobyl - Catastrophe and Consequences [electronic resource] 0 索取号：作者：Smith、 Jim T.、Beresford、 Nicholas A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Associahedra, Tamari Lattices and Related Structures [electronic resource] : Tamari Memorial Festschrift 0 索取号：作者：M眉ller-Hoissen、 Folkert.、Pallo、 Jean Marcel.、Stasheff、 Jim.、SpringerLink (Online service)、出版社：Basel : Springer Basel : Imprint: Birkh盲user, 2012.

	Formal Methods: Foundations and Applications [electronic resource] : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers 0 索取号：作者：Oliveira、 Marcel Vin铆cius Medeiros.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Collaborative Software Engineering [electronic resource] 0 索取号：作者：Mistr铆k、 Ivan.、Grundy、 John.、Hoek、 Andr茅.、Whitehead、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Verified Software: Theories, Tools, Experiments [electronic resource] : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings 0 索取号：作者：Shankar、 Natarajan.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Quantitative Information Fusion for Hydrological Sciences [electronic resource] 0 索取号：作者：Cai、 Xing.、Yeh、 T. -C. Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Theoretical Aspects of Computing-ICTAC 2007 [electronic resource] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings 0 索取号：作者：Jones、 Cliff B.、Liu、 Zhiming.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		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 0 索取号：作者：Jones、 Cliff B.、Liu、 Zhiming.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Domain Modeling and the Duration Calculus [electronic resource] : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures 0 索取号：作者：George、 Chris W.、Liu、 Zhiming.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Artificial Intelligence in Medicine [electronic resource] : 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007. Proceedings 0 索取号：作者：Bellazzi、 Riccardo.、Abu-Hanna、 Ameen.、Hunter、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Integrated Formal Methods [electronic resource] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings 0 索取号：作者：Davies、 Jim.、Gibbons、 Jeremy.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions 0 索取号：作者：Meyer、 Bertrand.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Refinement Techniques in Software Engineering [electronic resource] : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures 0 索取号：作者：Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Combinatorial Stochastic Processes [electronic resource] : Ecole d鈥橢t茅 de Probabilit茅s de Saint-Flour XXXII 鈥ರ02 0 索取号：作者：Pitman、 Jim.、Picard、 Jean.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	The Euroschool Lectures on Physics with Exotic Beams, Vol. II [electronic resource] 0 索取号：作者：Al-Khalili、 Jim.、Roeckl、 Ernst.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Artificial Intelligence in Medicine [electronic resource] : 10th Conference on Artificial Intelligence in Medicine, AIME 2005, Aberdeen, UK, July 23-27, 2005. Proceedings 0 索取号：作者：Miksch、 Silvia.、Hunter、 Jim.、Keravnou、 Elpida T.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Chernobyl - Catastrophe and Consequences [electronic resource] 0 索取号：作者：Smith、 Jim T.、Beresford、 Nicholas A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Associahedra, Tamari Lattices and Related Structures [electronic resource] : Tamari Memorial Festschrift 0 索取号：作者：M眉ller-Hoissen、 Folkert.、Pallo、 Jean Marcel.、Stasheff、 Jim.、SpringerLink (Online service)、出版社：Basel : Springer Basel : Imprint: Birkh盲user, 2012.