Our Events
Our News
Links
Université Ibn Khaldoun
Webmail
CNRST
MGEN
MENSUP
AH2ST
CSEFRS
Search
Directory
Journals
Publications
Books
Theses
Congresses
Talks
Brevets
Teaching
Recruitment
Tenders
Adverts
About us
A word from the dean
Organization chart
History
Faculty in figures
Statistics
Gallery
Areas and rooms
Contact us
Fr
Fr
Admissions
High school students: entering the faculty
Undergraduate registration
Master
Doctorate
International students
Research
Research strategy
Research structures
Projects
Bibliographic databases
Doctral training
Doctoral Studies Center
Habilitation
Publications & Congresses
Journals
Publications
Books
Congresses
Innovation
Technical platforms
Brevets
Academics
Training
Bachelor's degrees
Professional Bachelor's Degree
Master
Educational resources
Library
Online course
Schooling
Academic calendar
Holidays schedl
Study schedule
Exam schedule
Notes and Registration
The admissions office
Governance
Dean office
Executive Board
Departments
Services
About us
A word from the dean
Organization chart
History
Faculty in figures
Statistics
Gallery
Areas and rooms
Contact us
Search within
Directory
Journals
Publications
Books
Theses
Congresses
Talks
Brevets
Teaching
Recruitment
Tenders
Adverts
Links
Université Ibn Khaldoun
Webmail
CNRST
MGEN
MENSUP
AH2ST
CSEFRS
Our Events & News
Our Events
Our News
Res. Team CCSI
Res. Team CCSI
Home
Members
PhD students
Labo Math., Comp. Sci. & App.
Statistics
Research
Publications
Congresses
Brevets
Projects
Books
Theses
FSA
Research Teams
Res. Team CCSI
Theses
Theses
Architecture distribuée de collaboration pour systèmes critiques : application aux systèmes navals
M. Benyamna (Supervisor)
Université Ibn Khaldoun (2016), Pages 90 Pages
Expressivité de la logique du premier ordre, de la logique dynamique propositionnelle sans étoile et des automates communicants
A. Heddad (Supervisor)
Université Ibn Khaldoun (2016), Pages 82 Pages
Analyse de la sécurité de systèmes critiques embarqués à forte composante logicielle, par interprétation abstraite
A. Attmani (Supervisor)
Université Ibn Khaldoun (2016), Pages 114 Pages
Acquisition opto-numérique de vêtements asiatiques anciens
K. Hajji (Supervisor)
Université Ibn Khaldoun (2016), Pages 152 Pages
Scalable DNA algorithms
G. Rozenberg (Supervisor)
Université Ibn Khaldoun (2015), Pages 91 Pages
Toward a verified compilation infrastructure for concurrent programs : non-sequential paradigms in Vellvm
G. Rozenberg (Supervisor)
Université Ibn Khaldoun (2015), Pages 130 Pages
Categorical Foundations of Quantitative Algebraic Reasoning
G. Rozenberg (Supervisor)
Université Ibn Khaldoun (2015), Pages 135 Pages
Garantie de confiance et de sécurité dans la composition de services et fonctions réseaux distribuées
A. Frosini (Supervisor)
Université Ibn Khaldoun (2015), Pages 155 Pages
Médias sociaux et gestion de communautés - applications dans le domaine de la gestion de la relation client
A. Frosini (Supervisor)
Université Ibn Khaldoun (2015), Pages 97 Pages
Analyse des problématiques liées à la reconnaissance de sons ambiants en environnement réel
E. B. Zaroual (Supervisor)
Université Ibn Khaldoun (2015), Pages 108 Pages
Analyse des voies métaboliques au cours du cycle cellulaire : application au métabolisme du cancer
Y. Ouakili (Supervisor)
Université Ibn Khaldoun (2015), Pages 154 Pages
Nouvelles approches pour la détection de relations utiles dans les processus : application aux parcours de santé
A. Zerouali (Supervisor)
Université Ibn Khaldoun (2015), Pages 156 Pages
Aide à la décision dans l'évaluation des impacts des politiques de financement de la recherche
A. Belhadj (Supervisor)
Université Ibn Khaldoun (2015), Pages 156 Pages
Algorithmes efficaces pour l’apprentissage de réseaux de préférences conditionnelles à partir de données bruitées
A. Belhadj (Supervisor)
Université Ibn Khaldoun (2015), Pages 115 Pages
Sécurisation systématique d'applications embarquées contre les attaques physiques
A. Belhadj (Supervisor)
Université Ibn Khaldoun (2015), Pages 111 Pages
Algorithmique de graphes pour la similarité structurelle de molécules et de réactions
S. Rafai (Supervisor)
Université Ibn Khaldoun (2015), Pages 110 Pages
Traduction mécanisée et certifiée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée
S. Rafai (Supervisor)
Université Ibn Khaldoun (2015), Pages 88 Pages
Apports des techniques d’apprentissage semi-supervisées dans l’établissement de liens entre artefacts de conception
R. Attouti (Supervisor)
Université Ibn Khaldoun (2015), Pages 106 Pages
Routage efficace et garanti dans les réseaux de capteurs sans fil
A. Boualem (Supervisor)
Université Ibn Khaldoun (2015), Pages 89 Pages
Application des architectures many core dans les systèmes embarqués temps réel
A. Boualem (Supervisor)
Université Ibn Khaldoun (2015), Pages 149 Pages
« Previous
1
…
6
7
8
9
10
…
21
Next »
Res. Team CCSI
Home
Members
PhD students
Labo Math., Comp. Sci. & App.
Statistics
Research
Publications
Congresses
Brevets
Projects
Books
Theses
×
Error
×
A problem has occured. Please try again or contact the application's admin.
OK