本文に飛ぶ

年 〜
年

検索結果 13 件

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)
紙図書
Springerc2012.<M17-13-532>
国立国会図書館

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)
紙図書
Springerc2012.<M17-13-536>
国立国会図書館

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)
紙図書
Springerc2007.<M17-07-2932>
国立国会図書館

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)
紙図書
Springer-Verlagc2004.<M17-04-2965>
国立国会図書館

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
紙図書
John Derrick, Jüri Vain (eds.)Springerc2007
全国の図書館

The image of Irelande with a discoverie of Woodkarne

The image of Irelande with a discoverie of Woodkarne
紙図書
by John Derricke ; with an introduction, transliteration and glossary by David B. Quinn : preface by Lian Miller ; forward by John A. GambleBlackstaff Press1985
全国の図書館
  • 著者標目Derricke, John Quinn, David B. Miller, Liam ...

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

Modern world history for AQA Specification B Teacher's resource pack
紙図書
John Derrick ... [et al.]Heinemann2001
全国の図書館

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
紙図書
Heinemann2001
全国の図書館

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

Refinement in Z and object-Z : foundations and advanced applications
紙図書
John Derrick and Eerke BoitenSpringer-Verlagc2001
全国の図書館

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

Formal methods for distributed processing : a survey of ojbect-oriented approaches
紙図書
edited by Howard Bowman, John DerrickCambridge University Press2001
全国の図書館

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
紙図書
Eerke A. Boiten, John Derrick, Graeme Smith (eds.)Springerc2004
全国の図書館

Dextrans : current concepts of basic actions and clinical applications

Dextrans : current concepts of basic actions and clinical applications
紙図書
compiled and edited by John R. Derrick and M. Mason GuestThomas[1971]
全国の図書館

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
デジタル電子書籍・電子雑誌図書
By J. Kingston for Ihon Daie1581
国立国会図書館
  • 著者標目Derricke, John

検索結果は以上です。

RSS