Electronic Documents Search

Documents found: 47

  • 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 Доступ по паролю из сети Интернет (чтение, печать)
  • Алгоритмы и структуры данных. Новая версия для Оберона + CD

    Creators Вирт Никлаус
    Other creators Ткачев Ф. В.
    Imprint Москва: ДМК Пресс, 2010
    Electronic publication Санкт-Петербург, 2021
    Collection Электронные книги отечественных издательств; Общая коллекция
    Subjects Программирования языки
    UDC 004.438
    Document type Other
    File type PDF
    Language Russian
    Speciality code (FGOS) 02.00.00
    Speciality group (FGOS) 020000 - Компьютерные и информационные науки
    DOI 10.18720/SPBPU/2/ek21-19
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • LISP 1.5 programmer's manual. — Second edition

    Creators McCarthy John; Abrahams Paul W.; Edwards Daniel J.; Hart Timothy P.; Levin Michael I.
    Organization IEEE Xplore (Online Service); Massachusetts Institute of Technology
    Imprint Cambridge, Massachusetts London, England: MIT Press, 1985
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Вычислительные машины электронные персональные — Программирование; Программирования языки; MIT Press eBooks Library
    UDC 004.42; 004.438
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • Learning mathematics and Logo

    Other creators Hoyles Celia; Noss Richard
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge, Massachusetts London, England: MIT Press, 1992
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Математика; Программирования языки; MIT Press eBooks Library
    UDC 51; 004.438
    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 Доступ по паролю из сети Интернет (чтение, печать)
  • STRESS. A user's manual: a problem-oriented language for structural engineering

    Creators Biggs John M.; Logcher Robert D.; Mauch Samuel P.; Reinschmidt Kenneth P.
    Organization IEEE Xplore (Online Service); MIT Press
    Imprint Cambridge: MIT Press, 1964
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects STRESS (Computer program language); Electronic data processing; Structural analysis (Engineering); Программирования языки; MIT Press eBooks Library
    UDC 004.438
    Document type Other
    File type Other
    Language English
    Rights Доступ по паролю из сети Интернет (чтение, печать)
  • Modern C++ for absolute beginners: a friendly introduction to C++ programming language and C++11 to C++20 standards

    Creators Dmitrović Slobodan
    Imprint Berkeley: Apress, 2020
    Collection Электронные книги зарубежных издательств; Общая коллекция
    Subjects Программирования языки; C++, язык программирования
    UDC 004.438
    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

...