Jump to main content

yr 〜
yr

Search results 13

Formal techniques for networked and distributed systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : proceedings

Formal techniques for networked and distributed systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : proceedings
Paper図書
John Derrick, Jüri Vain (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingFORTE IFIP Working Group 6.1 Derrick, John Vain, Jüri

Integrated formal methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings

Integrated formal methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings
Paper図書
Eerke A. Boiten, John Derrick, Graeme Smith (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingInternational Conference on Integrated Formal Methods Boiten, Eerke A. Derrick, John Smith, Graeme

Modern world history for AQA Specification B Teacher's resource pack

Modern world history for AQA Specification B Teacher's resource pack
Paper図書
John Derrick ... [et al.]Heinemann2001
Other Libraries in Japan
  • Author HeadingDerrick, John

Modern world history for AQA specification B Pupils book Teacher's resource pack Foundation [ed.] / Tony Hewitt, Jane Shuter

Modern world history for AQA specification B Pupils book Teacher's resource pack Foundation [ed.] / Tony Hewitt, Jane Shuter
Paper図書
Heinemann2001
Other Libraries in Japan
  • Author HeadingHewitt, Tony Shuter, Jane Derrick, John Waugh, Steve

Refinement in Z and object-Z : foundations and advanced applications

Refinement in Z and object-Z : foundations and advanced applications
Paper図書
John Derrick and Eerke BoitenSpringer-Verlagc2001
Other Libraries in Japan
  • Author HeadingDerrick, John Boiten, Eerke

Formal methods for distributed processing : a survey of ojbect-oriented approaches

Formal methods for distributed processing : a survey of ojbect-oriented approaches
Paper図書
edited by Howard Bowman, John DerrickCambridge University Press2001
Other Libraries in Japan
  • Author HeadingBowman, Howard Derrick, John

Abstract state machines, alloy, B, VDM, and Z : third international conference, ABZ 2012 : Pisa, Italy, June 18-21, 2012 : proceedings : 9th international conference on integrated formal methods : iFM&ABZ 2012 : iFM event : joint iFM2012 and ABZ2012 conference : Jun 2012, Pisa, Italy. (Lecture Notes in Computer Science ; 7316)

Abstract state machines, alloy, B, VDM, and Z : third international conference, ABZ 2012 : Pisa, Italy, June 18-21, 2012 : proceedings : 9th international conference on integrated formal methods : iFM&ABZ 2012 : iFM event : joint iFM2012 and ABZ2012 conference : Jun 2012, Pisa, Italy. (Lecture Notes in Computer Science ; 7316)
Paper図書
Springerc2012.<M17-13-532>
National Diet Library
  • Author Heading...: Pisa, Italy) Derrick, John, 1963- Consiglio Nazionale de...

Integrated formal methods : 9th international conference, IFM 2012 : Pisa, Italy, June 18-21, 2012 : proceedings : ABZ 2012 : 3rd internatinoal conference on abstract state machines, alloy, B, VDM, and Z : iFM&ABZ 2012 : iFM event : joint iFM2012 and ABZ2012 conference : Jun 2012, Pisa, Italy. (Lecture Notes in Computer Science ; 7321)

Integrated formal methods : 9th international conference, IFM 2012 : Pisa, Italy, June 18-21, 2012 : proceedings : ABZ 2012 : 3rd internatinoal conference on abstract state machines, alloy, B, VDM, and Z : iFM&ABZ 2012 : iFM event : joint iFM2012 and ABZ2012 conference : Jun 2012, Pisa, Italy. (Lecture Notes in Computer Science ; 7321)
Paper図書
Springerc2012.<M17-13-536>
National Diet Library
  • Author Heading...: Pisa, Italy) Derrick, John, 1963- Consiglio Nazionale de...

Formal techniques for networked and distributed systems -- FORTE 2007 : 27th IFIP WG 6.1 international conference : Tallinn, Estonia, June 27-29, 2007 : proceedings. : Jun 2007, Tallinn, Estonia. (Lecture Notes in Computer Science ; 4574)

Formal techniques for networked and distributed systems -- FORTE 2007 : 27th IFIP WG 6.1 international conference : Tallinn, Estonia, June 27-29, 2007 : proceedings. : Jun 2007, Tallinn, Estonia. (Lecture Notes in Computer Science ; 4574)
Paper図書
Springerc2007.<M17-07-2932>
National Diet Library
  • Author Heading...puter Science. Derrick, John, 1963- Vain, Jüri. Tallinna T...

Integrated formal methods : 4th international conference, IFM 2004 : Canterbury, UK, April 4-7, 2004 : proceedings. : Apr 2004, Canterbury, UK. (Lecture Notes in Computer Science ; 2999)

Integrated formal methods : 4th international conference, IFM 2004 : Canterbury, UK, April 4-7, 2004 : proceedings. : Apr 2004, Canterbury, UK. (Lecture Notes in Computer Science ; 2999)
Paper図書
Springer-Verlagc2004.<M17-04-2965>
National Diet Library
  • Author Heading..., Eerke, 1966- Derrick, John, 1963- Smith, Graeme, 1966- I...

The image of Irelande with a discoverie of Woodkarne

The image of Irelande with a discoverie of Woodkarne
Paper図書
by John Derricke ; with an introduction, transliteration and glossary by David B. Quinn : preface by Lian Miller ; forward by John A. GambleBlackstaff Press1985
Other Libraries in Japan

Dextrans : current concepts of basic actions and clinical applications

Dextrans : current concepts of basic actions and clinical applications
Paper図書
compiled and edited by John R. Derrick and M. Mason GuestThomas[1971]
Other Libraries in Japan
  • Author HeadingInternational Symposium on Dextrans Derrick, John R. Guest, Maurice Mason

The image of Irelande with a discouerie of vvoodkarne, wherin is moste liuely expressed, the nature, and qualitie of the saied wilde Irishe woodkarne, their notable aptnesse, celeritie, and pronesse to rebellion, and by waie of argumente is manifested th

The image of Irelande with a discouerie of vvoodkarne, wherin is moste liuely expressed, the nature, and qualitie of the saied wilde Irishe woodkarne, their notable aptnesse, celeritie, and pronesse to rebellion, and by waie of argumente is manifested th
Digital電子書籍・電子雑誌図書
By J. Kingston for Ihon Daie1581
National Diet Library

Reached to the end of result.

RSS