Авторизація
Прізвище
Пароль  
Увійти
 

Вид пошуку
 
Стандартний
Розширений
Професійний
Розподілений
За словником

Бази даних


Електронний каталог книг іноземними мовами - результати пошуку

Електронний каталог книг
Електронна картотека аналітичного опису статей
Зведений краєзнавчий каталог Чернігівщини
Електронна бібліотека
Електронний каталог відділу мистецтв (ноти, диски, грамплатівки)
Електронний каталог книг іноземними мовами
Друковані ЗМІ про нас
Зона пошуку
Знайдено у інших БД:Електронний каталог книг (525)Електронна картотека аналітичного опису статей (211)
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: (<.>K=програмування<.>)
Загальна кількість знайдених документів : 9
Показані документи с 1 за 9
1.
004.424
P 962

   
    Programming Parallel Processors [Text] / ed. R. G. Babb II. - Massachusetts ; New York : Addison Wesley Publishing Company, 1988. - 380 p. - Текст англ. - ISBN 0-201-11721-5 : Б. ц.
УДК
004.424
ББК 3
Рубрики: Комп'ютерні технології--Програмування


Дод.точки доступу:
Babb II, R. G. \ed.\
Примірників всього: 1
ВДІМ (1)
Вільні: ВДІМ (1)
Знайти схожі
2.
004
F 723

   
    Formal development of Programs and Proofs [Text] / ed. E. W. Dijkstra. - Massachusetts ; New York : Addison Wesley Publishing Company, 1990. - 242 p. - Текст англ. - ISBN 0-201-17237-2 : Б. ц.
УДК
004
ББК 3
Рубрики: Комп'ютерні технології--Програмування


Дод.точки доступу:
Dijkstra, E. W. \ed.\
Примірників всього: 1
ВДІМ (1)
Вільні: ВДІМ (1)
Знайти схожі
3.
004.42
F 535

    Fischer, Charles N..
    Crafting a compiler with C [Text] / C. N. Fischer, R. J. LeBlanc ; code A. D. Robbins. - California ; Massachusetts : The Benjamin/Cummings Publishing Company, Inc., 1991. - 812 p. - Текст англ. - ISBN 0-8053-2166-7 : Б. ц.
УДК
004.42
ББК 3
Рубрики: Комп'ютерні технології--Програмування


Дод.точки доступу:
LeBlanc, Richard J.; Robbins, A. D. \code.\
Примірників всього: 1
ВДІМ (1)
Вільні: ВДІМ (1)
Знайти схожі
4.
004
H 227

    Hammond, Robert H..
    Introduction to Fortran 77 and the personal computer [Text] / R. H. Hammond, W. B. Rogers, J. B. Crittenden ; ed. K. Pace. - New York ; St. Louis ; San Francisco : McGraw-Hill Book Company, 1987. - 413 p. - Текст англ. - ISBN 0-07-025912-7 : Б. ц.
УДК
004
ББК 3
Рубрики: Комп'ютерні технології--Програмування


Дод.точки доступу:
Rogers, William B.; Crittenden, John B.; Pace, K. \ed.\
Примірників всього: 1
ВДІМ (1)
Вільні: ВДІМ (1)
Знайти схожі
5.
004.42
D 489

   
    Developments in Concurrency and Communication [Text] / ed. C. A. R. Hoare. - Massachusetts ; New York : Addison Wesley Publishing Company, 1990. - 335 p. - Текст англ. - ISBN 0-201-17232-1 : Б. ц.
УДК
004.42
ББК 3
Рубрики: Комп'ютерні технології--Програмування


Дод.точки доступу:
Hoare, C. A. R. \ed.\
Примірників всього: 1
ВДІМ (1)
Вільні: ВДІМ (1)
Знайти схожі
6.
004
J 79

    Jones, William C..
    Data Structures using Modula-2 [Text] / W. C. Jones. - New York : John Wiley and Sons, Inc., 1988. - 609 p. - Текст англ. - ISBN 0-471-60497-6 : Б. ц.
УДК
004
ББК 3
Рубрики: Комп'ютерні технології--Програмування

Примірників всього: 1
ВДІМ (1)
Вільні: ВДІМ (1)
Знайти схожі
7.
004
M 282

    Manna, Zohar.
    The Logical basis for computer programming [Text] : deductive systems. Vol. 2 / Z. Manna, R. Waldinger. - Massachusetts ; New York : Addison Wesley Publishing Company, 1990. - 642 p. - Текст англ. - ISBN 0-201-18261-0 : Б. ц.
УДК
004
ББК 3
Рубрики: Комп'ютерні технології--Програмування


Дод.точки доступу:
Waldinger, Richard
Примірників всього: 1
ВДІМ (1)
Вільні: ВДІМ (1)
Знайти схожі
8.
004
R 432

   
    Research Topics in Functional programming [Text] / ed. D. A. Turner. - Massachusetts ; New York : Addison Wesley Publishing Company, 1990. - 373 p. - Текст англ. - ISBN 0-201-17236-4 : Б. ц.
УДК
004
ББК 3
Рубрики: Комп'ютерні технології--Програмування


Дод.точки доступу:
Turner, D. A. \ed.\
Примірників всього: 1
ВДІМ (1)
Вільні: ВДІМ (1)
Знайти схожі
9.
004(038)
А 64

   
    Англо-українсько-російський словник з інформатики, програмування, обчислювальної техніки [Текст] / уклад. : А. Б. Бартків, О. Я. Гринчишин, Я. Т. Гринчишин. - Київ : Вища школа, 1995. - 444 с. - Текст англ., укр., рос. - Б. ц.
УДК
004(038)
ББК 32.81
Рубрики: Словники--Технічні науки--Інформатика--Обчислювальна техніка


Дод.точки доступу:
Бартків, А. Б. \уклад.\; Гринчишин, О. Я. \уклад.\; Гринчишин, Я. Т. \уклад.\
Примірників всього: 3
ВДІМ (3)
Вільні: ВДІМ (3)
Знайти схожі
 
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)