yr 〜
yr

Search results 9

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever / Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.). (Lecture notes in computer science ; 5930 ; Festschrift)

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever / Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.). (Lecture notes in computer science ; 5930 ; Festschrift)
Paper図書
Springerc2010.<M154-B107>
National Diet Library
  • Author HeadingDams, Dennis. Roever, W. P. de (Willem Paul) Hannemann, Ulrich. Steffen, Martin.

Fundamentals of computation theory : 18th international symposium, FCT 2011 : Oslo, Norway, August 22-25, 2011 : proceedings : 18th international symposium on fundamentals of computer theory : FCT event : Aug 2011, Oslo, Norway. (Lecture Notes in Computer Science ; 6914)

Fundamentals of computation theory : 18th international symposium, FCT 2011 : Oslo, Norway, August 22-25, 2011 : proceedings : 18th international symposium on fundamentals of computer theory : FCT event : Aug 2011, Oslo, Norway. (Lecture Notes in Computer Science ; 6914)
Paper図書
Springerc2011.<M17-12-444>
National Diet Library
  • Author Heading...ay) Owe, Olaf. Steffen, Martin. Telle, Jan Arne. Universitet...

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever
Paper図書
Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.)Springerc2010
Other Libraries in Japan
  • Author HeadingDams, Dennis Hannemann, Ulrich Steffen, Martin

Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings

Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
Paper図書
Martin Steffen, Gianluigi Zavattaro (eds.)Springerc2005
Other Libraries in Japan
  • Author Heading...ibuted Systems Steffen, Martin Zavattaro, Gianluigi

Dictionnaire paradoxal de la philosophie : penser la contradiction Nouv. éd. rev. et augm

Dictionnaire paradoxal de la philosophie : penser la contradiction Nouv. éd. rev. et augm
Paper図書
sous la direction de Pierre Dulau, Guillaume Morano, Martin SteffensÉditions du Cerfc2022
Other Libraries in Japan

Faire face : le visage et la crise sanitaire

Faire face : le visage et la crise sanitaire
Paper図書
Martin Steffens, Pierre Dulau ; postface de Giorgio AgambenPremière Partiec2021
Other Libraries in Japan

Karl Friedrich Schinkel, 1781-1841 : an architect in the service of beauty

Karl Friedrich Schinkel, 1781-1841 : an architect in the service of beauty
Paper図書
Martin Steffens ; [edited by Peter Gössel]Taschenc2016
Other Libraries in Japan

K.F. Schinkel : 1781-1841 : an architect in the service of beauty

K.F. Schinkel : 1781-1841 : an architect in the service of beauty
Paper図書
Martin SteffensTaschen2003
Other Libraries in Japan

Touching soap films

Touching soap films
Recording Media映像資料
Andreas Arnez, Konrad Polthier, Martin Steffens, Christian TeitzelSpringer1999
Other Libraries in Japan

Reached to the end of result.