Электронный каталог

    страница из
    всего найдено записей: 10,
      отображать

    Programming language implementation and logic programming : материалы временных коллективов / Ed.: J. Maluszynski, M. Wirsing, 1991. - 433 p. - Текст : непосредственный.

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Bauer F.L. Elementare Aussagenlogik / F.L.Bauer,M.Wirsing, 1991. - X,228 p. p. - Текст : непосредственный.

    Trustworthly global computing : 5th international symposium, TGC 2010, Munich, Germany, February 24-26, 2010: revised selected papers / eds. M. Wirsing [et al.], 2010 r=on-line. - Текст : электронный.

    Software-intensive systems and new computing paradigms : challenges and visions / ed. M. Wirsing [et al.], 2008 r=on-line. - Текст : электронный.

    Poernomo I. Adapting proofs-as-programs : the curry-howard protocol / I. Poernomo, J. Crossley, M. Wirsing, 2005 r=on-line. - Текст : электронный.

    Algebraic, methods: theory, tools and applications : A workshop on algebraic..held on June 9-11, 1987 in Passau / сост.ed. M. Wirsing, сост.ed. J. A. Bergstra, 1989. - VI,558 p. p. - Текст : непосредственный.

    Methods of programming : Selected papers of the CIP-project / сост.ed. M. Broy, сост.ed. M. Wirsing, 1991. - XII,268 p. p. - Текст : непосредственный.