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

A tale of two cities

0
索取号：I561.4/E8012-10
作者：Dickens、 Charles、 1812-1870.、Woodcock、 George、 1912-1995.、
出版社：Harmondsworth : Penguin, 1970.

Theoretical Aspects of Computing-ICTAC 2010 [electronic resource] : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

0
索取号：
作者：Cavalcanti、 Ana.、Deharbe、 David.、Gaudel、 Marie-Claude.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

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.

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.

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.

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.

アナキズム

0
索取号：D091.6/J904
作者：Woodcock、 George、 1912- DA00540700、白井厚、
出版社：東京 : 紀伊國屋書店, 1968.6-1968.7

Anarchism : a history of libertarian ideas and movements

0
索取号：D091.6/E701
作者：Woodcock、 George、 1912-、Paul Avrich Collection (Library of Congress) DLC、
出版社：Harmondsworth, Middlesex, England ; New York, N.Y., U.S.A. : Penguin Books, 1975, c1962.

Color vision in clinical pharmacology : the proceedings of the 3rd International Symposium on Methods in Clinical Pharmacology, Frankfurt/Main

0
索取号：R966/E902/3
作者：International Symposium on Methods in Clinical Pharmacology (3rd : Frankfurt am Main、 Germany).、Rietbrock、 N.、Woodcock、 Barry G.、
出版社：Braunschweig [Germany] : Vieweg & Sohn, c1983.

The diversity of green plants

0
索取号：Q944.5/E902.3
作者：Bell、 Peter Robert.、Woodcock、 Christopher L. F.、
出版社：London ; Baltimore, Md. : E. Arnold, 1983.

Rural rides

0
索取号：I561.45/E7020
作者：Cobbett、 William、 1763-1835.、Woodcock、 George.、
出版社：England : Penguin books, 1967,c1982.

A tale of two cities

0
索取号：I561.4/E8012-2
作者：Dickens、 Charles、 1812-1870.、Woodcock、 George、 1912-、
出版社：New York : Greenwich House : Distributed by Crown, 1982.