База данных: Электронная библиотека
Страница 1, Результатов: 5
Отмеченные записи: 0
1.
Файл для загрузки:
Hrbacek (Introduction_to).pdf
Подробнее
22.12
H86
Hrbacek, K.
Introduction to set theory [Electronic resource] : научное издание / K. Hrbacek, T. Jech. - New York; Basel : Marcel Dekker, Inc., 1999. - 291 p. - ). - Б. ц. - Текст : непосредственный.
ББК 22.12
Рубрики: Foundations of Mathematics. Logic
Кл.слова (ненормированные):
set theory -- natural numbers -- ordinal numbers
Доп.точки доступа:
Jech, T.
H86
Hrbacek, K.
Introduction to set theory [Electronic resource] : научное издание / K. Hrbacek, T. Jech. - New York; Basel : Marcel Dekker, Inc., 1999. - 291 p. - ). - Б. ц. - Текст : непосредственный.
Рубрики: Foundations of Mathematics. Logic
Кл.слова (ненормированные):
set theory -- natural numbers -- ordinal numbers
Доп.точки доступа:
Jech, T.
2.
Infinite words [Электронный ресурс] / D. Perrin, 2004. - Текст : непосредственный.
Файл для загрузки:
Perrin, Pin. Infinite words_ automata, semigroups, logic and games (Elsevier), 2004.pdf
Подробнее
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
I-60
Infinite words [Электронный ресурс] / D. Perrin. - [S. l.] : Oxford, 2004. - Б. ц. - Текст : непосредственный.
Рубрики: ТЕХНИКА
КИБЕРНЕТИКА
Кл.слова (ненормированные):
automata -- infinite words -- Rabin automata -- rational sets -- linked pairs -- temporat logic
3.
Файл для загрузки:
Sajjan(Introduction).pdf
Подробнее
32.973
S16
Sajjan, G. S.
Introduction to logic design [Электронный ресурс] / G. S. Sajjan. - New York : [s. n.], 1998. - 615 с. - Б. ц. - Текст : непосредственный.
ББК 32.973
Рубрики: ТЕХНИКА
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Кл.слова (ненормированные):
компьютерные сети -- база данных -- информационные системы
S16
Sajjan, G. S.
Introduction to logic design [Электронный ресурс] / G. S. Sajjan. - New York : [s. n.], 1998. - 615 с. - Б. ц. - Текст : непосредственный.
Рубрики: ТЕХНИКА
ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Кл.слова (ненормированные):
компьютерные сети -- база данных -- информационные системы
4.
Файл для загрузки:
Williams_Logic_integer_ programming.pdf
Подробнее
22.12
W69
Williams, H. P.
Logic and Integer programming [Электронный ресурс] : учебное пособие / H. P. Williams. - New York : [s. n.], 2009. - 167 с. - Б. ц. - Текст : непосредственный.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ПРИКЛАДНАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
logic -- internet -- diagrams -- integer programing -- decisions -- mathematiks -- resolution -- absorption -- IP model -- algebraic languages -- applications
W69
Williams, H. P.
Logic and Integer programming [Электронный ресурс] : учебное пособие / H. P. Williams. - New York : [s. n.], 2009. - 167 с. - Б. ц. - Текст : непосредственный.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ПРИКЛАДНАЯ МАТЕМАТИКА
Кл.слова (ненормированные):
logic -- internet -- diagrams -- integer programing -- decisions -- mathematiks -- resolution -- absorption -- IP model -- algebraic languages -- applications
5.
Файл для загрузки:
Aman_Information.pdf
Подробнее
32.816я73
А52
Аман, К. П., Мусина, А.А.
"Information and communication tehnologies" с использованием технологии CLIL [Электронный ресурс] : учебное пособие / К. П., Мусина, А.А. Аман. - Алматы : Бастау, 2020. - 250 с. - Б. ц. - Текст : непосредственный.
ББК 32.816я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
Кл.слова (ненормированные):
boolean algebra -- logical calculus -- robotics -- peripherals -- flowcharts -- web-site -- e-learning -- server -- algorithms -- programm -- site
А52
Аман, К. П., Мусина, А.А.
"Information and communication tehnologies" с использованием технологии CLIL [Электронный ресурс] : учебное пособие / К. П., Мусина, А.А. Аман. - Алматы : Бастау, 2020. - 250 с. - Б. ц. - Текст : непосредственный.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
Кл.слова (ненормированные):
boolean algebra -- logical calculus -- robotics -- peripherals -- flowcharts -- web-site -- e-learning -- server -- algorithms -- programm -- site
Страница 1, Результатов: 5