Jump to main content

yr 〜
yr

Search results 6

Relations and Kleene algebra in computer science : 10th international conference on relational methods in computer science and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008 : Frauenworth, Germany, April 7-11, 2008 : proceedings. : 10th international seminar on relational methods in computer science (RelMiCS 10) : 5th international workshop on applications of Kleene algebra (AKA 5) : Apr 2008, ------. (Lecture Notes in Computer Science ; 4988)

Relations and Kleene algebra in computer science : 10th international conference on relational methods in computer science and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008 : Frauenworth, Germany, April 7-11, 2008 : proceedings. : 10th international seminar on relational methods in computer science (RelMiCS 10) : 5th international workshop on applications of Kleene algebra (AKA 5) : Apr 2008, ------. (Lecture Notes in Computer Science ; 4988)
Paper図書
Springerc2008.<M17-08-1262>
National Diet Library
  • Author Heading...udolf) , 1952- Möller, Bernhard, 1953- Struth, Georg. International ...

Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings. : Jul 2002, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 2386)

Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings. : Jul 2002, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 2386)
Paper図書
Springer2002.<M17-03-93>
National Diet Library
  • Author HeadingBoiten, Eerke, 1966- Moller, Bernhard, 1953- MPC 2002 (2002 : Dagstuhl Cas...

Relational and Kleene-algebraic methods in computer science : 7th international seminar on relational methods in computer science and 2nd international workshop on applications of Kleene algebra : Bad Malente, Germany, May 12-17, 2003 : revised selected papers. : RelMiCS 7 : May 2003, Bad Malente, Germany. (Lecture Notes in Computer Science ; 3051)

Relational and Kleene-algebraic methods in computer science : 7th international seminar on relational methods in computer science and 2nd international workshop on applications of Kleene algebra : Bad Malente, Germany, May 12-17, 2003 : revised selected papers. : RelMiCS 7 : May 2003, Bad Malente, Germany. (Lecture Notes in Computer Science ; 3051)
Paper図書
Springerc2004.<M17-04-3132>
National Diet Library
  • Author Heading...udolf) , 1952- Möller, Bernhard, 1953- Struth, Georg. International ...

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller, ed. (Lecture notes in computer science)

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller, ed. (Lecture notes in computer science)
Paper図書
Springerc1995.<M15-A9763>
National Diet Library
  • Author Heading...rsee, Germany) Möller, Bernhard, 1953-

Formal program development : IFIP TC2/WG 2.1 state-of-the-art report / Bernhard Möller, Helmut Partsch, Steve Schuman, (eds.). (Lecture notes in computer science)

Formal program development : IFIP TC2/WG 2.1 state-of-the-art report / Bernhard Möller, Helmut Partsch, Steve Schuman, (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M159-A146>
National Diet Library
  • Author HeadingMöller, Bernhard, 1953- Partsch, Helmut A., 1950- Sch...

分析的授業モデル

分析的授業モデル
PaperDigital図書障害者向け資料あり
ベルンハルト・メラー 著, 三枝孝弘, 潮木守一, 多田俊文 訳明治図書出版1971<FC51-103>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author HeadingMöller, Bernhard, 1953- 三枝, 孝弘, 1926- 潮木, 守一, 1934- 多...

Reached to the end of result.

RSS