Date Range
Date Range
Date Range
О котором в связи с этой трагедией нам поведал Президент, имеют вполне конкретное отражение в зеркале. Детский сад - за Путина.
Visuals are for me a process-art issue, a liquid substance which changes its quality over time, and I think of myself as a person who is monitoring an alchemical process. Oleg in collaboration with legendary NP.
Суббота, 25 декабря 2010 г. В статье описывается система AutoTest, позволяющая повысить эффективность использования программных контрактов.
Пишу этот текст по просьбе моего замечательного приятеля, коллеги Виталия Брагилевского, знакомство с которым произошло тоже в заграничной поездке. В этот раз мы с коллегами по ИСП РАН съездили в Мадрид на мероприятия, посвященные архитектурному моделированию при помощи языка AADL. Они проходили в рамках конференции Ada-Europe 2015. Где мне довелось рассказать про свою работу. Университет Комплутенсе занимает огромную, как мне кажетс.
November 17, 2009 by kornevgen. November 14, 2009 by kornevgen. Z3 is SMT solver developed by Microsoft Research.