Choice of metadata Electronic Library
Page 1, Results: 5
Report on unfulfilled requests: 0
1.
Подробнее
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.
Подробнее
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.
Подробнее
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.
Подробнее
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.
Подробнее
А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
Page 1, Results: 5