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

Abrial   access   ajax   alsace   Bmethod   CDuce   cfengine   check   cms   compiler   component   conference   configuration   Coq   csp   cursus   debian   design   development   device   documentation   dom   driver   eclipse   Eiffel   engine   Euclide   event   expat   faq   Filali   formal   formal-method   formal-methods   formal:linux   forum   french   hardware   Herrb   HeVeA   IRIT   java   javascript   LAAS   lang:french   languages   latex   LIFL   linux   logiciel   LUG   management   math   memory   Menhir   method   meyer   microsoft   model-checking   modeling   Morgan   OCaml   open   opensource   page   physique   plugin   podcast   programming   project   projet   Pstricks   railway   reference   research   safecode   sûreté   software   specification   svg   sysadmin   systemc   systems   tcl   tcltk   testing   tex   tool   tools   tutorial   uml   unix   Val-Libre   verification   web   WhosWho   wiki   xml   zope