Электронный каталог


 

База данных: Электронная библиотека

Страница 1, Результатов: 54

Отмеченные записи: 0

32.81
C55

Chomsky, N.
    Three models for the description of language [Электронный ресурс] / N. Chomsky. - [S. l.] : Cambridge, S. a. - Б. ц.

ББК 32.81

Рубрики: ТЕХНИКА

   КИБЕРНЕТИКА


Кл.слова (ненормированные):
abstract -- introduction -- derived transformation

Chomsky, N. Three models for the description of language [Электронный ресурс] / N. Chomsky

1.

Chomsky, N. Three models for the description of language [Электронный ресурс] / N. Chomsky


32.81
C55

Chomsky, N.
    Three models for the description of language [Электронный ресурс] / N. Chomsky. - [S. l.] : Cambridge, S. a. - Б. ц.

ББК 32.81

Рубрики: ТЕХНИКА

   КИБЕРНЕТИКА


Кл.слова (ненормированные):
abstract -- introduction -- derived transformation

32.81
E77

Esik, Z.
    Recent advances in formal languages and applications [Электронный ресурс] / Z. Esik. - [S. l. : s. n.]. - Б. ц.

ББК 32.81

Рубрики: ТЕХНИКА

   КИБЕРНЕТИКА


Кл.слова (ненормированные):
basic notation -- text searching -- combinatorial complexity -- modecular computation -- pestarting automata

Esik, Z. Recent advances in formal languages and applications [Электронный ресурс] / Z. Esik

2.

Esik, Z. Recent advances in formal languages and applications [Электронный ресурс] / Z. Esik


32.81
E77

Esik, Z.
    Recent advances in formal languages and applications [Электронный ресурс] / Z. Esik. - [S. l. : s. n.]. - Б. ц.

ББК 32.81

Рубрики: ТЕХНИКА

   КИБЕРНЕТИКА


Кл.слова (ненормированные):
basic notation -- text searching -- combinatorial complexity -- modecular computation -- pestarting automata

32.81
H75

Holcombe, W. M.
    Algebraic automata theory [Электронный ресурс] / W. M. Holcombe. - [S. l.] : Cambridge university press, 1982. - Б. ц.

ББК 32.81

Рубрики: ТЕХНИКА

   КИБЕРНЕТИКА


Кл.слова (ненормированные):
relations -- products -- gpoups -- state machines -- decompositions

Holcombe, W.M. Algebraic automata theory [Электронный ресурс] / W. M. Holcombe, 1982

3.

Holcombe, W.M. Algebraic automata theory [Электронный ресурс] / W. M. Holcombe, 1982


32.81
H75

Holcombe, W. M.
    Algebraic automata theory [Электронный ресурс] / W. M. Holcombe. - [S. l.] : Cambridge university press, 1982. - Б. ц.

ББК 32.81

Рубрики: ТЕХНИКА

   КИБЕРНЕТИКА


Кл.слова (ненормированные):
relations -- products -- gpoups -- state machines -- decompositions

32.81
I-60


    Infinite words [Электронный ресурс] / D. Perrin. - [S. l.] : Oxford, 2004. - Б. ц.

ББК 32.81

Рубрики: ТЕХНИКА

   КИБЕРНЕТИКА


Кл.слова (ненормированные):
automata -- infinite words -- Rabin automata -- rational sets -- linked pairs -- temporat logic

Infinite words [Электронный ресурс] / D. Perrin, 2004

4.

Infinite words [Электронный ресурс] / D. Perrin, 2004


32.81
I-60


    Infinite words [Электронный ресурс] / D. Perrin. - [S. l.] : Oxford, 2004. - Б. ц.

ББК 32.81

Рубрики: ТЕХНИКА

   КИБЕРНЕТИКА


Кл.слова (ненормированные):
automata -- infinite words -- Rabin automata -- rational sets -- linked pairs -- temporat logic

32.81
J35

Jean-Paul, Allouche.
    Automatic sequences [Электронный ресурс] / Allouche Jean-Paul. - [S. l. : s. n.], 2003. - Б. ц.

ББК 32.81

Рубрики: ТЕХНИКА

   КИБЕРНЕТИКА


Кл.слова (ненормированные):
words -- exercises -- numeration -- systems -- automatic sequences

Jean-Paul, Allouche. Automatic sequences [Электронный ресурс] / Allouche Jean-Paul, 2003

5.

Jean-Paul, Allouche. Automatic sequences [Электронный ресурс] / Allouche Jean-Paul, 2003


32.81
J35

Jean-Paul, Allouche.
    Automatic sequences [Электронный ресурс] / Allouche Jean-Paul. - [S. l. : s. n.], 2003. - Б. ц.

ББК 32.81

Рубрики: ТЕХНИКА

   КИБЕРНЕТИКА


Кл.слова (ненормированные):
words -- exercises -- numeration -- systems -- automatic sequences

32.81
L92

