Electronic Documents Search

Documents found: 8 616

  • From logic to logic programming

    Creators Doets Kees
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge, Massachusetts London, England: MIT Press, 1994
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Вычислительные машины электронные персональные — Программирование; MIT Press eBooks Library
    UDC 004.42
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • Data-parallel programming on MIMD computers

    Creators Hatcher Philip J.; Quinn Michael J.
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge, Massachusetts London, England: MIT Press, 1991
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Вычислительные машины электронные персональные — Программирование; Си (C); MIT Press eBooks Library
    UDC 004.42; 004.438
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • Basic category theory for computer scientists

    Creators Pierce Benjamin C.
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge, Massachusetts London, England: MIT Press, 1991
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Математика; Информатика; MIT Press eBooks Library
    UDC 51; 004
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • Constraint-based reasoning

    Other creators Freuder Eugene C.; Mackworth Alan K.
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge, Massachusetts London, England: MIT Press: A Bradford book, 1994
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Искусственный интеллект; рассуждения; MIT Press eBooks Library
    UDC 004.8
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • Algebraic semantics of imperative programs

    Creators Goguen Joseph; Malcolm Grant
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge, Massachusetts London, England: MIT Press, 1996
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Программирования языки; Алгебра; MIT Press eBooks Library
    UDC 512; 004.438
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • Numerica: a modeling language for global optimization

    Creators Van Hentenryck Pascal; Michel Laurent; Deville Yves
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge, Massachusetts London, England: MIT Press, 1997
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Нелинейное программирование; Компьютерное моделирование; математическая оптимизация; Numerica; MIT Press eBooks Library
    UDC 519.853; 004.94
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • The LOCUS distributed system architecture

    Other creators Popek Gerald J.; Walker Bruce J.
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge, Massachusetts London, England: MIT Press, 2003
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Вычислительные машины электронные персональные — Операционные системы; MIT Press eBooks Library
    UDC 004.451
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • Quantum computing without magic: devices

    Creators Meglicki Zdzislaw
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge, Massachusetts London, England: MIT Press, 2008
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Квантовая теория информации; MIT Press eBooks Library
    UDC 530.145:621.391
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • PVM: parallel virtual machine: a users' guide and tutorial for networked parallel computing. — Fifth printing

    Creators Geist Al; Beguelin Adam; Dongarra Jack; Jiang Weicheng; Manchek Robert; Sunderam Vaidyalingam S.
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge, Massachusetts London, England: MIT Press, 2000
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Информационные сети; Вычислительные машины электронные персональные — Программирование; параллельные компьютеры; MIT Press eBooks Library
    UDC 004.7; 004.42
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • Scalable input/output: achieving system balance

    Other creators Reed Daniel A.
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge, Massachusetts London, England: MIT Press, 2004
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Вычислительные машины электронные — Ввод и вывод информации; Базы данных; MIT Press eBooks Library
    UDC 004.6; 004.35
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)

Creators

...

Scientific adviser

...

Publication year

...

Digital publication year

...

Publisher

...

Collection

...

Subjects

...

Document type

...

Language

...

Access

...

Level of education

...

Speciality code (FGOS)

...

Speciality code (OKSO)

...

Speciality code (OKSVNK)

...

Speciality group (FGOS)

...

Speciality group (OKSO)

...

Speciality group (OKSVNK)

...

Journal/newspaper

...