A Method of Programming

A Method of Programming

Chi tiết về thư mục
Tác giả chính:	Dijkstra E. W. Edsger W.
Tác giả khác:	Fejen W. H. J.
Ngôn ngữ:	Tiếng Anh
Được phát hành:	England, Addison WesleyPublishng Company, 1988
Những chủ đề:	программирование методы программы математическая индукция
Định dạng:	Sách
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=220051

Những quyển sách tương tự

Теоретическая информатика. Доказательство правильности учеб. пособие
Bằng: Веретельникова Е. Л.
Được phát hành: (Новосибирск, НГТУ, 2016)

Parallel Program Design a Foundation
Bằng: Chandy K. M. K. Mani
Được phát hành: (New York, Addison-Wesley Publishing Company, 1989)

Ada Programming with Applications
Bằng: Vasilescu E. Eugen
Được phát hành: (London, Allyn and Bacon, 1986)

Programming parallel processors
Bằng: Robert G.
Được phát hành: (New York, Addison-Wesley Publishing Company, 1988)

Principles of Program Analysis: with 56 Figures and 51 Tables
Bằng: Nielson F.
Được phát hành: (Berlin, Springer-Verlag, 1999)

Programming in Pascal: communicating with computers
Bằng: Frates J. Jeffrey
Được phát hành: (New Jersey, Prentice Hall, 1986)

Numerical Methods for Engineers: With Programming and Software Applications
Bằng: Chapra S. C. Steven C.
Được phát hành: (USA, McGraw-Hill, 1998)

Индукция в геометрии
Bằng: Головина Л. И. Лидия Ивановна
Được phát hành: (Москва, Физматлит, 1961)

Индукция в геометрии
Bằng: Головина Л. И. Лидия Ивановна
Được phát hành: (Москва, Мир, 1979)

Программные и вычислительные системы: Методы и языки анализа; Системная информатика
Được phát hành: (1993)

The data exchange: Moving data between 1-2-3, dBase, and other popular programs
Bằng: Poor A. E. Alfred E.
Được phát hành: (USA, Dow Jones-Irwin Company, 1990)

Математический анализ: введение учебно-методическое пособие
Được phát hành: (Улан-Удэ, БГУ, 2019)

The 8086/8088 family: design, programming, and interfacing
Bằng: Uffenbeck J. John
Được phát hành: (New York, Prentice Hall, 1987)

Утверждения об отображениях подмножеств множеств натуральных чисел и их доказательства методом математической индукции; Перспективы развития фундаментальных наук
Bằng: Сахариянова А. М.
Được phát hành: (2012)

Расчёт размагничивающего фактора при продольном намагничивании в магнитопорошковой дефектоскопии; Известия Томского политехнического университета [Известия ТПУ]; Т. 321, № 2 : Математика и механика. Физика
Bằng: Лаптева К. А.
Được phát hành: (2012)

Inside HyperCard
Bằng: Kitza W. Wolfgang
Được phát hành: (Bonn, Addison-Wesley Publishing Company, 1988)

Programming the TI-55 slide rule calculator
Bằng: Shover S. L. Stephen L.
Được phát hành: (New Jersey, A Spectrum book, 1982)

Математические импровизации
Bằng: Кужель А. В. Александр Васильевич
Được phát hành: (Киев, Вища школа, 1983)

Дискретная математика учебно-методическое пособие для студентов физико-математического факультета
Bằng: Троякова Г. А.
Được phát hành: (Кызыл, ТувГУ, 2018)

Логическое программирование и моделирование систем: учебное пособие
Bằng: Новосельцев В. Б. Виталий Борисович
Được phát hành: (Томск, Изд-во ТПУ, 2008)

Integer Programming and Network Models
Bằng: Eiselt H. A.
Được phát hành: (Berlin, Springer-Verlag, 2000)

A Book on C. An introduction to programming in C
Bằng: Kelley A. Al
Được phát hành: (London, The Benjamin/Cummings Publishing Company, Inc, 1984)

Introduction to Computer Programming: textbook
Bằng: Cherdyntsev E. S. Evgeny Sergeevich
Được phát hành: (Tomsk, TPU Press, 2000)

Сб. 1. Математика. Метод, проблемы и значение её; Новые идеи в математике; Общее учение о математическом методе; Чистая математика и учение о протяженности; Новейшие работы о началах математики; Ценность и мнимая неценность математики
Được phát hành: (1913)

[Т. 1]: Предел. Непрерывность. Дифференцируемость; Сборник задач по математическому анализу
Được phát hành: (1984)

The Art of C Programming
Bằng: Jones R. Robin
Được phát hành: (New York, Springer-Verlag, 1987)

Программирование. Математические основы, средства, теория: учебное пособие
Bằng: Лавров С. С. Святослав Сергеевич
Được phát hành: (СПб., БХВ-Петербург, 2001)

Computational methods for the solution of engineering problems
Bằng: Brebbia C. A.
Được phát hành: (London, Pentech Press, 1978)

Повышение качества программ на основе автоматизированных методов
Bằng: Саркисян А. А. Анушаван Артаваздович
Được phát hành: (Москва, Радио и связь, 1991)

Logical Foundations of functional Programming
Được phát hành: (New York, Addison-Wesley Publishing Company, 1990)

Доказательство правильности программ: пер. с англ.
Bằng: Андерсон Р. Роберт
Được phát hành: (Москва, Мир, 1982)

Research Topics in Functional Programming
Bằng: Turner D. A. David
Được phát hành: (New York, Addison-Wesley, 1990)

Логическое программирование и моделирование систем: учебное пособие
Bằng: Новосельцев В. Б. Виталий Борисович
Được phát hành: (Томск, Изд-во ТПУ, 2008)

Turbo Pascal: Problem Solving and Program Design
Bằng: Koffman E. B. Elliot B.
Được phát hành: (New York, Addison-Wesley Publishing Company, 1987)

Компьютерный анализатор спектра магнитной индукции; Дефектоскопия; № 12
Bằng: Реутов Ю. Я.
Được phát hành: (2003)

Пакеты прикладных программ: опыт использования; сборник научных трудов
Được phát hành: (Москва, Наука, 1989)

Programming in the VBA environment Учебное пособие
Bằng: Габдрахманова К.Ф. Клара Фаткулиновна
Được phát hành: (Вологда, Инфра-Инженерия, 2024)

О теории множеств: пер. с пол.
Bằng: Серпинский В. Вацлав
Được phát hành: (Москва, Просвещение, 1966)

Электромагнитная индукция учебное пособие
Bằng: Нейман В. Ю.
Được phát hành: (Новосибирск, НГТУ, 2024)

Numerical and Analytical Methods with MATLAB for Electrical Engineers
Bằng: Bober W. William
Được phát hành: (New York, CRC Press, 2013)