Russian | English |
алгоритм символьной верификации моделей для LTL | LTL symbolic model checking algorithm (Linear Temporal Logic ssn) |
алгоритм символьной верификации моделей для CTL | CTL symbolic model checking algorithm (Computation Tree Logic ssn) |
Аналогичная ситуация возникает при выполнении операций с символьными операндами | this same sort of situation also occurs when performing operations on chars (ssn) |
Архитектура представления символьных данных | CDRA (сокр. от Character Data Representation Architecture ssn) |
Архитектура представления символьных данных | Character Data Representation Architecture (архитектура IBM, определяющая набор идентификаторов, ресурсов, служб и соглашений для достижения согласованного представления, обработки и передачи графических символьных данных в разнородных средах ssn) |
большая символьная строка | large character string (ssn) |
большая строка национального символьного набора переменной длины | large variable-length national character string (NCLOB ssn) |
большие символьные строки | large character strings (ssn) |
большой символьный объект для наборов национальных символов | national character large object (ssn) |
большой символьный объект для национальных символов | national character large object (ssn) |
большой символьный объект национальных символов | national character large object (ssn) |
группа символьных данных | bunch of character data (ssn) |
длина символьной строки ограничивается 16 символами | character strings are limited to16 characters (ssn) |
длинная символьная строка | long character string (ssn) |
длинные символьные объекты | large character objects (ssn) |
длинный символьный объект | character large object (ssn) |
длинный символьный объект | large character object (ssn) |
интегрированный пакет программ для обработки и представления текстовой и символьной информации | framework (ssn) |
категория символьных и двоичных типов данных | character and binary datatype category (ssn) |
категория символьных и двоичных типов данных | character and binary data-type category (ssn) |
категория символьных и двоичных типов данных | character and binary data type category (ssn) |
категория символьных типов данных | character datatype category (ssn) |
категория символьных типов данных | character data-type category (ssn) |
категория символьных типов данных | character data type category (ssn) |
категория типов данных символьных строк | character string datatype category (ssn) |
категория типов данных символьных строк | character string data-type category (ssn) |
категория типов данных символьных строк | character string data type category (ssn) |
ключевое слово C++, используемое для объявления объекта символьного типа | char (часто этот тип отождествляют с байтом, хотя это не всегда верно: символьный тип может быть и многобайтовым (вспомним Unicode)) |
конечный отрезок символьной строки | final section of a character string (ssn) |
константные символьные данные | char constant data (ssn) |
конфигурирование символьного файла | configuration of the symbol file (ssn) |
короткая символьная строка | short character string (ssn) |
логические и символьные литералы | boolean and character literals (ssn) |
массив символьных строк | an array of strings (Alex_Odeychuk) |
машина символьной обработки данных | symbol-manipulating machine (ssn) |
минимальная длина символьного типа | minimum length for the character type (минимальное количество символов в строке ssn) |
минимальная длина символьного типа | minimum length for character type (ssn) |
начальный отрезок символьной строки | starting section of a character string (ssn) |
обработка символьных строк | string handling (Alex_Odeychuk) |
объект символьной ссылки | symbolic link object (ssn) |
объявление о символьных данных | character data declaration (vikavikavika) |
ограничения символьных типов | limitations with character types (ssn) |
операции с символьными операндами | operations on chars (ssn) |
операция над символьными строками | string operation (Alex_Odeychuk) |
отрезок символьной строки | section of a character string (ssn) |
Переменные выбранного объекта передаются в символьный файл | the variables of the chosen object are issued in the symbol file |
превращение в символьный литерал | charizing (Nrml Kss) |
представление символьных данных | character data representation (ssn) |
представление символьных данных | character storage (ssn) |
преобразование числового типа данных в символьный тип | converting a numeric data type to a character type (ssn) |
присваивать символьное обозначение | presymbolize (Similarly, the I/O variables defined and presymbolized in the DTMs can be used directly in the application | Подобно этому, переменные, определенные и получившие символьные обозначения в DTM, могут использоваться непосредственно в приложении to_work) |
программа с символьным интерфейсом | character-based program (ssn) |
реализация символьных строк | implementation of character string types (ssn) |
редактор символьной конфигурации | symbol configuration editor (ssn) |
с символьной организацией | character organised (ssn) |
с символьной организацией | characterorganized (ssn) |
с символьной организацией | characterorganised (ssn) |
символьная абстракция | symbolic abstraction (ssn) |
символьная адресация | symbolic addressing (т.ж. символическая адресация; адресация памяти, использующая символьные обозначения (а не цифровой адрес). Может быть прямой и косвенной. Ассемблеры для процессоров типа Itanium не поддерживают прямую символьную адресацию ssn) |
символьная алгебра | symbolic algebra (ssn) |
символьная верификация моделей | symbolic model checking (ssn) |
символьная верификация моделей для LTL | LTL symbolic model checking (Linear Temporal Logic ssn) |
символьная верификация моделей для CTL | CTL symbolic model checking (Computation Tree Logic ssn) |
символьная информация | symbol information (ssn) |
символьная кодировка | character encoding (ssn) |
символьная комбинация | character combination (ssn) |
символьная константа | symbolic constant (в программировании – константа, представляющая собой строку символов. Syn: string constant, character constant ssn) |
символьная константа в Unicode | wide character constant (ssn) |
символьная константа в Unicode | wide-character constant (ssn) |
символьная константа в многобайтовой кодировке Unicode | wide character constant (ssn) |
символьная константа в многобайтовой кодировке Unicode | wide-character constant (ssn) |
символьная константа в расширенном 16-битном алфавите | wide character constant (в многобайтовой кодировке Unicode ssn) |
символьная константа в расширенном 16-битном алфавите | wide-character constant (ssn) |
символьная конфигурация | symbol configuration (ssn) |
символьная логика | symbolic logic (ssn) |
символьная маска | character mask (ssn) |
символьная модель | symbolic model (ssn) |
символьная отладка | symbolic debugging (в отличие от отладки в машинных адресах ssn) |
символьная синхронизация | symbol synchronization (ssn) |
символьная ссылка | symbolic reference (ssn) |
символьная строка | character string (в кн.: Шилдт Г. Java 8. Полное руководство. – 9-е изд. – М.: Вильямс, 2015. – 1376 с.) |
символьная строка | string (Alex_Odeychuk) |
символьная строка | character string |
символьная строка: агрегат, который состоит из упорядоченной последовательности символов | character string: aggregate that consists of an ordered sequence of characters (см. IEC 61131-3 ssn) |
символьная строковая константа | character string constant (ssn) |
символьно-ориентированный | character oriented (ssn) |
символьно-ориентированный | character based (ssn) |
символьно-ориентированный | character-oriented (ssn) |
символьно-строковый литерал | character string literal (литерал, прямо представляющий значение символа или строки символов типов данных CHAR, WCHAR, STRING или WSTRING ssn) |
символьное выполнение | symbolic execution (zukka) |
символьное выражение | sexp (сокр. от "symbolic expression" Alex_Odeychuk) |
символьное выражение | S-expression (сокр. от "symbolic expression" Alex_Odeychuk) |
символьное выражение | sexpr (сокр. от "symbolic expression" Alex_Odeychuk) |
символьное выражение | symbolic expression (ssn) |
символьное дифференцирование | symbolic differentiation (ssn) |
символьное имя | symbolic name (ssn) |
символьное имя переменной | symbolic name of a variable (ssn) |
символьное имя переменной в прикладной программе | symbolic name of a variable in the application program (ssn) |
символьное описание | symbol entry (ssn) |
символьное представление | symbolic expression (ssn) |
символьное приложение | symbol application (ssn) |
символьное программирование | symbolic coding (ssn) |
символьные алгоритмы | symbolic algorithms (ssn) |
символьные выражения | symbolic expressions (ssn) |
символьные вычисления | computation with symbols (Alex_Odeychuk) |
символьные данные | symbolic data (ssn) |
символьные данные | character data (vleonilh) |
символьные данные в ХМL-формате | character data formatted as XML (ssn) |
символьные данные в ХМL-формате | character data formatted as extensible markup language (ssn) |
символьные данные переменной длины | variable-length character data (ssn) |
символьные данные фиксированной длины | fixed-length character data (ssn) |
символьные и алгебраические вычисления | symbolic and algebraic computing (ssn) |
символьные константы | symbolic constants (ssn) |
символьные константы | character constants (ssn) |
символьные литералы | literal characters (заключают в одинарные кавычки ssn) |
символьные литералы | character literals (ssn) |
символьные методы верификации моделей | symbolic model-checking techniques (ssn) |
символьные объекты | character objects (ssn) |
символьные операнды | chars (ssn) |
символьные описания | symbol entries (ssn) |
символьные описания переменных проекта | symbol entries for the project variables (ssn) |
символьные строки | character string types (ssn) |
символьные строковые литералы | character string literals (ssn) |
символьные типы | character types (ssn) |
символьные файлы | symbol files (ssn) |
символьный алгоритм | symbolic algorithm (ssn) |
символьный ввод-вывод | character input and output (ssn) |
символьный верификатор моделей | symbolic model verifier (сокр. SMV ssn) |
символьный дисплей | charactermapped display (ssn) |
символьный дисплей | character mapped display (ssn) |
символьный интерфейс | character interface (ssn) |
символьный интерфейс | character based interface (ssn) |
символьный литерал | literal character (ssn) |
символьный набор | character set (набор символов и кодировок ssn) |
символьный набор и порядок сопоставления литералов | a literal's character set and collation (ssn) |
символьный объект | character object (ssn) |
символьный операнд | char (ssn) |
символьный оператор | symbolic operator (ssn) |
символьный пользовательский интерфейс | character user interface (ssn) |
символьный принтер | character printer (ssn) |
символьный тип | character type (данных) |
символьный тип | character type |
символьный тип данных | character data-type (ssn) |
символьный тип данных | character datatype (ssn) |
символьный шрифт | symbol font (состоит целиком из символов, а не алфавитных знаков ssn) |
символьный экран | character based screen (ssn) |
символьный экран состояния | character based awareness screen (ssn) |
системные переменные и соответствующие им символьные константы | systems variables and their corresponding symbolic constants (ssn) |
соответствующее символьное имя | corresponding symbolic name (ssn) |
соответствующее символьное имя переменной в прикладной программе | corresponding symbolic name of a variable in the application program (ssn) |
список элементов, полученный из символьного файла | item list generated from a symbol file (ssn) |
средний отрезок символьной строки | central section of a character string (ssn) |
средний отрезок символьной строки | middle section of a character string (ssn) |
средняя часть символьной строки | central section of a character string (ssn) |
средняя часть символьной строки | middle section of a character string (ssn) |
средства обработки символьных строк | string-handling features (Alex_Odeychuk) |
средство символьной верификации моделей | symbolic model checker (Alex_Odeychuk) |
строка национального символьного набора переменной длины | variable-length national character string (ssn) |
строка национального символьного набора постоянной длины | fixed-length national character string (ssn) |
строка национального символьного набора фиксированной длины | fixed-length national character string (ssn) |
структура символьных данных | symbol structure (ssn) |
тип данных символьных строк | character string data-type (ssn) |
тип данных символьных строк | character string data type (ssn) |
тип данных символьных строк | character string datatype (ssn) |
транслятор для задач символьной обработки | symbolic translator (ssn) |
указатель на константные символьные данные | pointer to char constant data (ssn) |
указатель на символьную константу | pointer to a character constant (ssn) |
управляющая символьная константа | backslash character constant (ssn) |
управляющие символьные константы | backslash character constants (ssn) |
файл массового копирования в символьном формате | bulkcopy character format data file (ssn) |
файл массового копирования в символьном формате | bulkcopy character format datafile (ssn) |
файл массового копирования в символьном формате | bulk copy character format datafile (ssn) |
файл массового копирования в символьном формате | bulk copy character format data file (ssn) |
файл символьной ссылки | symbolic link file (ssn) |
хранение больших символьных строк | storing large character strings (ssn) |
хранилище символьной информации | symbol store (ssn) |
часть символьной строки | section of a character string (ssn) |