Верификация распределённых систем с применением Isabelle/HOL +15
Публикации с тегом интернет-сервисы
Благодаря интернету продажи музыки выросли впервые за 20 лет +8
Догнать и перегнать: «Яндекс.Такси» планирует занять 10-15% корпоративного сегмента за 2016 год +8
Кто хитрее Uber: новый такси-сервис Juno пойдет дальше всех в конкурентной борьбе за американский рынок +9
Реорганизация-диверсификация: «Яндекс.Маркет» отправляется в самостоятельное плавание +10
Минздрав и «Яндекс» готовят законопроект о легализации медицинских интернет-сервисов +7
Серийный истец: IBM подала на Groupon в суд за нарушение патентного законодательства +6
Нет пророка в своем отечестве: «предсказания» Германа Клименко пока не сбылись и породили больше вопросов, чем ответов +8
Yahoo! «обновляется»: новые убытки, сокращения, новый судебный иск и новая стратегия +9
Почему инвесторы решили вложить в молодой российский такси-сервис TakeIt сразу $2 млн +7
Все идет по плану: Yahoo! сократит еще 1000 сотрудников в процессе реструктуризации +8
Из первых уст: «Яндекс.Вертикали» отделяется от «Яндекса» и бросает вызов крупнейшему сервису объявлений России +7
Зерна от плевел: почему Yahoo! передумала продавать свой бизнес +9
Одна голова – хорошо: в Yahoo! обсуждают возможность продажи основного бизнеса +11
