ALT Linux

Results: 22



#Item
1Software / Frama-C / Formal methods / Predicate transformer semantics / Alt-Ergo / Linux kernel

WP 1.0 WP Plug-in Manual Version 1.0 for Frama-C Aluminium Patrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2016-06-01 04:33:34
2

Установка ОМС-клиента на ALT Linux 4.1 Настройка системы обновления Для своей работы ОМС-клиент требует дополнительного прог

Add to Reading List

Source URL: 194.226.214.68

Language: Russian - Date: 2011-04-05 07:38:25
    3Windows Server / Windows NT / Windows XP / Windows / Server / Linux distribution / Hyper-V / ALT Linux / Microsoft Windows / System software / Software

    MigratoryData Server Installation Guide Version 5.0 July 2, 2014 Copyright Information

    Add to Reading List

    Source URL: migratorydata.com

    Language: English - Date: 2014-07-02 10:03:05
    4

    Разработка и внедрение программной платформы ALT Linux 6.0 в медицинских учреждениях России. . Алексей Новодворский, ALT Li

    Add to Reading List

    Source URL: www.pcweek.ru

    Language: Russian - Date: 2015-03-11 14:34:53
      5Human–computer interaction / Shift key / Ne / Computer keyboard / User interface techniques / Control-Alt-Delete / Unicode input / Software / Computing / Control key

      Firefox Keyboard and Mouse Shortcuts Here is a list of Firefox keyboard and mouse shortcuts for each of the three major operating systems organized by topic. Browser Management Windows Mac OS X Linux

      Add to Reading List

      Source URL: www.accessfirefox.org

      Language: English - Date: 2008-08-06 19:35:51
      6

      АНО «Институт логики, когнитологии и развития личности» ALT Linux Одиннадцатая конференция разработчиков свободных програ

      Add to Reading List

      Source URL: www.altlinux.ru

      Language: Russian - Date: 2014-09-19 06:19:26
        7Software metrics / COCOMO / Software project management / Source lines of code / Software licenses / Barry Boehm / Linux kernel / GStreamer / Debian / Software / Computing / Cross-platform software

        Mobile Open Source Economic Analysis LiMo Foundation White Paper August 2009

        Add to Reading List

        Source URL: archive.alt.ac.uk

        Language: English - Date: 2009-09-13 12:15:00
        8RSBAC / Computing platforms / Linux kernel / Kernel / ALT Linux / Linux / Linux Security Modules / Software / Computer architecture / Computing

        Rule Set Based Access Control (RSBAC) Linux Kernel Security Extension Short Overview for OpenWeekend 2002 in Prague Amon Ott

        Add to Reading List

        Source URL: www.rsbac.org

        Language: English - Date: 2006-05-02 09:37:01
        9RSBAC / Linux kernel / Kernel / ALT Linux / Linux / Software / Computer architecture / System software

        Amon Ott Rule Set Based Access Control (RSBAC) 2 Architecture and Implementation of the Framework 2.1 Subjects, Objects and Requests

        Add to Reading List

        Source URL: www.rsbac.org

        Language: English - Date: 2006-05-02 09:37:02
        10Freedesktop.org / X servers / Gentoo Linux / X Window System / Linux / Debian / X11.app / Gentoo/Alt / Daniel Robbins / Software / Computing / Cross-platform software

        Donald S. (Donnie) Berkholz, Ph.D. [removed] — [removed] — 612–991–1321 Rochester, MN[removed]Linux distribution expert & leader with deep expertise in Gentoo Linux, software packaging, and

        Add to Reading List

        Source URL: dev.gentoo.org

        Language: English - Date: 2011-09-26 21:20:26
        UPDATE