База данных: Электронная библиотека
Страница 1, Результатов: 123
Файл для загрузки:
Chomsky. Three models for the description of language, 1956.pdf
C55
Chomsky, N.
Three models for the description of language [Электронный ресурс] / N. Chomsky. - [S. l.] : Cambridge, S. a. - Б. ц. - Текст : непосредственный.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
abstract -- introduction -- derived transformation
Файл для загрузки:
esik(recent_advances).pdf
E77
Esik, Z.
Recent advances in formal languages and applications [Электронный ресурс] / Z. Esik. - [S. l. : s. n.]. - Б. ц. - Текст : непосредственный.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
basic notation -- text searching -- combinatorial complexity -- modecular computation -- pestarting automata
Файл для загрузки:
Holcombe. Algebraic automata theory, CUP, 1982.pdf
H75
Holcombe, W. M.
Algebraic automata theory [Электронный ресурс] / W. M. Holcombe. - [S. l.] : Cambridge university press, 1982. - Б. ц. - Текст : непосредственный.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
relations -- products -- gpoups -- state machines -- decompositions
Infinite words [Электронный ресурс] / D. Perrin, 2004. - Текст : непосредственный.
Файл для загрузки:
Perrin, Pin. Infinite words_ automata, semigroups, logic and games (Elsevier), 2004.pdf
I-60
Infinite words [Электронный ресурс] / D. Perrin. - [S. l.] : Oxford, 2004. - Б. ц. - Текст : непосредственный.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
automata -- infinite words -- Rabin automata -- rational sets -- linked pairs -- temporat logic
Файл для загрузки:
Allouche, Shallit. Automatic sequences, CUP (2003).pdf
J35
Jean-Paul, Allouche.
Automatic sequences [Электронный ресурс] / Allouche Jean-Paul. - [S. l. : s. n.], 2003. - Б. ц. - Текст : непосредственный.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
words -- exercises -- numeration -- systems -- automatic sequences
Файл для загрузки:
Lothaire. Applied Combinatorics On Words, 2005.pdf
L92
Lothaire, H.
Applied combinatorics on words [Электронный ресурс] : научное издание / H. Lothaire. - [S. l. : s. n.], 2004. - Б. ц. - Текст : непосредственный.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
words -- algorithms -- pattern matching -- transducers -- parsing -- symbolic natural
Файл для загрузки:
Mukund. Finite-state Automata on Infinite Inputs, 1996.pdf
M92
Mucund, M.
Finite-state automata on infinite inputs [Электронный ресурс] / M. Mucund. - [S. l.] : Spic mathematical institute, 1996. - Б. ц. - Текст : непосредственный.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
automata -- limit languages -- constructions -- intersection -- projection -- atomic formulas
Файл для загрузки:
salomaa_computation-and_-automata_.pdf
S17
Salomaa, A.
Computation and automata [Электронный ресурс] / A. Salomaa. - New York : [s. n.], 1985. - Б. ц. - Текст : непосредственный.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
models of computation -- grammars -- L sistems -- criptography
Tree automata techniques and applications [Электронный ресурс], 2008. - Текст : непосредственный.
Файл для загрузки:
tree_automata_ techniques(comon).pdf
T84
Tree automata techniques and applications [Электронный ресурс]. - [S. l. : s. n.], 2008. - Б. ц. - Текст : непосредственный.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
intoduction -- semantics -- terms and sorts -- surveys
Файл для загрузки:
Ablameiko_Kratkii_kurs_informatiki.pdf
А15
Абламейко, С. В
Краткий курс истории вычислительной техники и информатики [Электронный ресурс] : учебное пособие / С.В Абламейко, И.А Новик, Н.В Бровка. - Минск : БГУ, 2014. - 183 с. - Б. ц. - Текст : непосредственный.
Рубрики: ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Кл.слова (ненормированные):
становление информатики как науки -- предыстория информатики -- история создания первых компьютеров -- последующие поколения компьютеров -- разработка калькуляторов и мини-компьютеров
Доп.точки доступа:
Новик, И.А
Бровка, Н.В
Страница 1, Результатов: 123