Введение в Теорию Программирования Курс Лекций Уч Пособие

RUR 330

В наличии

Учебный курс "Введение в теорию программирования" основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей...

Похожие товары

Цифровые системы управления в пищевой

Цифровые системы управления в пищевой

В пособии проанализированы вопросы методологии разработки и проектирования цифровых систем управления на основе современных технологий CASE-технологий , методологий структурного анализа DFD, ERD и STD и

2236 р.

Основы машинного обучения для аналитического

Основы машинного обучения для аналитического

Книга представляет собой учебник по машинному обучению с акцентом на коммерческие приложения. Она предлагает подробное описание наиболее важных подходов к машинному обучению, используемых в интеллектуальном анализе данных, охватывающих как теоретические

3000 р.

Краткий справочник сварщика

Краткий справочник сварщика

Справочник обобщает необходимые сварщику-любителю сведения по основам сварки. Рассмотрены современная электродуговая и газовая газоплавильная сварка, а также сварка электронно-лучевая, электролитическая, электросварка подводная, электрошлаковая, диффузионная, индукционная, плазменная, контактная, кузнечная

173 р.

Самоучитель Adobe Dreamweaver CS3

Самоучитель Adobe Dreamweaver CS3

Самоучитель предназначен для тех, кому необходимо быстро и эффективно получить стартовый набор знаний и навыков для создания Web-pecypca. Рассмотрены современные технологии проектирования и разработки отдельной Web-страницы и сайта в целом

230 р.

Основы работы в ANSYS 17

Основы работы в ANSYS 17

Книга посвящена вопросам численного моделирования задач механики сплошных сред в программном комплексе ANSYS 17. Описаны этапы подготовки геометрических моделей, построения расчетных сеток, настройки решателей Fluent механика жидкости и газа

961 р.

Современные проблемы науки и производства

Современные проблемы науки и производства

В учебнике представлены сведения о современном состоянии сельскохозяйственного производства в России анализируются приоритетные направления развития науки, техники и технологий в агроинженерии рассматриваются основные положения стратегии машинно-технологической модернизации и

1590 р.

Windows 10 Настройка использование восстановление

Windows 10 Настройка использование восстановление

В книге приведено описание работы с Windows 10 с учетом самых последних обновлений включая Fall Creators Update . Особенностям обновлений будет посвящена целая глава. Условно книга разделена на пять

427 р.

Информационная чувствительность компьютерных алгоритмов

Информационная чувствительность компьютерных алгоритмов

В пособии рассматриваются основные вопросы, связанные с применением аппарата теории вероятностей и математической статистики к исследованию и анализу компьютерных алгоритмов. Вводятся новые оценки качества компьютерных алгоритмов - информационная чувствительность и

1023 р.

Metaheuristics for String Problems in

Metaheuristics for String Problems in

So-called string problems are abundant in bioinformatics and computational biology. New optimization problems dealing with DNA or protein sequences are constantly arising and researchers are highly in need of efficient

10280.32 р.

High-Performance Computing on Complex Environments

High-Performance Computing on Complex Environments

With recent changes in multicore and general-purpose computing on graphics processing units, the way parallel computers are used and programmed has drastically changed. It is important to provide a comprehensive

9060.84 р.

Основы работы в ANSYS 17

Основы работы в ANSYS 17

Книга посвящена вопросам численного моделирования задач механики сплошных сред в программном комплексе ANSYS 17. Описаны этапы подготовки геометрических моделей, построения расчетных сеток, настройки решателей Fluent механика жидкости и газа

961 р.

Практика работы на языке Haskell

Практика работы на языке Haskell

В книге рассматриваются прикладные аспекты работы на языке функционального программирования Haskell. Приводятся описания инструментальных средств пяти классов трансляторов, интегрированных сред разработки, вспомогательных утилит, специализированных библиотек и справочно-архивных систем.

199.00 р.

Программная инженерия Технологии разработки программного

Программная инженерия Технологии разработки программного

Учебник посвящен систематическому изложению принципов, моделей, методов и метрик, используемых в инженерном цикле создания сложных программных систем. Изложены основы как классических, так и гибких методов разработки, вопросы менеджмента классических и

1467 р.

Практика программирования

Практика программирования

Вашему вниманию предлагается перевод на русский язык исправленного и дополненного издания уже восьмого по счету популярной книги Практика программирования, вышедшего из печати в январе 2004 года. Верификацию кода

1728 р.

Нейролингвистические основы нарушений речи Учебное

Нейролингвистические основы нарушений речи Учебное

В данной работе представлены основные теоретические положения нейролингвистических, психолингвистических и неврологических основ логопедии, общие закономерности нарушенного психоречевого развития, рассматриваются вопросы этиологии и патогенеза речевых нарушений дизартрии, апраксии , да

352 р.

Введение в теорию программирования Курс

Введение в теорию программирования Курс

Учебный курс Введение в теорию программирования основан на творческом синтезе избранных формальных теорий ламбда-исчисление, комбинаторная логика, теория категорий и др. и уникальной технологической платформы Microsoft.NET, обеспечивающей...

330 р.

Регулярные выражения. Основы

Регулярные выражения. Основы

Если вы программист, не имеющий опыта работы с регулярными выражениями, то данная книга - как раз то, что нужно для первого знакомства с ними. Многочисленные примеры, приведенные в книге, не

1038 р.

CSS3 Pushing the Limits

CSS3 Pushing the Limits

Push CSS3 and your design skills to the limit and beyond! Representing an evolutionary leap forward for CSS, CSS3 is chock-full of new capabilities that dramatically expand the boundaries of

3202.80 р.

Mathematics of Bioinformatics. Theory, Methods

Mathematics of Bioinformatics. Theory, Methods

Mathematics of Bioinformatics Theory, Methods, and Applications provides a comprehensive format for connecting and integrating information derived from mathematical methods and applying it to the understanding of biological sequences

9379.67 р.

Code Compare Pro

Code Compare Pro

Программное обеспечение Devart Code Compare представляет собой средство сравнения файлов и папок при проверке исходного кода. Интеграция с системой контроля версий позволяет быстро отслеживать и синхронизировать данные. Devart Code Compare

3296.25 р.

C 7 и .NET

C 7 и .NET

C 7 новая мощная и многофункциональная версия популярнейшего языка программирования от Майкрософт. Вы встретите немало интересных книг по языку C и платформе .NET, однако в большинстве

550.00 р.

Алгоритмы и структуры данных. Новая

Алгоритмы и структуры данных. Новая

В классическом учебнике тьюринговского лауреата Ник-лауса Вирта аккуратно, на тщательно подобранных примерах прорабатываются традиционные темы алгоритмики сортировка и поиск, рекурсия, динамические структуры данных. Перевод на русский язык выполнен

826 р.