| With Marek Sergot, he developed both the event calculus and the application of logic programming to legal reasoning. | С Мареком Серготом, разработал исчисление событий and the application of logic programming to legal reasoning. и применение логического программирования для юридических целей. |
| It offers 4 modes: scientific, financial, statistics and a number conversion mode called programming mode. | Он предлагает 4 режима: scientific (для выполнения научных расчётов), financial (для выполнения финансовых расчётов), statistics (для выполнения статистических расчётов) и режим конвертирования чисел, который называется programming mode. |
| Kenneth E. Iverson developed APL in the early 1960s, described in his 1962 book A Programming Language (ISBN 9780471430148). | Кеннет Е. Айверсон разработал язык APL в начале шестидесятых, документировав его в своей книге A Programming Language (ISBN 978-0-471-43014-8). |
| The PT4Load tool of Programming Taskbook provides fast creation of templates for tasks solving. | Входящий в состав задачника Programming Taskbook программный модуль PT4Load позволяет быстро создавать проекты-заготовки для выполнения требуемого задания. |
| In 2004 he wrote a book called "PHP 5 Power Programming" together with Stig Bakken and Derick Rethans. | В 2004 году он написал книгу под названием «PHP 5 Power Programming» совместно со Стигом Баккеном и Дериком Ретансом. |
| Microsoft Speech Application Programming Interface (Speech API, SAPI) free download.Speech API 4.0. | Скачать бесплатно Microsoft Speech Application Programming Interface (Speech API, SAPI) - пакет программ для распознавания и синтеза голоса.Speech API 4.0. |
| Gramps (formerly GRAMPS, an acronym for Genealogical Research and Analysis Management Programming System) is Free and open source genealogy software. | Gramps (ранее - акроним от англ. Genealogical Research and Analysis Management Programming System) - компьютерная программа для создания и управления генеалогическими базами данных. |
| Donaghy's full title at the start of the series is "Head of East Coast Television and Microwave Oven Programming." | В начале сериала полный титут Донаги звучит как «Руководитель телевещания восточного побережья и разработки программного обеспечения микроволновых печей» (англ. Head of East Coast Television and Microwave Oven Programming). |
| Hindawi Programming System - A set of variants of C, C++, lex, yacc, assembly, BASIC, Logo and Ada, in Bengali, Gujarati and Hindi. | Hindawi Programming System - индийский набор аналогов для C, C++, lex, yacc, ассемблера, BASIC, Лого, Ada и проч. для таких языков как хинди, гуджарати, ассамского языка, и бенгали (версия BangaBhasha). |
| Those who wants to learn more about features of Icon language can read the nice book of Ralph Griswold The Icon Programming Language. Ralph Griswold was author of Icon, he has gone in 2006. | Для желающих ознакомиться со всеми возможностями языка Icon ныне доступна электронная версия замечательной книги многоуважаемого Ральфа Грисволда The Icon Programming Language. |
| As discussed in AMD64 Architecture Programmer's Manual Vol 2 'System Programming', each cache line is in one of five states: Modified This cache has the only valid copy of the cache line, and has made changes to that copy. | Согласно документации AMD64 Architecture Programmer's Manual Vol 2 'System Programming', каждая линия кэша находится в одном из пяти состояний: Модифицирована (Modified) Кэш-линия в модифицированном состоянии содержит наиболее свежие, корректные данные. |
| GNAT Programming Studio (GPS, formerly known as the GNAT Programming System) is a free multi-language integrated development environment (IDE) by AdaCore. | GNAT Programming Studio (GPS, ранее известная как GNAT Programming System) - бесплатная интегрированная среда разработки для нескольких языков программирования от компании AdaCore. |
| Knowing that the current ECMAScript standard proposal promised future support for class-based programming, TypeScript was based on that proposal. | Зная, что только стандарт ECMAScript предлагает поддержку в будущем для программирования на базе классов (Class-based programming), TypeScript был основан на этом предположении. |
| League for Programming Freedom (LPF) was founded in 1989 by Richard Stallman to unite free software developers as well as developers of proprietary software to fight against software patents and the extension of the scope of copyright. | Лига за свободу программирования (англ. League for Programming Freedom, LPF) была основана в 1988 году Ричардом Столлманом для объединения разработчиков как свободного, так и проприетарного программного обеспечения с целью борьбы против патентов на ПО и расширения на него рамок авторских прав. |
| Pico is a programming language developed at the Software Languages Lab at Vrije Universiteit Brussel. | Alice - язык функционального программирования, разработанный в лаборатории Programming Systems Lab в Саарском университете. |
| Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. | Программирование наборов ответов (англ. Answer set programming, ASP) - это форма декларативного программирования, ориентированная на сложные (в основном NP-сложные) задачи поиска. |
| A first generation (programming) language (1GL) is a grouping of programming languages that are machine level languages used to program first-generation computers. | К первому поколению (англ. first-generation programming language, 1GL) относят машинные языки - языки программирования на уровне команд процессора конкретной машины. |
| Current developments try to integrate the visual programming approach with dataflow programming languages to either have immediate access to the program state, resulting in online debugging, or automatic program generation and documentation. | В современных разработках делаются попытки интегрировать подход визуального программирования с программированием потоков данных (англ. dataflow programming), чтобы иметь непосредственный доступ к состоянию программы для онлайновой отладки, или автоматизированная генерация и документирование программы. |
| Hindi Programming Language - A Hindi programming language for the.NET Framework. hForth - A Forth system with an optional Korean keyword set. | Hindi Programming Language - основанный на хинди язык программирования для.NET. hForth - Forth с вариантом набора ключевых слов на корейском языке. |
| The Microsoft Visual Programming Language is distinguished from other Microsoft programming languages such as Visual Basic and C#, as it is the only Microsoft language that is a true visual programming language. | Microsoft Visual Programming Language выделяется среди прочих языков программирования Microsoft, таких как например, Visual Basic и C#, тем, что он единственный является настоящим языком визуального программирования. |
| He is the author of An Operating Systems Vade Mecum, a textbook on operating systems, and Advanced Programming Language Design, an introductory book on programming paradigms. | Является автором сетевого энциклопедического словаря хакерского сленга «Jargon File», «An Operating Systems Vade Mecum», книги об операционных системах, а также «Advanced Programming Language Design», вводной книги о парадигмах программирования. |
| In 1982, he wrote an article, Epigrams on Programming, for Association for Computing Machinery's (ACM) SIGPLAN journal, describing in one-sentence distillations many of the things he had learned about programming over his career. | В 1982 году Алан Перлис написал статью «Эпиграммы о программировании» («Epigrams on Programming») для журнала ACM SIGPLAN, описывая по одному предложению сущность многих вещей, которые он изучил о программировании за свою карьеру. |
| Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features. | Теория языков программирования (англ. programming language theory, PLT) - раздел информатики, посвящённый вопросам проектирования, анализа, определения характеристик и классификации языков программирования и изучением их индивидуальных особенностей. |
| This tool is implemented as the PT4Load.exe utility, which is available from the Programming Taskbook menu "Start | Programs | Programming Taskbook 4". | Этот модуль оформлен в виде отдельной программы-утилиты PT4Load.exe, которую можно вызвать из меню задачника «Пуск | Программы | Programming Taskbook 4». |
| The PT4Results tool is implemented as the PT4Res.exe utility, which is available from the Programming Taskbook menu "Start | Programs | Programming Taskbook 4". | Модуль PT4Results оформлен в виде отдельной программы-утилиты PT4Res.exe, которую можно вызвать из меню задачника «Пуск | Программы | Programming Taskbook 4». Заметим, что в любом рабочем каталоге задачника создается ярлык Results.lnk, обеспечивающий запуск программы PT4Res.exe. |