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

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

    Computer science logic : материалы временных коллективов / Ed. E. Borger, 1991. - VIII,399 p. p. - Текст : непосредственный.

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

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

    Computer science logic : 7th workshop,CSL'93,Swansea,United Kingdom,Sept.13-17 1993:Sel.papers / CSL'93, 1994. - VIII,336 p. p. - Текст : непосредственный.

    Advances in software engineering : lipari summer school 2007, Lipari Island, Italy, July 8-21, 2007: revised tutorial lectures / ed. E. Borger, 2008 r=on-line. - Текст : электронный.

    Abstract state machines, B and Z : first International conference, ABZ 2008, London, UK, September 16-18, 2008: proceedings / ed. E. Borger, 2008 r=on-line. - Текст : электронный.

    Borger E. Computability, complexity, logic / E.B@:orger, 1989. - XX, 592 p. 592 p. - Текст : непосредственный.

    CSL'88 : 2nd workshop on computer science logic, Duisburg, Oct.3-7, 1988Proc. / сост.ed. E. Borger, 1989. - VI,399 p. p. - Текст : непосредственный.

    CSL'89 : 3 workshop on computer science logic, Oct.1989, KaiserslauternProc. / сост.ed. E. Borger, 1990. - 437 p. - Текст : непосредственный.