Jump to main content

yr 〜
yr

Search results 109

Engineering Agile Big-Data Systems

Engineering Agile Big-Data Systems
Digital電子書籍・電子雑誌図書
2018
Available onlineNational Diet Library
  • Author HeadingFeeney, Kevin Davies, Jim Dirschl, Christian Francois P...

Proceedings of the first international workshop on formal methods education and training (GRACE technical reports ; 2008-3)

Proceedings of the first international workshop on formal methods education and training (GRACE technical reports ; 2008-3)
Paper図書
Jim Davies, Jeremy Gibbons, Mike Hinchey, Kenji Taguchi (editors)Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics2008.10<M18-B914>
National Diet Library
  • Author HeadingDavies, Jim Gibbons, Jeremy Hinchey, Mich...

The Bard & co. : Shakespeare's role in modern business

The Bard & co. : Shakespeare's role in modern business
Digital電子書籍・電子雑誌図書
2005
National Diet Library
  • Author HeadingDavies, Jim Simmons, John Williams, Rob

The Cambridge companion to the circus (Cambridge companions to theatre and performance)

The Cambridge companion to the circus (Cambridge companions to theatre and performance)
Paper図書
edited by Gillian Arrighi, Jim DavisCambridge University Press2021<KD851-D2>
National Diet LibraryOther Libraries in Japan

Specification and proof in real-time CSP : pbk

Specification and proof in real-time CSP : pbk
Paper図書
Jim DaviesCambridge University Press2011, c1993
Other Libraries in Japan
  • Author HeadingDavies, Jim

Integrated formal methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings

Integrated formal methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings
Paper図書
Jim Davies, Jeremy Gibbons (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingInternational Conference on Integrated Formal Methods Davies, Jim Gibbons, Jeremy

The European consumer citizen in law and policy (Consumption and public life)

The European consumer citizen in law and policy (Consumption and public life)
Paper図書
Jim Davies.Palgrave Macmillan2011.<EF61-B23>
National Diet LibraryOther Libraries in Japan
  • Author HeadingDavies, Jim, 1952-

Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings

Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
Paper図書
Jim Davies, Wolfram Schulte, Mike Barnett (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingICFEM Davies, Jim Schulte, Wolfram Barnett, Mik...

Slang across societies : motivations and construction : pbk : hbk

Slang across societies : motivations and construction : pbk : hbk
Paper図書
Jim DavieRoutledge2019
Other Libraries in Japan

Avoiding the abyss : progress, shortfalls, and the way ahead in combating the WMD threat / edited by Barry R. Schneider and Jim A. Davis.

Avoiding the abyss : progress, shortfalls, and the way ahead in combating the WMD threat / edited by Barry R. Schneider and Jim A. Davis.
Paper図書
Praeger Security International2006.<A651-B140>
National Diet Library

The book of Guinness advertising

The book of Guinness advertising
Paper図書
Jim DaviesGuinness Pub.c1998
Other Libraries in Japan
  • Author HeadingDavies, Jim

Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Professor Sir Antony Hoare

Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Professor Sir Antony Hoare
Paper図書
edited by Jim Davies, Bill Roscoe, and Jim WoodcockPalgrave2000
Other Libraries in Japan
  • Author Heading...ny Richard...) Davies, Jim Roscoe, A. W Woodcock, J. C. ...

FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings v. 1 v. 2

FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings v. 1 v. 2
Paper図書
Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)Springerc1999
Other Libraries in Japan
  • Author Heading...oodcock, James Davies, Jim

Using Z : specification, refinement, and proof

Using Z : specification, refinement, and proof
Paper図書
Jim Woodcock and Jim DaviesPrentice Hall1996
Other Libraries in Japan
  • Author HeadingWoodcock, James Davies, Jim

Integrated formal methods : 6th international conference, IFM 2007 : Oxford, UK, July 2-5, 2007 : proceedings. : Jul 2007, Oxford, UK. (Lecture Notes in Computer Science ; 4591)

Integrated formal methods : 6th international conference, IFM 2007 : Oxford, UK, July 2-5, 2007 : proceedings. : Jul 2007, Oxford, UK. (Lecture Notes in Computer Science ; 4591)
Paper図書
Springerc2007.<M17-07-2817>
National Diet Library
  • Author HeadingDavies, Jim, 1964- Gibbons, Jeremy, 1966-...

Dickensian dramas : plays from Charles Dickens v. 1 v. 2

Dickensian dramas : plays from Charles Dickens v. 1 v. 2
Paper図書
edited by Jacky BrattonOxford University Press2017
Other Libraries in Japan

European theatre performance practice, 1750-1900

European theatre performance practice, 1750-1900
Paper図書
edited by Jim DavisAshgatec2014
Other Libraries in Japan

Specification and proof in real-time CSP

Specification and proof in real-time CSP
Paper図書
Jim DaviesCambridge University Press1993
Other Libraries in Japan
  • Author HeadingDavies, Jim

3rd international conference on theory and practice of electronic governance : (ICEGOV 2009) : Bogota, Colombia : 10-13 November 2009. : ICEGOV2009 : Nov 2009, Bogota, Colombia. (ACM International Conference Proceedings Series ; 322)

3rd international conference on theory and practice of electronic governance : (ICEGOV 2009) : Bogota, Colombia : 10-13 November 2009. : ICEGOV2009 : Nov 2009, Bogota, Colombia. (ACM International Conference Proceedings Series ; 322)
Paper図書
ACMc2009.<M17-10-2885>
National Diet Library
  • Author Heading...owski, Tomasz. Davies, Jim, 1964- International Conferen...

Dickensian dramas : plays from Charles Dickens First edition.

Dickensian dramas : plays from Charles Dickens First edition.
Paper図書
edited by Jacky Bratton.Oxford University Press2017.<KS114-B21>
National Diet Library
RSS