DSpace Repository
Search
Login
DSpace Home
→
Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search
Search:
All of DSpace
A- Faculté de Droit et Sciences Politiques
B- Faculté des Lettres et des Langues
C- Faculté des Sciences de la Nature et de la Vie
D- Faculté des Sciences Economiques, Commerciales et des Sciences de Gestion
E- Faculté des Sciences Exactes
F- Faculté des Sciences Humaines et Sociales
G- Faculté de Technologie
H- Faculté Médecine
I- Procès verbaux
J- Revues scientifiques
K- Autres
Filters
Use filters to refine the search results.
Current Filters:
Title
Author
Subject
Date issued
Contains
Equals
ID
Not Contains
Not Equals
Not ID
New Filters:
Title
Author
Subject
Date issued
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Showing 3 out of a total of 3 results.
(0.076 seconds)
Now showing items 1-3 of 3
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Representations de formules SAT pour la resolution sequentielle
Boudjerida, Fatima
;
Habbas, Zineb; Promotrice
(
Université de Béjaia
,
2007
)
Décompositions arborescentes pour résoudre les problèmes de satisfaction de contraintes avec mise en ouvre du parllélisme
Mohammed, Lalou
;
Habbas, Zineb; Promotrice
(
Université de Béjaia
,
2009-04
)
Colonie de fourmis pour le probleme du transport multimodal
Tahraoui, Mohammed Amine
;
Habbas, Zineb; Promotrice
(
Université de Béjaia
,
2009-01
)
Now showing items 1-3 of 3
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
My Account
Login
Register
Discover
Author
Habbas, Zineb; Promotrice (3)
Boudjerida, Fatima (1)
Mohammed, Lalou (1)
Tahraoui, Mohammed Amine (1)
Subject
Problème de satisfaction de contraines : CSP : Décompoosition arborescente : Résolution CSP : Parallélisme (1)
réseaux : Réseaux multimodaux : Algorithme : Colonie de fourmis : Optimisation multi-objectif : Régulation (1)
SAT : Resolution sequentielle : CNF : OBDD : DNNF (1)
... View More
Date Issued
2009 (2)
2007 (1)