Filter
Foreword/postscript

Search results

  • 2020

    Preface

    Bauer, W., Duduchava, R., Grudsky, S. & Kaashoek, M. A., 2020, Operator Algebras, Toeplitz Operators and Related Topics. Bauer, W., Duduchava, R., Grudsky, S. & Kaashoek, M. A. (eds.). Birkhäuser, p. vii-vii 1 p. (Operator Theory : Advances and Applications; vol. 279).

    Research output: Chapter in Book / Report / Conference proceedingForeword/postscriptAcademic

  • Preface

    Bezem, M. & Mahboubi, A., 2020, 25th International Conference on Types for Proofs and Programs (TYPES 2019). Bezem, M. & Mahboubi, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. vii-vii 1 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 175).

    Research output: Chapter in Book / Report / Conference proceedingForeword/postscriptAcademic

  • 2019

    Preface

    Bolotnikov, V., Ter Horst, S., Ran, A. C. M. & Vinnikov, V., 2019, Interpolation and Realization Theory with Applications to Control Theory: In Honor of Joe Ball. Bolotnikov, V., ter Horst, S., Ran, A. C. M. & Vinnikov, V. (eds.). Springer, p. vii-vii 1 p. (Operator Theory: Advances and Applications; vol. 272).

    Research output: Chapter in Book / Report / Conference proceedingForeword/postscriptAcademic

  • Welcome from the chairs

    Mahboubi, A. & Myreen, M. O., 2019, CPP 2019 - The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 14-15 2019: [Proceedings]. ACM, p. III-III 1 p.

    Research output: Chapter in Book / Report / Conference proceedingForeword/postscriptAcademic

  • 2018

    Preface

    Bart, H., Ter Horst, S., Ran, A. C. M. & Woerdeman, H. J., 2018, Operator Theory, Advances and the State Space Approach: In Honor of Rien Kaashoek. Vol. 271. p. v-v 1 p. (Operator Theory: Advances and Applications; vol. 271).

    Research output: Chapter in Book / Report / Conference proceedingForeword/postscriptAcademic