Страницы, ссылающиеся на «Шаблон:Clearfloat»
Материал из 0x1.tv
Следующие страницы ссылаются на «Шаблон:Clearfloat»:
Просмотреть (предыдущие 50 | следующие 50) (20 | 50 | 100 | 250 | 500)- Методы и программные средства моделирования и генерации сложных сетей с сохранением графовых свойств (Михаил Дробышевский, ISPRASOPEN-2019) (включение) (← ссылки)
- Разработка и реализация семантической цифровой библиотеки как основы для построения пространства научных знаний (Ольга Атаева, ISPRASOPEN-2019) (включение) (← ссылки)
- Ускорение научного прогресса с помощью облачных инфраструктур (Леонид Кулигин, ISPRASOPEN-2019) (включение) (← ссылки)
- ИСП РАН — 25 лет развития и роста (ISPRASOPEN-2019, пленарная сессия) (включение) (← ссылки)
- From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019) (включение) (← ссылки)
- Using Svace static analysis tool in Samsung environments (Youil Kim, ISPRASOPEN-2019) (включение) (← ссылки)
- Дизайн языков — ООП или не ООП, или нечто лучше ООП? (Алексей Недоря, ISPRASOPEN-2019) (включение) (← ссылки)
- Управляемые профилем оптимизации для мобильных устройств в компиляторе LLVM (ISPRASOPEN-2019, Павел Косов) (включение) (← ссылки)
- Применение SMT-солверов в статическом и динамическом символьном выполнении — экспериментальное исследование (Никита Малышев, ISPRASOPEN-2019) (включение) (← ссылки)
- Constexpr — большое благо, выраженное в неправильной идее (Евгений Клименков, ISPRASOPEN-2019) (включение) (← ссылки)
- Обнаружение неправильного использования переменных с использованием статического анализа в сочетании с машинным обучением (Глеб Моргачев, ISPRASOPEN-2019) (включение) (← ссылки)
- Компиляция модели памяти OCaml в Power (Егор Намаконов, ISPRASOPEN-2019) (включение) (← ссылки)
- The open source, functional programming platform flow (Asger Alstrup Palm, SECR-2019) (включение) (← ссылки)
- Что такое настоящий open source, и почему его меньше, чем вы думаете (Дмитрий Павлов, SECR-2019) (включение) (← ссылки)
- Кубит – основа современных информационных технологий. Мифы и реальность квантовых вычислений (Владимир Литошенко, SECR-2019) (включение) (← ссылки)
- Защита данных после появления квантового компьютера — постквантовая криптография (Алексей Федоров, SECR-2019) (включение) (← ссылки)
- Self-driving cars. Why it is more complicated than it seemed (Vadim Vashkelis, SECR-2019) (включение) (← ссылки)
- Интерфейс для глаз (Иван Бакаидов, SECR-2019) (включение) (← ссылки)
- How to apply AI to software testing (Jeremias Rößler, SECR-2019) (включение) (← ссылки)
- IBM Watson in the epicenter of developers attention (Clemence Lebrun, SECR-2019) (включение) (← ссылки)
- Тенденции развития вычислительных узлов современных суперкомпьютеров — архитектура и инфраструктура (Игорь Одинцов, SECR-2019) (включение) (← ссылки)
- Академия разработки — как мы вырастили корпоративный университет (Сергей Полуэктов, SECR-2019) (включение) (← ссылки)
- Стажировка в IT компании — как организовать и получить от нее максимальный эффект с минимальными затратами (Ольга Савченко, SECR-2019) (включение) (← ссылки)
- Как организовать непрерывное обучение в процессе работы (Екатерина Степалина, SECR-2019) (включение) (← ссылки)
- Есть ли жизнь после Синьора? (Зураб Белый, SECR-2019) (включение) (← ссылки)
- Межкультурные коммуникации. Инструкция по применению (Алексей Куксенок, SECR-2019) (включение) (← ссылки)
- Multinationals fostering the growth of the tech startups and the challenges of nowadays world (Pascale Xelot, SECR-2019) (включение) (← ссылки)
- Логические основания дизайна интерфейсов (Ольга Павлова, SECR-2019) (включение) (← ссылки)
- Создание цифровых двойников роботизированных производств и инновационное офлайн программирование роботов в парадигме Индустрии 4.0 (Алексей Кораблев, SECR-2019) (включение) (← ссылки)
- Trends and Opportunities in the global Software and IT Services industry (Eugen Schwab-Chesaru, SECR-2019) (включение) (← ссылки)
- Тренды в лицензировании софта. От подписки к плате за использование (Михаил Чухломин, SECR-2019) (включение) (← ссылки)
- VR в HR — Как новые технологии влияют на счастье на работе и эффективность сотрудников (Александр Кирсанов, SECR-2019) (включение) (← ссылки)
- Дополненная реальность — суровая и беспощадная (Артем Харитонов, SECR-2019) (включение) (← ссылки)
- Agile Software Development Automated by Blockchain Smart Contracts (Michele Marchesi, SECR-2019) (включение) (← ссылки)
- Выход на китайский рынок — как два раза попробовать и один раз смочь (Евгения Михальчук, SECR-2019) (включение) (← ссылки)
- Everything you need to know about getting people engaged (Scott Gould, SECR-2019) (включение) (← ссылки)
- Распил монолита в Леруа (Павел Юркин, SECR-2019) (включение) (← ссылки)
- 22 вопроса архитектора (Евгений Асламов, SECR-2019) (включение) (← ссылки)
- Язык программирования D2PL и компилятор для кластеризуемой массивно-параллельной виртуальной машины (Александр Прозоров, SECR-2019) (включение) (← ссылки)
- Микросервисные архитектуры с позиции инженерии систем (Роман Цирульников, SECR-2019) (включение) (← ссылки)
- Дата-инженеры и машинное обучение (Евгений Виноградов, SECR-2019) (включение) (← ссылки)
- Как архитектура “прогибалась” (Максим Шаломович, SECR-2019) (включение) (← ссылки)
- MPyPl — монадическая Python-библиотека для работы с потоками данных в функциональном стиле (Дмитрий Сошников, SECR-2019) (включение) (← ссылки)
- Анализ алгоритмов динамической диспетчеризации очередей с ограничением длительности цикла обслуживания в сетевых коммутаторах (Максим Ситников, SECR-2019) (включение) (← ссылки)
- Тестирование без тестировщиков (Татьяна Максимова, SECR-2019) (включение) (← ссылки)
- Automated Analysis of Testing Reports using Machine Learning Techniques (Мурад Мамедов, SECR-2019) (включение) (← ссылки)
- Повышение качества разработки программного обеспечения с помощью интеллектуального анализа отчетов об ошибках (Анна Громова, SECR-2019) (включение) (← ссылки)
- Как приручить разрастающееся тестовое покрытие (Ирина Смирнова, SECR-2019) (включение) (← ссылки)
- Современное состояние исследований и разработок в области автоматического анализа программ (Александр Герасимов, SECR-2019) (включение) (← ссылки)
- Анализ кода — как помешать взломать вашу систему (Алексей Жуков, SECR-2019) (включение) (← ссылки)