Maibaum, Thomas S. E.

ID:DA02904422

別名

Maibaum, T. S. E.

同姓同名の著者を検索

検索結果8件中 1-8 を表示

  • Logic and algebraic methods

    edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay

    Clarendon Press , Oxford University Press 2000 Handbook of logic in computer science v. 5

    所蔵館46館

  • Semantic modelling

    edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. Abramsky

    Clarendon Press 1995 Handbook of logic in computer science v. 4

    所蔵館58館

  • Semantic structures

    edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. Abramsky

    Clarendon Press 1994 Handbook of logic in computer science v. 3

    所蔵館72館

  • Background : mathematical structures

    edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay

    Clarendon Press 1992 Handbook of logic in computer science v. 1

    所蔵館70館

  • Background : computational structures

    edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay

    Clarendon Press 1992 Handbook of logic in computer science v. 2

    所蔵館71館

  • Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD)

    S. Abramsky, T.S.E. Maibaum, (eds.)

    Springer-Verlag c1991 Lecture notes in computer science 494 . TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum (eds.) ; v. 2

    : gw , : us

    所蔵館55館

  • Colloquium on Trees in Algebra and Programming (CAAP '91)

    S. Abramsky, T.S.E. Maibaum, (eds.)

    Springer-Verlag c1991 Lecture notes in computer science 493 . TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum (eds.) ; v. 1

    : gw , : us

    所蔵館57館

  • Specification of computer programs

    Władysław M. Turski, Thomas S.E. Maibaum

    Addison-Wesley c1987 International computer science series

    所蔵館8館

この著者を外部サイトでさがす

ページトップへ