Electronic Documents Search

Documents found: 36

  • Computational thinking

    Creators Denning Peter J.; Tedre Matti
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge, Massachusetts London, England: MIT Press, 2019
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Computer algorithms — Popular works; Computer logic — Popular works; Electronic data processing — Popular works — Social aspects; Информатика; MIT Press eBooks Library
    UDC 004
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • Algorithmic program debugging

    Creators Shapiro Ehud Y.
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge, Massachusetts London, England: MIT Press, 2004
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Информатика; Вычислительные машины электронные персональные — Программы; MIT Press eBooks Library
    UDC 004.422.8
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • The configuration space method for kinematic design of mechanisms

    Creators Sacks Elisha; Joskowicz Leo
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge, Massachusetts London, England: MIT Press, 2010
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Кинематика; Машиностроение; Информатика; Робототехнические системы; конфигурационное пространство; MIT Press eBooks Library
    UDC 621; 004; 621.865.8
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • The AI business: the commercial uses of artificial intelligence

    Other creators Winston Patrick Henry; Prendergast Karen A.
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge, Massachusetts London, England: MIT Press, 1986
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Искусственный интеллект; Роботы; Информатика; MIT Press eBooks Library
    UDC 004.8; 621.865.8
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • Neural network learning and expert systems

    Creators Gallant Stephen I.
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge, Massachusetts London, England: MIT Press: A Bradford book, 1993
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Информатика; Нейронные сети; MIT Press eBooks Library
    UDC 004.032.26
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • The logic of knowledge bases

    Creators Levesque Hector J.; Lakemeyer Gerhard
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge, Massachusetts London, England: MIT Press, 2001
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Информации теория; Информатика; Математическая логика; MIT Press eBooks Library
    UDC 621.391; 004
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • Dynamic logic

    Creators Harel David; Kozen Dexter; Tiuryn Jerzy
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge, Massachusetts London, England: MIT Press, 2000
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Информатика; динамическая логика; MIT Press eBooks Library
    UDC 004; 510.643.5
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • Proof, language, and interaction: essays in honour of Robin Milner

    Other creators Plotkin Gordon; Stirling Colin P.; Tofte Mads
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge, Massachusetts London, England: MIT Press, 2000
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Программирования языки; Информатика; MIT Press eBooks Library
    UDC 004.438; 004
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • Materialized views: techniques, implementations, and applications

    Other creators Gupta Ashish; Mumick Inderpal Singh; Ullman Jeffrey
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge, Massachusetts London, England: MIT Press, 1999
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Базы данных; Информатика; MIT Press eBooks Library
    UDC 004.6
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • Electric words: dictionaries, computers, and meanings

    Creators Wilks Yorick; Slator Brian M.; Guthrie Louise M.
    Organization IEEE Xplore (Online Service); MIT Press; NetLibrary, Inc.
    Imprint Cambridge, Massachusetts London, England: MIT Press: A Bradford book, 1996
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Информатика; компьютерная лингвистика; лексикография; MIT Press eBooks Library
    UDC 004
    LBC 81.116
    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

...