Chercher dans le portail :

Bibliographie du Québec  

Janvier-décembre 2006

Table des matières

Index des vedettes-matière

Index auteurs / titres

Informatique

---

Adding propositional scopes to linear temporal logic : rapport technique / May Haydar... [et al.]. — Montréal : CRIM, Documentation/communications, 2005. — 24 f. ; 28 cm. — (Collection scientifique et technique ; CRIM-05/05-06).
   
   ISBN : 2-89522-061-1 (rel. à spirale). — Distributeur : Le Centre, 500, rue Sherbrooke ouest, bureau 100, Montréal, Québec H3A 1B9.

  1. Informatique I. Haydar, May, 1974- II. CRIM. Documentation/communications III. Collection.

004

QA75.5*

3059992

---

Bouden, Mondher
   Géo-simulation de la progression de l'infection au virus du Nil occidental en fonction du climat, dans une optique de gestion du risque en santé publique / par Mondher Bouden, Bernard Moulin et Pierre Gosselin. — Sainte-Foy : Département d'informatique et de génie logiciel, Faculté des sciences et de génie, Université Laval, 2005. — 81 p. ; 28 cm. — (Rapport de recherche ; DIUL-RR-0501).
   
   (Cart.). — Distributeur : L'éditeur, Pavillon Adrien-Pouliot, bureau 3908, Sainte-Foy, Québec G1K 7P4.

  1. Informatique I. Université Laval (Québec, Québec). Département d'informatique et de génie logiciel II. Titre. III. Collection : Rapport de recherche (Université Laval (Québec, Québec). Département d'informatique et de génie logiciel) ; DIUL-RR-0501.

004

QA76

3064741

---

Huo, Jiale
   Covering transitions of concurrent systems through queues / Jiale Huo..., Alexandre Petrenko... — Version final. — Montréal : CRIM, Documentation/communications, 2005. — 27 f. ; 28 cm. — (Collection scientifique et technique ; CRIM-05/08-09).
   
   ISBN : 2-89522-067-0 (rel. à spirale). — Distributeur : Le Centre, 500, rue Sherbrooke ouest, bureau 100, Montréal, Québec H3A 1B9.

  1. Informatique I. CRIM. Documentation/communications II. Titre. III. Collection.

004

QA75.5*

3072826