18 ноября 2017 года 09:07 | последнее обновление произошло в 08:12 (МСК)
 
 
          18+
 
    

ПРОГРАММЫ

Вышла новая версия программы «ФотоШОУ PRO»

21.01.2016 10:48
«ФотоШОУ PRO» — мощный софт для создания стильных слайд-шоу на основе семейного фото и видеоархива.

Атаки на Android и масштабные инфекции — угрозы безопасности в 2016 году

06.01.2016 08:54
Объемы создания и распространения новых образцов вредоносных программ, предназначенных для заражения пользователей, по-прежнему будут расти в геометрической прогрессии, что мы наблюдали в 2015 году, когда ежедневно регистрируемое количество образцов новых вредоносных программ достигло отметки в 230 000.

 

Новая версия программы «ВидеоМАСТЕР»

30.12.2015 16:56
«ВидеоМАСТЕР» — простая, но эффективная программа для конвертирования видео.

Атаки на Android и масштабные инфекции — угрозы безопасности в 2016 году

24.12.2015 08:54
Объемы создания и распространения новых образцов вредоносных программ, предназначенных для заражения пользователей, по-прежнему будут расти в геометрической прогрессии, что мы наблюдали в 2015 году, когда ежедневно регистрируемое количество образцов новых вредоносных программ достигло отметки в 230 000.

 

Новая версия «ФотоШОУ PRO»

23.12.2015 09:22
Версия 7.0 позволяет изготавливать стильные слайд-шоу с трехмерной графикой, красочными спецэффектами и оригинальными заставками.

Безопасный шопинг с ESET и скидка 30% на популярный антивирус

16.12.2015 15:14
Российские пользователи осваивают интернет-магазины наравне с зарубежными «единомышленниками»: 65% респондентов совершают покупки с разной периодичностью, и только 35% ничего не покупают в интернете. В Великобритании онлайн-шопинг практикуют 72% опрошенных, в США — 68%, в Германии — 60%.

 

Создание изображений HDR в AKVIS HDRFactory 5.0!

16.12.2015 10:37
В версии 5.0 усовершенствован метод создания изображений HDR, добавлен новый режим Локальная коррекция, улучшен инструмент Удаление призраков и другие изменения.

«Горнолыжные курорты с NAVITEL®»

10.12.2015 10:50
Только в период с 10 декабря 2015 года по 10 марта 2016 года у пользователей смартфонов и планшетов на Android, Windows Phone и BlackBerry есть прекрасная возможность приобрести зимние продукты: «Альпы», «Кавказ», «Карпаты» и «Пиренеи» по специальным выгодным

 

Вышла новая 18 версия Zoner Photo Studio

10.12.2015 08:47
Zoner Photo Studio — универсальный фоторедактор для Windows, содержащий все этапы управления фотографиями, необходимые каждому фотографу: от импорта фотографий на ПК, обработки RAW-файлов и добавления эффектов до редактирования и организации фотоколлекции, от создания панорам и календарей до архивации и публикации.

ESET NOD32 Parental Control на защите вашего ребенка

10.12.2015 08:15
Новое решение обеспечивает безопасность маленьких пользователей смартфонов и планшетов на базе Android.

 

ESET NOD32 Parental Control на защите вашего ребенка

09.12.2015 08:15
Новое решение обеспечивает безопасность маленьких пользователей смартфонов и планшетов на базе Android.

Экономичная печать профессиональных визиток!

08.12.2015 08:36
Версия 8.0 включает в себя более 150 стильных шаблонов визиток и бейджей различной тематики. Также новая версия имеет улучшенный модуль печати.

 

AKVIS NatureArt 8.0: Северное сияние на ваших фотографиях!

02.12.2015 15:35
AKVIS NatureArt — коллекция уникальных эффектов, имитирующих природные явления. Программа позволяет добавить на фотографию дождь, снег, молнии, солнце и облака, радугу, водный массив или огонь, создать морской пейзаж или изображение ночного звездного неба.

Обновленная программа «ВидеоМОНТАЖ»: версия 4.0

02.12.2015 14:56
Версия 4.0 обогатилась эффектами замедления и ускорения видео и встроенным стабилизатором изображения. Также приложение теперь поддерживает форматы WebM и H.265.

 

Обновленная программа «ВидеоМОНТАЖ»: версия 4.0

01.12.2015 14:56
Версия 4.0 обогатилась эффектами замедления и ускорения видео и встроенным стабилизатором изображения. Также приложение теперь поддерживает форматы WebM и H.265.

Panda Security сообщает о кибер-атаках

30.11.2015 11:20
Так называемые кибер-войны между странами наблюдаются уже на протяжении нескольких последних лет, однако PandaLabs обнаружила растущий интерес среди различных стран в подрыве безопасности и кражи информации у правительств других стран мира. Принимая во внимание данный факт, одной из самых мощных атак в течение третьего квартала стала атака на Hacking Team,

 

Dr.Web Katana — продукт нового поколения для защиты на опережение

25.11.2015 14:51
Новая система защиты Dr.Web Katana основана на проактивных технологиях без использования вирусных баз: решение о необходимости нейтрализации той или иной вредоносной программы принимается только исходя из интеллектуального анализа поведения запущенных на компьютере приложений.

Вышла русская версия MapInfo Pro 15.0

24.11.2015 16:13
MapInfo Professional — географическая информационная система цифрового картографирования, предоставляющая пользователям обширные функциональные возможности по визуализации и анализу пространственных данных. С MapInfo Professional возможны сбор и хранение картографических данных в БД с учетом пространственных свойств и отношений объектов, а также их редактирование и обработка.

 

Новый WinZip 20 работает со всеми файлами — на ПК, в сети и в облаке

18.11.2015 17:52
Новая программа предназначена для управления и обмена файлами, предоставляя пользователям компьютеров под управлением операционной системы Windows знакомое окружение для работы со всеми файлами независимо от места их хранения, поддерживая мощную, но удобную в использовании технологию шифрования и позволяя оперативно пересылать данные контактам. Современный пользователь ПК всё активнее

Paragon NTFS for Mac 14: дополнительная функциональность для управления разделами NTFS

18.11.2015 16:57
Paragon Software является первым разработчиком, преодолевшим функциональные ограничения дисковой утилиты последней версии OS X 10.11 El Capitan.

 
 1 2 3 4 5 6 7 8 9 

Книга в тему

«Структурированные системы переходов»
Кузьмин Егор Владимирович, Соколов Валерий Анатольевич

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

Партнёры

Другие новости