База данных: Каталог IBIS
Page 1, Results: 3
Отмеченные записи: 0
1.
Подробнее
К78
Красовицкий, А. М.
Спецификация и верификация программ : учеб. пособие по Computer Science / А.М. Красовицкий ; Казахский государственный национальный университет им. Аль-Фараби, Научно-исследовательский институт математики и механики, Механико-математический факультет, кафедра Информатики. - Алматы : PRINT-S, 2004. - 84 с. : ил. - (Образовательная программа Европейского Союза TEMPUS-TACIS (Contract # CD JER 22077-2001)). - ISBN 9965-9343-8-X : 345.00 тг
Перевод заглавия: Software Specification & Verification
Рубрики: вычислительная техника--программирование
Кл.слова (ненормированные):
данные -- диаграммы -- язык -- моделирование -- сети
Доп.точки доступа:
Казахский государственный национальный университет им. Аль-Фараби
Научно-исследовательский институт математики и механики. Механико-математический факультет, кафедра Информатики
Экземпляры всего: 1
ч/з гл.корпус (1)
Свободны: ч/з гл.корпус (1)
К78
Красовицкий, А. М.
Спецификация и верификация программ : учеб. пособие по Computer Science / А.М. Красовицкий ; Казахский государственный национальный университет им. Аль-Фараби, Научно-исследовательский институт математики и механики, Механико-математический факультет, кафедра Информатики. - Алматы : PRINT-S, 2004. - 84 с. : ил. - (Образовательная программа Европейского Союза TEMPUS-TACIS (Contract # CD JER 22077-2001)). - ISBN 9965-9343-8-X : 345.00 тг
Перевод заглавия: Software Specification & Verification
| ГРНТИ | ||
| УДК |
Рубрики: вычислительная техника--программирование
Кл.слова (ненормированные):
данные -- диаграммы -- язык -- моделирование -- сети
Доп.точки доступа:
Казахский государственный национальный университет им. Аль-Фараби
Научно-исследовательский институт математики и механики. Механико-математический факультет, кафедра Информатики
Экземпляры всего: 1
ч/з гл.корпус (1)
Свободны: ч/з гл.корпус (1)
2.
Подробнее
C58
City Logistics 1. New Opportunities and Challenges : scientific Publication: in 3 books / ed.: J-P. Bourriers, E. Taniguchi, R. Tompson. - London : ISTE Ltd, 2018 - .
Book 1. - London, 2018. - 406 p. - (Systems and industrial engineering series). - ISBN 978-1-78630-205-2 : 69455.00 тг
Перевод заглавия: Городская логистика 1. Новые возможности и вызовы
Рубрики: транспортное обслуживание--логистика транспортная
транспортное обслуживание--логистика (организация производства)
транспортное обслуживание--охрана окружающей среды в транспорте
Кл.слова (ненормированные):
movers -- nodes -- co-modality -- vehicles -- electric -- freight -- canals -- demand -- verification -- truck score -- notation -- каналы -- грузовой -- потребность -- проверка -- полоса дороги -- видение -- обозначение
Доп.точки доступа:
Bourriers, Jean- Paul \ed.\
Taniguchi, Eiichi \ed.\
Tompson, Russell \ed.\
Экземпляры всего: 2
Абонемент 1 корпус (2)
Свободны: Абонемент 1 корпус (2)
C58
City Logistics 1. New Opportunities and Challenges : scientific Publication: in 3 books / ed.: J-P. Bourriers, E. Taniguchi, R. Tompson. - London : ISTE Ltd, 2018 - .
Book 1. - London, 2018. - 406 p. - (Systems and industrial engineering series). - ISBN 978-1-78630-205-2 : 69455.00 тг
Перевод заглавия: Городская логистика 1. Новые возможности и вызовы
| ГРНТИ | |
| УДК |
Рубрики: транспортное обслуживание--логистика транспортная
транспортное обслуживание--логистика (организация производства)
транспортное обслуживание--охрана окружающей среды в транспорте
Кл.слова (ненормированные):
movers -- nodes -- co-modality -- vehicles -- electric -- freight -- canals -- demand -- verification -- truck score -- notation -- каналы -- грузовой -- потребность -- проверка -- полоса дороги -- видение -- обозначение
Доп.точки доступа:
Bourriers, Jean- Paul \ed.\
Taniguchi, Eiichi \ed.\
Tompson, Russell \ed.\
Экземпляры всего: 2
Абонемент 1 корпус (2)
Свободны: Абонемент 1 корпус (2)
3.
Подробнее
L24/Э
Langtangen, Hans Petter.
Finite Difference Computing with PDEs [Электронный ресурс] : a Modern Software Approach / Hans Petter Langtangen, Svein Linge. - Прогр. 6956168 ( файла : байтов). - London ; New York : www.springer.com, 2017. - 522/1 с. - (textbook 2). - Б. ц.
Кл.слова (ненормированные):
programming language -- Python -- program verification -- analysis -- discrete equations -- языки программирования -- проверка -- конструктивная математика
Доп.точки доступа:
Linge, Svein
Экземпляры всего: 1
Полнотекстовые ресурсы (1)
Свободны: Полнотекстовые ресурсы (1)
L24/Э
Langtangen, Hans Petter.
Finite Difference Computing with PDEs [Электронный ресурс] : a Modern Software Approach / Hans Petter Langtangen, Svein Linge. - Прогр. 6956168 ( файла : байтов). - London ; New York : www.springer.com, 2017. - 522/1 с. - (textbook 2). - Б. ц.
| ГРНТИ | |
| УДК |
Кл.слова (ненормированные):
programming language -- Python -- program verification -- analysis -- discrete equations -- языки программирования -- проверка -- конструктивная математика
Доп.точки доступа:
Linge, Svein
Экземпляры всего: 1
Полнотекстовые ресурсы (1)
Свободны: Полнотекстовые ресурсы (1)
Page 1, Results: 3