A Method of Programming

A Method of Programming

Bibliographic Details
Main Author:	Dijkstra E. W. Edsger W.
Other Authors:	Fejen W. H. J.
Published:	England, Addison WesleyPublishng Company, 1988
Subjects:	программирование методы программы математическая индукция
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=220051

Similar Items

Теоретическая информатика. Доказательство правильности учеб. пособие
by: Веретельникова Е. Л.
Published: (Новосибирск, НГТУ, 2016)

Parallel Program Design a Foundation
by: Chandy K. M. K. Mani
Published: (New York, Addison-Wesley Publishing Company, 1989)

Ada Programming with Applications
by: Vasilescu E. Eugen
Published: (London, Allyn and Bacon, 1986)

Principles of Program Analysis with 56 Figures and 51 Tables
by: Nielson F.
Published: (Berlin, Springer-Verlag, 1999)

Windows TM Programming Secrets
by: Jamsa K. Kris
Published: (California, McGraw-Hill, 1987)

Programming in Pascal: communicating with computers
by: Frates J. Jeffrey
Published: (New Jersey, Prentice Hall, 1986)

Индукция в геометрии
by: Головина Л. И. Лидия Ивановна
Published: (Москва, Мир, 1979)

OS/2tm Programming An Introduction
by: Schildt H. Herbert
Published: (Berkeley, McGraw-Hill, 1988)

Математический анализ: введение учебно-методическое пособие
Published: (Улан-Удэ, БГУ, 2019)

Утверждения об отображениях подмножеств множеств натуральных чисел и их доказательства методом математической индукции
by: Сахариянова А. М.
Published: (2012)

The 8086/8088 family: design, programming, and interfacing
by: Uffenbeck J. John
Published: (New York, Prentice Hall, 1987)

Inside HyperCard
by: Kitza W. Wolfgang
Published: (Bonn, Addison-Wesley Publishing Company, 1988)

Расчёт размагничивающего фактора при продольном намагничивании в магнитопорошковой дефектоскопии
by: Лаптева К. А.
Published: (2012)

Synthesis of multi-loop automatic control systems by the nonlinear programming method
by: Voronin A. V. Aleksandr Vasilyevich
Published: (2017)

Assembley Language Programming under OS/2 ТМ
by: Murray III W. William
Published: (Berkeley, McGraw-Hill, 1989)

Дискретная математика учебно-методическое пособие для студентов физико-математического факультета
by: Троякова Г. А.
Published: (Кызыл, ТувГУ, 2018)

Математические импровизации
by: Кужель А. В. Александр Васильевич
Published: (Киев, Вища школа, 1983)

Логическое программирование и моделирование систем учебное пособие
by: Новосельцев В. Б. Виталий Борисович
Published: (Томск, Изд-во ТПУ, 2008)

Programming the TI-55 slide rule calculator
by: Shover S. L. Stephen L.
Published: (New Jersey, A Spectrum book, 1982)

Integer Programming and Network Models
by: Eiselt H. A.
Published: (Berlin, Springer-Verlag, 2000)

Сб. 1. Математика. Метод, проблемы и значение её
Published: (1913)

A Book on C. An introduction to programming in C
by: Kelley A. Al
Published: (London, The Benjamin/Cummings Publishing Company, Inc, 1984)

The Art of C Programming
by: Jones R. Robin
Published: (New York, Springer-Verlag, 1987)

Computational methods for the solution of engineering problems
by: Brebbia C. A.
Published: (London, Pentech Press, 1978)

Design and Implementation of a Joint Training Program for Chemical Industry Fellows
Published: (2021)

Доказательство правильности программ пер. с англ.
by: Андерсон Р. Роберт
Published: (Москва, Мир, 1982)

Analyzing embedded device programming specifications in critical systems to design programming guidelines
by: Korolyuk E. S. Evgeny Sergeevich
Published: (2016)

Компьютерный анализатор спектра магнитной индукции
by: Реутов Ю. Я.
Published: (2003)

Logical Foundations of functional Programming
Published: (New York, Addison-Wesley Publishing Company, 1990)

Логическое программирование и моделирование систем учебное пособие электронный ресурс
by: Новосельцев В. Б. Виталий Борисович
Published: (Томск, Изд-во ТПУ, 2008)

Research Topics in Functional Programming
by: Turner D. A. David
Published: (New York, Addison-Wesley, 1990)

Целочисленные методы оптимизации и связанные с ними экстремальные проблемы
by: Саати Т. Л. Томас Л.
Published: (Москва, Мир, 1973)

Numerical and Analytical Methods with MATLAB for Electrical Engineers
by: Bober W. William
Published: (New York, CRC Press, 2013)

Последовательное обучение систем диагностики
by: Кузнецов П. И. Петр Иванович
Published: (Москва, Энергоатомиздат, 1987)

Пакеты прикладных программ опыт использования сборник научных трудов
Published: (Москва, Наука, 1989)

Creating data-base program for applicants "Microsoft office access"
by: Ivanova E. O.
Published: (2011)

О теории множеств пер. с пол.
by: Серпинский В. Вацлав
Published: (Москва, Просвещение, 1966)

Programming in the VBA environment Учебное пособие
by: Габдрахманова К.Ф. Клара Фаткулиновна
Published: (Вологда, Инфра-Инженерия, 2024)

Машинное распознавание и линейное программирование
by: Головкин Б. А. Борис Аркадьевич
Published: (Москва, Советское радио, 1973)

Program for checking the uniqueness of the contents of a document "Offline antiplagiat"
by: Tsapko I. V. Irina Valerievna
Published: (2022)