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

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

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

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

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

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

    Kurz A. Coalgebras and modal logic for parameterised endofunctors / A.Kurz,D.Pattinson, 2000. - 19 p. - Текст : непосредственный.

    Report: Software engineering / Centrum voor wiskunde en informatica(Amsterdam). SEN-R0222 : Coalgebraic modal logic of finite rank / A.Kurz,D.Pattenson, 2002. - 23 p. - Текст : непосредственный.

    Report: Software engineering / Centrum voor wiskunde en informatica(Amsterdam). SEN-R0223 : Observational logic, constructor-based logic, and their duality / M.Bidoit,R.Hennicker,A.Kurz, 2002. - 33 p. - Текст : непосредственный.

    Kurz A. Stillegung und Beseitigung nuklearer Anlagen:Normative und genehmigungsrechtliche Bestandsaufnahme:Teilstudie im Rahmen des Projektes "Stillegung und Beseitigung nuklearer Anlagen" / A.Kurz;Materialsammlung von W.Hendrik Junker, 1992. - VII,155 S. S. - Текст : непосредственный.

    Algebra and coalgebra in computer science : third International conference, CALCO 2009, Udine, Italy, Sept. 7-10, 2009: proceedings / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.

    Kurz A. Juristische Aspekte der Offentlichkeitsbeteiligung bei der Genehmigung und Planung umweltrelevanter Grossvorhaben / A.Kurz, 1992. - VIII, 53 S. 53 S. - Текст : непосредственный.

    Kurz A. Deregulierung bei der Stillegung und Beseitigung nuklearer Anlagen : Rechtliche Rahmenbedingungen und kerntechnisches Regelwerk / A.Kurz,G.Baumgartel, 1994. - 44 S. - Текст : непосредственный.