public marks

PUBLIC MARKS from GeorgesMariano

02 May 2006

28 April 2006

25 April 2006

mysqltcl - Tcl Mysql Interface (version 3.02)

Mysqltcl is a simple API for Mysql-Database and Tcl scripting language.

24 April 2006

22 April 2006

12 April 2006

08 April 2006

Au bout du fil

by 1 other
Plate forme d'écoute podcast et d'actualités RSS. Les nouveautés de la musique libre tous styles confondus. Découvrez quotidiennement un nouvel album. Les dernières chroniques radios en écoute à la demande. Mise à jour quotidienne.

04 April 2006


HAL - Hyper Article en Ligne

03 April 2006

29 March 2006

AG RVS - The Why-Because Analysis Homepage

Why-Because Analysis (WBA) is a rigorous technique for causally analysing the behaviour of complex technical and socio-technical systems. Its primary application is in the analysis of accidents, mainly to transportation systems (air, rail and sea). It is

25 March 2006

Le Libre est arrivé près de chez vous... — val-libre

Val-Libre / Logiciels libres et Linux (Valenciennes / St-Saulve) Que vous soyez débutant ou expert venez découvrir et discuter des Logiciels Libres sous système Windows ou GNU/Linux .

24 March 2006

22 March 2006

21 March 2006 Files

Event B LaTeX style / RODIN project

CS611: System Construction Using B

The aim of the course is to give a solid grounding in the B method using the B-Toolkit, concentrating on formal model building aspects, and giving exposure to the other elements of the theory, enabling students to go on to participate in the rigorous buil

18 March 2006

13 March 2006

The HEVEA Home page

HEVEA is a quite complete and fast LATEX to HTML translator. HEVEA is written in Objective Caml. HEVEA now renders symbols by using the so-called HTML “entites”. Modern browsers display those entities correctly most of the time. By contrast, previo

08 March 2006

GeorgesMariano's TAGS


limit:50 100 200

2006   a380   ada   bibtex   blog   Bmethod   build   CDuce   cms   cnam   compiler   component   conference   construction   Coq   CORBA   cursus   Cw   debian   design   development   eclipse   Eiffel   Erlang   faq   formal   formal-method   formal-methods   formal:linux   french   functional   grammars   hardware   howto   internet   java   javascript   journal   knoppix   lang:french   languages   latex   libre   LIFL   linux   LUG   manual   memory   method   meyer   microsoft   middleware   military   model-checking   modeling   mp3   music   musique   mysql   OCaml   opensource   operating   PiDuce   plone   plugin   podcast   presentation   preuve   product   programming   project   Pstricks   publication   python   railway   reference   research   RNTL   rodin   safety-critical-systems   software   specification   sysadmin   SysML   systems   SystemsEngineering   tcl   tcltk   testing   tool   tools   tutorial   uml   Val-Libre   verification   web   WhosWho   wiki   xml