STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Jim Davies | lit.salon
Jim Davies
No bio available.
Add one in Open Library.
Books by Jim Davies (50 max)
+ shelf
+ list
Engineering Agile Big-Data Systems
2018
Kevin Feeney, Jim Davies, James Welch, Sebastian Hellmann, Christian Dirschl, Andreas Koller
+ shelf
+ list
Specification and Proof in Real Time CSP
2010
Jim Davies
+ shelf
+ list
Imagination The Science of Your Mind's Greatest Power
2019
Jim Davies
+ shelf
+ list
Garfield Full Course
2023
Mark Evanier, Jim Davies, Scott Nickel
+ shelf
+ list
FM'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II
2003
Jeannette M. Wing, Jim Woodcook, Jim Davies
+ shelf
+ list
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science)
2004
Jim Davies, Wolfram Schulte, Mike Barnett
+ shelf
+ list
Riveted the science of why jokes make us laugh, movies make us cry, and religion makes us feel one with the universe
2014
Jim Davies
+ shelf
+ list
Being the Person Your Dog Thinks You Are: The Science of a Better You
2021
Jim Davies
+ shelf
+ list
Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
2007
Jim Davies, Jeremy Gibbons
+ shelf
+ list
Proceedings of the 5th International Conference on Theory and Practice of Electronic Governance
2011
Jim Davies
+ shelf
+ list
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
2011
Jim Davies
+ shelf
+ list
Riveted Lib/E : The Science of Why Jokes Make Us Laugh, Movies Make Us Cry, and Religion Makes Us Feel One with the Universe
2021
Jim Davies, Matthew Josdal
