Rambler's Top100 Service калинин.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-ресурсы
Фильмы
Интернет
Программное обеспечение
Жизнь
Благодарности
Форум
Хронология
 
  В этом разделе:
31.12.03
   С Новым Годом!
   >>>>
11.10.03
   National Geographic Россия
   >>>>
31.08.03
   Так как зовут Джорджа Буша?
   >>>>
27.08.03
   Osirusoft Blacklists The World
   >>>>
14.08.03
   Архив журнала "Квант".
   >>>>
22.06.03
   Властелин вкуса.
   >>>>
21.06.03
   "Что может сотворить толпа программеров?"
Поборка книг по C++ в электронном виде.
   >>>>
23.06.02
   Iced tea brings shivers.
   >>>>
21.06.02
   Watcom скорее жив.
   >>>>
8.06.02
   Mozzilla 1.0.
   >>>>
Содержание раздела полностью...
   Последние статьи
Спамеры и антиспамеры: путь к компромиссу (14.08.03)
   Статья написана для электронного журнала . На данный момент в околокомпьютерной прессе опубликовано достаточно большое количество статей на тему спама. Большая...   >>>>
Простой, но полезный аллокатор памяти (18.02.03)
   Эта заметка --- продолжение "Postfix изнутри" в том смысле, что в качестве примера опять берется postfix. Но если в прошлый раз...   >>>>
Хронология полностью...
   Содержание
Заглавная страница
Мой блог
Мое резюме
Дайджест
Программирование
  C&C++
Сети
Unix
Алгоритмы
Оптимизация
Соревнования
Отвлеченно
XML
TeX
Туризм
  Байки
Фотографии
Комментарии
  Книги
Web-ресурсы
Фильмы
Интернет
Программное обеспечение
Жизнь
Студенческое
Просто так
Благодарности
Форум
Хронология
© 2000-2008, Andrey L. Kalinin
mailto:andrey@kalinin.ru
Rambler's Top100