Приложение
для AndroidПолное описание
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Детальная стратиграфия и палеонтология юры и мела Сибири : сборник / Ред. В. А. Захаров, 1991. - 202 с. - Текст : непосредственный.Федеральный закон "О государственных и муниципальных унитарных предприятиях" : монография / С. С. Алексеев, И. В. Бекленищева, К. П. Беляев [и др.], 2004. - 219 с. - Текст : непосредственный.
Захаров В.А. Метрологическое обеспечение измерительных систем : учебное пособие : в двух частях. Ч. 2 : Системы учета электрической и тепловой энергии, 2018. - 231 с. - Текст : непосредственный.Захаров В.А. Метрологическое обеспечение измерительных систем : учебное пособие : в двух частях. Ч. 1 : Принципы построения и вопросы стандартизации автоматизированных измерительных систем, 2018. - 166 с. - Текст : непосредственный.Захаров В.А. Проблема эквивалентности программ: модели, алгоритмы, сложность : автореф. дис. .. д-ра физ.-мат. наук: 01.01.09 / В. А. Захаров, 2011. - 42 с. - Текст : непосредственный.Захаров В.А. В. М. Мясищев- авиационный розмысл ХХ века : Записки конструктора / В.А.Захаров, 2002. - 100 с. - Текст : непосредственный.Захаров, В. А. Экономическая теория : учеб. пособие. Ч. 1 : Микроэкономика. Курс лекций, 2009. - 347 с. - Текст : непосредственный.Захаров В.А. Конструирование узлов и деталей из композиционных материалов : Учеб.пособие / В.А.Захаров, 1992. - 64 с. - Текст : непосредственный.Захаров В.А. О преобразовании операторных процедур в логические программы / В.А.Захаров,С.И.Маневич, 1994. - 23 c. - Текст : непосредственный.Гражданский кодекс Российской Федерации. Часть 1 : постатейный коммент. / В. В. Андронов [и др.].; под ред. П. В. Крашенинникова, 2012. - 1325 с. - Текст : непосредственный.Захаров В.А. Исследование и разработка устройств электронно-ионной технологии для обработки картофеля с целью снижения потерь при хранении : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.20.02 / В. А. Захаров, 1999. - 19 с. - Текст : непосредственный.Баранов Л.А. Светотехника и электротехнология : учеб. пособие / Л. А. Баранов, В. А. Захаров, 2006. - 343 с. - Текст : непосредственный.Захаров В.А. Экономическое управление нежилой недвижимостью в городах техноэкополиса "КАС" : автореф. дис. .. канд. экон. наук: 08.00.05 / В. А. Захаров, 2003. - 22 с. - Текст : непосредственный.Захаров В.А. Деньги,денежное обращение и инфляция : Учеб.пособие для высш.с.-х.учеб.заведений по экон.спец / В.А.Захаров, 1996. - 115 c. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Колесниченко А.В. К моделированию сжимаемой магнитогидродинамической турбулентности аккреционного протопланетного диска / А. В. Колесниченко, 2014. - 47 с. - Текст : непосредственный.Реализация режима гравитационной ориентации на корабле "Прогресс М-20М" / М. Ю. Беляев, Т. В. Матвеева, М. И. Монахов [и др.], 2014. - 21 с. - Текст : непосредственный.Елизарова Т.Г. Квазигазодинамический алгоритм решения уравнений мелкой воды в полярной системе координат / Т. Г. Елизарова, М. А. Истомина, 2014. - 24 с. - Текст : непосредственный.Ливанов Л.Б. Приближенный расчет полетов на астероиды с пертурбационными маневрами у планет / Л. Б. Ливанов, 1996. - 28 с. - Текст : непосредственный.Горбунов-Посадов М.М. Формы многократно используемых компонентов программы / М. М. Горбунов-Посадов, 1997. - 16 с. - Текст : непосредственный.К постановке одномерной задачи об эмиссии широкого электронного пучка в атмосферу / А. В. Березин, С. В. Коротков, М. Б. Марков, 1993. - 12 с. - Текст : непосредственный.Исследование равновесных конфигураций газового облака вблизи гравитирующего центра / М. В. Абакумов, С. И. Мухин, Ю. П. Попов, В. М. Чечеткин, 1995. - 26 c. - Текст : непосредственный.Тычина П.А. Квазиоптимальный перелет космического аппарата с солнечным парусом между гелиоцентрическими круговыми орбитами / П. А. Тычина, В. А. Егоров, В. В. Сазонов, 1995. - 19 c. - Текст : непосредственный.Брюно А.Д. Локальный анализ особенности одной обратимой системы ОДУ. Простые случаи / А. Д. Брюно, А. Солеев, 1995. - 28 c. - Текст : непосредственный.Солеев А. Первые приближения одной обратимой системы ОДУ / А. Солеев, А. Б. Арансон, 1995. - 20 c. - Текст : непосредственный.Красовицкий В.Б. Кинетическая теория нелинейного взаимодействия ультрарелятивистского электронного пучка с плазмой / В. Б. Красовицкий, 1995. - 31 c. - Текст : непосредственный.Волевич Л.Р. Exponential dichotomy of solutions to high-order hyperbolic equations / Л. Р. Волевич, А. Р. Ширикян, 1996. - 37 p. - Текст : непосредственный.Яшунский А.Д. Преобразования бернуллиевских распределений булевыми функциями из замкнутых классов / А. Д. Яшунский, 2016. - 23 с. - Текст : непосредственный.Герцев М.Н. Расчет переноса теплового излучения в атмосфере Земли / М. Н. Герцев, А. В. Шильков, Е. Н. Аристова, 2016. - 28 с. - Текст : непосредственный.Смирнов М.И. Математические модели, используемые в системе оптимизации доставки товаров автотранспортом "Диспетчер" / М. И. Смирнов, Р. З. Хайруллин, 2002. - 16 с. - Текст : непосредственный.Мажорова О.С. Метод численного решения задач кристаллизации многокомпонентных растворов / О. С. Мажорова, Ю. П. Попов, О. В. Щерица, 2002. - 37 с. - Текст : непосредственный.Ермаков А.В. Электронные государственные закупки: зарубежный опыт / А. В. Ермаков, 2002. - 12 с. - Текст : непосредственный.Локальная обработка измерений радиосистемы межпланетных космических аппаратов / Э. Л. Аким, А. А. Горохова, И. П. Киселева, 2002. - 20 с. - Текст : непосредственный.Сорокина О.В. Принцип Даламбера-Лагранжа в механиче ских системах с односторонними связями / О. В. Сорокина, Е. И. Кугушев, 2002. - 32 с. - Текст : непосредственный.Козлов А.Н. Аналитическая модель аксиально симметричных течений идеальной двухкомпонентной плазмы при наличии продольного магнитного поля / А. Н. Козлов, 2002. - 32 с. - Текст : непосредственный.
Показать все результатыLogic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный.Иванов Б.Н. Дискретная математика. Алгоритмы и программы / Б. Н. Иванов, 2003. - 288 с. - Текст : непосредственный.Herczeg J. Methoden und Werkzeuge zur visuellen objektorientierten Programmierung / J. Herczeg, 1995. - 218 S. - Текст : непосредственный.Калверт Ч. Программирование в Windows. Освой самостоятельно за 21 день : монография / Ч. Калверт, 1995. - 495 c. - Текст : непосредственный.Петухин В.А. Анализ логических программ и компиляция языка Флэнг : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / В. А. Петухин, 1993. - 13 с. - Текст : непосредственный.Манцивода А.В. Логическое программирование в ограничениях: семантический подход : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук / А. В. Манцивода, 1995. - 24 с. - Текст : непосредственный.Logic and algebra of specification : сборник научных трудов / Ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный.Eckgold F. Systemprogramierung OS/2 2.x : монография / F. Eckgold, 1993. - XV,959 p. p. - Текст : непосредственный.Marchiori E. A logic for variable aliasing in logic programs / E. Marchiori, 1994. - 16 p. - Текст : непосредственный.Bossi A. More on unfold/fold transformations of normal programs:preservation of fitting's semantics / A. Bossi, S. Etalle, 1994. - 18 p. - Текст : непосредственный.Middeldorp A. Counterexamples to completeness results for basic narrowing / A. Middeldorp, E. Hamoen, 1991. - 44 p. - Текст : непосредственный.On the adequacy of graph rewriting for simulating term rewriting / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.-J. de Vries, 1992. - 18 p. - Текст : непосредственный.Rewriting techniques and applications : материалы временных коллективов / Ed. R. V. Book, 1991. - 458 p. - Текст : непосредственный.Conditional and typed rewriting systems : материалы временных коллективов / Ed.: S. Kaplin, M. Okada, 1991. - X,461 p. p. - Текст : непосредственный.Transfinite reductions in orthogonal term rewriting systems (extended abstract) / J. R. Kennaway, J. W. Klop, M. R. Sleep, F. J.de Vries, 1990. - 16 p. - Текст : непосредственный.infinitary Church-Rosser property for non-collapsing orthogonal term rewriting systems / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.J. de Vries, 1990. - 12 p. - Текст : непосредственный. Transfinite reductions in orthogonal term rewriting systems / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.J. de Vries, 1990. - 48 p. - Текст : непосредственный.Middeldorp A. Completeness of combinations of constructor systems / A. Middeldorp, Y. Toyama, 1990. - 18 p. - Текст : непосредственный.
Показать все результатыМетакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Сергиевский Г.М. Функциональное и логическое программирование : учебное пособие / Г. М. Сергиевский, Н. Г. Волченков, 2010. - 318 с. - Текст : непосредственный.Marchiori E. A logic for variable aliasing in logic programs / E. Marchiori, 1994. - 16 p. - Текст : непосредственный.Bossi A. More on unfold/fold transformations of normal programs:preservation of fitting's semantics / A. Bossi, S. Etalle, 1994. - 18 p. - Текст : непосредственный.Marchiori E. A methodology for proving termination of general logic programs / E. Marchiori, 1995. - 26 p. - Текст : непосредственный.Naidich D. On generic representation of implicit induction procedures / D. Naidich, 1996. - 31 p. - Текст : непосредственный.Marchiori E. Proving termination of logic programs with delay declarations / E. Marchiori, F. Teusink, 1996. - 17 p. - Текст : непосредственный.Marchiori E. Proving deadlock freedom of logic programs with dynamic scheduling / E. Marchiori, F. Teusink, 1996. - 19 p. - Текст : непосредственный.Тей А. Логический подход к искусственному интеллекту : монография / А. Тей, П. Грибомон, Ж. Луи, Ж. Луи ; ред. Г. П. Гаврилов, 1990. - 429 с. - Текст : непосредственный.Bossi A. A bottum-up semantics for constructive negation / A. Bossi, M. Fabris, M. C. Meo, 1994. - 22 p. - Текст : непосредственный.Fokkink W.J. Idempotent most general unifiers for infinite sets / W. J. Fokkink, 1994. - 7 p. - Текст : непосредственный.Klingler A. Datenparallele Auswertung rekursiver logischer Programme / A. Klingler, 1993. - 152 S. - Текст : непосредственный.s-semantics approach:theory and applications / A. Bossi, M. Gabbrielli, G. Levi, M. Martelli, 1994. - 49 p. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
Заказ фрагмента документа ₽