Links

Indexes

Who's Who on the Web in Formal Methods.

Traveling

Italian railways.

Driving directions for Italy.

C/C++ Development

The GNU Compiler Collection.

The comp.std.c++ frequently asked questions.

The December 1996 C++ Standard working draft.

Journals

Theory and Practice of Logic Programming.

The Journal of Functional and Logic Programming.

The Chicago Journal of Theoretical Computer Science.

Science of Computer Programming.

Theoretical Computer Science.

Linux

Excellent Linux information from the Linux Weekly News, with daily updates.

[Page last updated on December 05, 2005, 07:49:33.]