Lothaire, H.
    Applied combinatorics on words [Электронный ресурс] : научное издание / H. Lothaire. - [S. l. : s. n.], 2004. - Б. ц.

ББК 32.81

Рубрики: ТЕХНИКА

   КИБЕРНЕТИКА


Кл.слова (ненормированные):
words -- algorithms -- pattern matching -- transducers -- parsing -- symbolic natural

Lothaire, H. Applied combinatorics on words [Электронный ресурс] : Научное издание / H. Lothaire, 2004

6.

Lothaire, H. Applied combinatorics on words [Электронный ресурс] : Научное издание / H. Lothaire, 2004


32.81
L92

Lothaire, H.
    Applied combinatorics on words [Электронный ресурс] : научное издание / H. Lothaire. - [S. l. : s. n.], 2004. - Б. ц.

ББК 32.81

Рубрики: ТЕХНИКА

   КИБЕРНЕТИКА


Кл.слова (ненормированные):
words -- algorithms -- pattern matching -- transducers -- parsing -- symbolic natural

32.81
M92

Mucund, M.
    Finite-state automata on infinite inputs [Электронный ресурс] / M. Mucund. - [S. l.] : Spic mathematical institute, 1996. - Б. ц.

ББК 32.81

Рубрики: ТЕХНИКА

   КИБЕРНЕТИКА


Кл.слова (ненормированные):
automata -- limit languages -- constructions -- intersection -- projection -- atomic formulas

Mucund, M. Finite-state automata on infinite inputs [Электронный ресурс] / M. Mucund, 1996

7.

Mucund, M. Finite-state automata on infinite inputs [Электронный ресурс] / M. Mucund, 1996


32.81
M92

Mucund, M.
    Finite-state automata on infinite inputs [Электронный ресурс] / M. Mucund. - [S. l.] : Spic mathematical institute, 1996. - Б. ц.

ББК 32.81

Рубрики: ТЕХНИКА

   КИБЕРНЕТИКА


Кл.слова (ненормированные):
automata -- limit languages -- constructions -- intersection -- projection -- atomic formulas

32.81
S17

Salomaa, A.
    Computation and automata [Электронный ресурс] / A. Salomaa. - New York : [s. n.], 1985. - Б. ц.

ББК 32.81

Рубрики: ТЕХНИКА

   КИБЕРНЕТИКА


Кл.слова (ненормированные):
models of computation -- grammars -- L sistems -- criptography

Salomaa, A. Computation and automata [Электронный ресурс] / A. Salomaa, 1985

8.

Salomaa, A. Computation and automata [Электронный ресурс] / A. Salomaa, 1985


32.81
S17

Salomaa, A.
    Computation and automata [Электронный ресурс] / A. Salomaa. - New York : [s. n.], 1985. - Б. ц.

ББК 32.81

Рубрики: ТЕХНИКА

   КИБЕРНЕТИКА


Кл.слова (ненормированные):
models of computation -- grammars -- L sistems -- criptography

32.81
T84


    Tree automata techniques and applications [Электронный ресурс]. - [S. l. : s. n.], 2008. - Б. ц.

ББК 32.81

Рубрики: ТЕХНИКА

   КИБЕРНЕТИКА


Кл.слова (ненормированные):
intoduction -- semantics -- terms and sorts -- surveys

Tree automata techniques and applications [Электронный ресурс], 2008

9.

Tree automata techniques and applications [Электронный ресурс], 2008


32.81
T84


    Tree automata techniques and applications [Электронный ресурс]. - [S. l. : s. n.], 2008. - Б. ц.

ББК 32.81

Рубрики: ТЕХНИКА

   КИБЕРНЕТИКА


Кл.слова (ненормированные):
intoduction -- semantics -- terms and sorts -- surveys

32.81
А22


    Автоматы [Электронный ресурс] : сборник статей / Под ред. К.Э. Шеннона. - М. : Иностранная литература, 1956. - Б. ц.

ББК 32.81

Рубрики: ТЕХНИКА

   КИБЕРНЕТИКА


Кл.слова (ненормированные):
кибернетика -- автоматы -- сборник статей -- конечные автоматы -- машины Тьюринга -- вероятностная логика -- универсальная машина -- синтез автоматов

Автоматы [Электронный ресурс] : Сборник статей / Под ред. К.Э. Шеннона, 1956

10.

Автоматы [Электронный ресурс] : Сборник статей / Под ред. К.Э. Шеннона, 1956


32.81
А22


    Автоматы [Электронный ресурс] : сборник статей / Под ред. К.Э. Шеннона. - М. : Иностранная литература, 1956. - Б. ц.

ББК 32.81

Рубрики: ТЕХНИКА

   КИБЕРНЕТИКА


Кл.слова (ненормированные):
кибернетика -- автоматы -- сборник статей -- конечные автоматы -- машины Тьюринга -- вероятностная логика -- универсальная машина -- синтез автоматов

Страница 1, Результатов: 54

 

Все поступления за 
Или выберите интересующий месяц