[Lecture Notes in Physics] Transport and Structure Volume 532-532 || Complex fluids under shear: Block copolymers
- 作者Müller, Stefan C.; Parisi, Jürgen; Zimmermann, Walter
- 文件大小1193.49KB
- 发表时间1999
- DOI10.1007/bfb0104228
- 页码214-230
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || Formal Development with ABELPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || The B-methodPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || Mathematical methods for digital systems developmentPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || A tutorial on the refinement calculusPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || The RAISE specification language a tutorialPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || The PROSPECTRA methodology and system: uniform transformational (meta-) developmentPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM'91 Formal Software Development Methods Volume 551 || CICS project report experiences and results from the use of Z in IBMPrehn, S.; Toetenel, W. J. · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || The B-methodPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || Formal Development with ABELPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || Mathematical methods for digital systems developmentPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || A tutorial on the refinement calculusPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || The RAISE specification language a tutorialPrehn, Søren; Toetenel, Hans · 1991
[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || The PROSPECTRA methodology and system: uniform transformational (meta-) developmentPrehn, Søren; Toetenel, Hans · 1991