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 :: ACCUEIL

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

SourceForge.net: 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

search:

limit:50 100 200

ACI   ajax   ARINC653   automatic   Bmethod   CDuce   check   chimie   cms   cnrs   code   compiler   component   conference   control   Coq   cours   csp   cursus   debian   del.icio.us   design   Deveaux   development   eclipse   editor   education   Eiffel   english   ens   epn   faq   filesystem   formal   formal-method   formal-methods   formal:linux   french   genetic   gnu/linux   gtk   gutenberg   hardware   haxe   INRIA:LogiCal   java   javascript   lang:french   languages   latex   LIFL   linux   LUG   math   memory   method   meyer   microsoft   model   model-checking   modeling   networking   OCaml   opensource   PERSEE   plugin   podcast   POLYCHRONY   programming   project   proof   prototyping   Pstricks   railway   reference   research   scheduling   scheme   secure   signal   software   specification   svg   sysadmin   system   systems   tcl   tcltk   testing   tool   tools   tutorial   uml   Val-Libre   verification   visualization   web   WhosWho   wiki   xml