• Accueil

• Le ReSMiQ
  • À propos du ReSMiQ
  • Objectifs
  • Axes et thèmes
  • Partenaires
  • Équité, diversité et inclusion
  • Administration
  • Rapports annuels & bulletins d'information
  • Nous joindre

• Étudiants
  • S’enregistrer
  • Bourses et soutiens financiers
    • pour étudiants du 1er cycle
    • pour étudiants aux cycles supérieurs
    • pour stagiaires postdoctoraux
    • pour participation à des conférences
  • Concours d’affiches scientifiques
  • « Les diplômés, affichez-vous »
  • Opportunités de recherche
  • Offres de stages
  • Offres d’emplois
  • Cours de cycles supérieurs

• Chercheurs
  • Membres chercheurs
  • Services et infrastructures
  • Soutien financier de démarrage
  • Recrutement d'étudiants
  • Soutien financier pour chercheurs invités
  • Soutien de projets fédérateurs inter-regroupement

• Industriels
  • Partenariat université / industrie
  • Répertoires des entreprises

• Grand Public
  • Survol
  • Projets

• Média
  • Dans les médias
  • Pour les médias

• Activités
  • Cours intensifs
  • Séminaires
  • Conferences
  • Colloques
  • 5 à 7 réseautage
  • Journée de l'innovation ReSMiQ
  • Colloque annuel ReSMiQ
  • Salon carrière des cycles supérieurs

• Nouvelles
  • Communiqués
  • Liens utiles

• English

Articles Livres et ouvrages collectifs Actes de colloque

Publications

Livres et ouvrages collectifs (2008)

Ait Mohamed O, Munoz C et Tahar S (2008). Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics

Batista B, Rivard D, Sabourin R, Granger É et Maupin P (2008). State of the Art in Off-line Signature Verification, B. Verma and B. Blumenstein

Roy S (2008). Space-Time Methods Vol. I - Space-Time Processing, Springer