J. Davies
发表
Jim Davies,
J. Davies,
1991
.
Sayantan Sur,
Ryan Newton,
Josep Torrellas,
2011,
Encyclopedia of Parallel Computing.
Sayantan Sur,
Ryan Newton,
Josep Torrellas,
2011,
Encyclopedia of Parallel Computing.
P. Maccallum,
C. Caldas,
J. Brenton,
2009,
BMC Medical Genomics.
Alexander K. Petrenko,
Bernhard K. Aichernig,
Tomasz Janowski,
2008
.
J. Davies,
A. Cavarra,
Charles Crichton,
2001
.
Jim Woodcock,
Jim Davies,
Jeannette M. Wing,
1999
.
Jim Davies,
Jeremy Gibbons,
James Welch,
2014
.
J. Davies,
T. Janowski,
2010
.
Jim Davies,
A. W. Roscoe,
Steve A. Schneider,
1991,
REX Workshop.
Jim Davies,
A. W. Roscoe,
Eric J. Bohm,
2011,
Encyclopedia of Parallel Computing.
J. Davies,
A. Cavarra,
2015
.
Jim Woodcock,
Jim Davies,
Bill Roscoe,
2000
.
Jim Davies,
Charles Crichton,
J. Davies,
2002,
Refinement Workshop.
J Davies,
J. Davies,
T. Pickering,
1973,
Cardiovascular research.
R. Pötter,
D. Georg,
J. Debus,
2018,
Radiotherapy and oncology : journal of the European Society for Therapeutic Radiology and Oncology.
Jim Davies,
David A. Clifton,
Jeremy Gibbons,
2012,
2012 First International Workshop on Realizing AI Synergies in Software Engineering (RAISE).
Jim Davies,
Charles Crichton,
Jeremy Gibbons,
2014,
Sci. Comput. Program..
Jim Davies,
Min Chen,
Susanna-Assunta Sansone,
2012,
IEEE Transactions on Visualization and Computer Graphics.
Jim Davies,
Charles Crichton,
Jeremy Gibbons,
2009,
2009 ICSE Workshop on Software Engineering in Health Care.
Tomasz Janowski,
Theresa A. Pardo,
Jim Davies,
2012,
Gov. Inf. Q..
Jim Davies,
Min Chen,
Susanna-Assunta Sansone,
2013,
IEEE Transactions on Visualization and Computer Graphics.
Andrew P. Martin,
Andrew C. Simpson,
Jim Davies,
2004,
TFM.
Jim Woodcock,
Jim Davies,
J. Woodcock,
1996,
Prentice Hall international series in computer science.
Jim Davies,
Jeremy Gibbons,
Mike Hinchey,
2008
.
Jim Davies,
Steve A. Schneider,
S. Schneider,
1993,
Formal Aspects of Computing.
Jim Davies,
Steve A. Schneider,
S. Schneider,
1995,
Theor. Comput. Sci..
Steve A. Schneider,
Jim Davies,
Steve Schneider,
1994
.
Jim Davies,
Steve A. Schneider,
Dave Jackson,
1992,
FTRTFT.
Jim Davies,
Steve A. Schneider,
S. Schneider,
1990,
Mathematical Foundations of Programming Semantics.
Jim Davies,
Charles Crichton,
Jeremy Gibbons,
2008,
ICEGOV '08.
Charles Crichton,
Jim Davies,
Andrew Tsui,
2008
.
Jim Davies,
Daniel Abler,
Vassiliki Kanellopoulos,
2013,
Journal of radiation research.
Jim Davies,
Charles Crichton,
Daniel Abler,
2011,
SPLASH Workshops.
Jim Davies,
Charles Crichton,
Jeremy Gibbons,
2009,
2009 42nd Hawaii International Conference on System Sciences.
Jim Davies,
Charles Crichton,
Jeremy Gibbons,
2008,
ICEGOV '08.
R.L. Owen,
S. McKeever,
J. Davies,
2006,
2006 Computers in Cardiology.
Jim Davies,
Mohammed A. Aboulsamh,
J. Davies,
2011,
MEDI.
Andrew P. Martin,
Andrew C. Simpson,
Jim Davies,
2003,
25th International Conference on Software Engineering, 2003. Proceedings..
Jim Davies,
Christopher G. Chute,
Harold R. Solbrig,
2013,
JIST.
Radu Calinescu,
Jim Davies,
Charles Crichton,
2011,
FHIES.
Jim Davies,
Jeremy Gibbons,
J. Davies,
2010,
ICDCIT.
Jim Davies,
Charles Crichton,
Jeremy Gibbons,
2007,
ICEGOV '07.
Wolfram Schulte,
Jim Davies,
Mike Barnett,
2004,
Lecture Notes in Computer Science.
Jim Davies,
Daniel Abler,
Vassiliki Kanellopoulos,
2013,
Journal of radiation research.