年 〜
年

検索結果 6 件

Model-driven engineering languages and systems : 17th international conference, MODELS 2014 : Valencia, Spain, September 28-October 3, 2014 : proceedings : Sep 2014, Valencia, Spain. (Lecture Notes in Computer Science ; 8767)

Model-driven engineering languages and systems : 17th international conference, MODELS 2014 : Valencia, Spain, September 28-October 3, 2014 : proceedings : Sep 2014, Valencia, Spain. (Lecture Notes in Computer Science ; 8767)
紙図書
Springer[2014]<M17-15-1492>
国立国会図書館
  • 著者標目...ngel, Juergen. Schulte, Wolfram. Ramos, I. (Isidro), 1943- Ab...

FM 2011: formal methods : 17th international symposium on formal methods : Limerick, Ireland, June 20-24, 2011 : proceedings : Jun 2011, Limerick, Ireland. (Lecture Notes in Computer Science ; 6664)

FM 2011: formal methods : 17th international symposium on formal methods : Limerick, Ireland, June 20-24, 2011 : proceedings : Jun 2011, Limerick, Ireland. (Lecture Notes in Computer Science ; 6664)
紙図書
Springerc2011.<M17-12-19>
国立国会図書館
  • 著者標目...Michael, 1967- Schulte, Wolfram. Formal Methods Europe.

Formal methods and software engineering : 6th international conference on formal engineering methods, ICFEM 2004 : Seattle, WA, USA, November 8-12, 2004 : proceedings. : Nov 2004, Seattle, WA. (Lecture Notes in Computer Science ; 3308)

Formal methods and software engineering : 6th international conference on formal engineering methods, ICFEM 2004 : Seattle, WA, USA, November 8-12, 2004 : proceedings. : Nov 2004, Seattle, WA. (Lecture Notes in Computer Science ; 3308)
紙図書
Springerc2004.<M17-05-908>
国立国会図書館
  • 著者標目...es, Jim, 1964- Schulte, Wolfram. Barnett, Mike. International...

EFFIZIENTE UND KORREKTE ÜBERSETZUNG STRIKTER APPLIKATIVER PROGRAMMIERSPRACHEN

EFFIZIENTE UND KORREKTE ÜBERSETZUNG STRIKTER APPLIKATIVER PROGRAMMIERSPRACHEN
紙博士論文
Schulte, Wolfram.Technische Universität Berlin1992.<M-DIGBE-2227>
国立国会図書館
  • 著者標目Schulte, Wolfram.

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
紙図書
Jim Davies, Wolfram Schulte, Mike Barnett (eds.)Springerc2004
全国の図書館
  • 著者標目ICFEM Davies, Jim Schulte, Wolfram Barnett, Mike

KARDIO-RESPIRATORISCHES LEISTUNGSPROFIL VON VOLLEYBALLSPIELERN VERSCHIEDENER SPIELKLASSEN

KARDIO-RESPIRATORISCHES LEISTUNGSPROFIL VON VOLLEYBALLSPIELERN VERSCHIEDENER SPIELKLASSEN
紙博士論文
Schulte, Wolfram.Justus Liebig-Hochschule1982.<M-DIGGI-1555>
国立国会図書館
  • 著者標目Schulte, Wolfram.

検索結果は以上です。