калинин.ru / дайджест /

<< 21.03.02 >>

Дайджест (21.03.02)

Single UNIX Specification, Version 3 (13:55)

Ссылка очень известная, но вдруг о ней кто-то не знает? OpenGroup предоставляет свой стандарт на Unix в открытое использование каждому желающему, требуя от него только лишь почтовый адрес и полное имя в качестве регистрации. Третья версия этой спецификации включает в себя, фактически, стандарты Posix, которые, кстати говоря, бесплатно не распространяются. Удобная вещь.    >>>>

Algorithmic and Automatic Debugging Home Page (13:44)

Подборка ссылок посвященных отладке программного обеспечения: от самих отладчиков до автоматического доказательства теорем. Сама подборка, на мой взгляд, достаточно старая, но лично я все равно нашел в ней несколько ссылок на сайты посвященные формальным методам, о которых до сих пор не знал.   >>>>

Версия для печати

Рядом в разделе: 25.03.02    Успех и неудача "Властелина колец." Алгоритмы и олимпиадные задачи. Перевод TCP/IP Illustrated. TCP/IP Illustrated, volume I; The Protocols.    >>>> 04.03.02    Книгу я не читал, но осуждаю! Тостер: русский лог. The rec.puzzles archive.    >>>>

Последние статьи: Спамеры и антиспамеры: путь к компромиссу (14.08.03)    Статья написана для электронного журнала . На данный момент в околокомпьютерной прессе опубликовано достаточно большое количество статей на тему спама. Большая...   >>>> Простой, но полезный аллокатор памяти (18.02.03)    Эта заметка --- продолжение "Postfix изнутри" в том смысле, что в качестве примера опять берется postfix. Но если в прошлый раз...   >>>>

Содержание:

Заглавная страница Мой блог Мое резюме Дайджест Программирование    C&C++ Сети Unix Алгоритмы Оптимизация Соревнования Отвлеченно XML TeX Просто так

Студенческое Туризм   Байки Фотографии Комментарии    Книги Web-ресурсы Фильмы Интернет Программное обеспечение Жизнь Благодарности Форум Хронология