Jump to main content

yr 〜
yr

Search results 5

System analysis and modeling: theory and practice : 7th international workshop, SAM 2012 : Innsbruck, Austria, October 1-2, 2012 : revised selected papers : system analysis and modelling (SAM) workshop : Oct 2012, Innsbruck, Austria. (Lecture Notes in Computer Science ; 7744)

System analysis and modeling: theory and practice : 7th international workshop, SAM 2012 : Innsbruck, Austria, October 1-2, 2012 : revised selected papers : system analysis and modelling (SAM) workshop : Oct 2012, Innsbruck, Austria. (Lecture Notes in Computer Science ; 7744)
Paper図書
Springerc2013.<M17-13-2107>
National Diet Library
  • Author HeadingSAM 2012 (2012 : Innsbruck, Austria) Haugen, Øystein. Reed, Rick. Gotzhein, Reinhard.

SDL 2009: design for motes and mobiles : 14th international SDL forum : Bochum, Germany, September 22-24, 2009 : proceedings. : Sep 2009, Bochum, Germany. (Lecture Notes in Computer Science ; 5719)

SDL 2009: design for motes and mobiles : 14th international SDL forum : Bochum, Germany, September 22-24, 2009 : proceedings. : Sep 2009, Bochum, Germany. (Lecture Notes in Computer Science ; 5719)
Paper図書
Springerc2009.<M17-10-1642>
National Diet Library
  • Author Heading...ilgic, Attila. Gotzhein, Reinhard. SDL Forum (14th : 2009 : Boc...

System analysis and modeling : language profiles : 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006 : revised selected papers

System analysis and modeling : language profiles : 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006 : revised selected papers
Paper図書
Reinhard Gotzhein, Rick Reed (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingSAM Gotzhein, Reinhard Reed, Rick

Open distributed systems : on concepts, methods, and design from a logical point of view

Open distributed systems : on concepts, methods, and design from a logical point of view
Paper図書
Reinhard GotzheinViewegc1993
Other Libraries in Japan
  • Author HeadingGotzhein, Reinhard

Formal description techniques, IX : theory, application and tools : IFIP TC6

Formal description techniques, IX : theory, application and tools : IFIP TC6
Paper図書
6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October, 1996 / edited by Reinhard Gotzhein and Jan Brederekepublished by Chapman & Hall on behalf of the International Federation for Information Processing1996
Other Libraries in Japan
  • Author HeadingFORTE Gotzhein, Reinhard Bredereke, Jan International ...

Reached to the end of result.

RSS