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   Abrial   AFADL   alsace   Ariane501   Bmethod   build   CDLive   CDuce   cms   cnam   compiler   component   conference   Coq   CORBA   cursus   Cw   debian   design   development   documentation   eclipse   Eiffel   engine   Erlang   Euclide   faq   formal   formal-method   formal-methods   formal:linux   free   french   hardware   internet   IRIT   java   javascript   journal   knoppix   lang:french   languages   latex   lectures   LIFL   linux   logic   logiciel   LUG   memory   method   meyer   microsoft   model-checking   modeling   Morgan   mp3   music   OCaml   open   opensource   outils   PiDuce   plugin   podcast   presentation   product   programming   project   prover   Pstricks   publication   railway   reference   research   rodin   school   search   software   specification   sysadmin   systemc   systems   tcl   tcltk   testing   TLA   tool   tools   tutorial   uml   Val-Libre   verification   web   WhosWho   why   wiki   xml