Subject | Russian | English |
progr. | Временной автомат представляет собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения | A timed automaton is a finite automaton augmented with a finite set of real-valued clocks (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
Makarov., progr. | его книга представляет собой набор шаблонов, описывающих объектноориентированные микроархитектуры | his book is a collection of patterns describing object-oriented microarchitectures |
progr. | представлять собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения | to be a finite automaton augmented with a finite set of real-valued clocks (ssn) |
progr. | представлять собой набор | be a collection (ssn) |
media. | протокол из набора TCP/IP, предназначенный для передачи IP-пакетов по коммутируемым и выделенным телефонным каналам, представляет собой основное средство установления соединений в TCP/IP и IP-сетях, также может работать с протоколом IPX и имеет встроенные механизмы защиты, обеспечивает соединения «хост-сеть» и «маршрутизатор-маршрутизатор» по синхронным и асинхронным каналам | point-to-point protocol |
phys. | твёрдое тело, дифракционная картина которого представляет собой набор резких пятен | any solid having an essentially discrete diffraction diagram (новое определение кристалла nkj.ru MichaelBurov) |
Makarov. | текст представляет собой своего рода набор отдельных фрагментов | the text is a kind of patchwork of snippets |
Makarov. | термостат представляет собой набор гармонических осцилляторов вплоть до 20 | the bath is a set of up to 20 harmonic oscillators |
Makarov. | термостат представляет собой набор гармонических осцилляторов вплоть до 20 | bath is a set of up to 20 harmonic oscillators |
progr. | эта книга представляет собой набор шаблонов, описывающих объектно-ориентированные микроархитектуры | this book is a collection of patterns describing object-oriented micro-architectures |
progr. | эта книга представляет собой набор шаблонов, описывающих объектноориентированные микроархитектуры | his book is a collection of patterns describing object-oriented microarchitectures |