Abonnez-vous à cette collection afin de recevoir un avis quotidien des derniers ajouts.

Date de publication	Titre	Auteur(s)
2019-06-03	الجملة في ضوء اللسانيات الحاسوبية	عابد, رشيدة
2006-06-01	بلاغة النّثر وضروب الكلام في التّراث العربي -قراءة في كتاب" إحكام صنعة الكلام" للكلاعي-	عابد, رشيدة
2013	دور الرواية وأثرها في تدوين شعر أحمد لمسيح بمنطقة آث واسيف	آيت إحدادن, كريمة
2010-10-01	كتاب الزينة في الكلمات الإسلامية العربية "دراسة وصفية تحليلية"	آيت إحدادن, كريمة
2017-12-01	الرؤيا و التأويل عند ابن سيرين	بحري, بشير
2015	CARACTERISATION D’UNE SOUCHE D’ACTIONBACTERIE, DIETZIA SP., PRODUCTRICE DE METABOLITES D’INTERÊT AGRICOLE	DAHDAH, K; RAI, Abdelwahab; BENSIDHOUM, LEILA; SCHMID, M; HARTMANN, A; NABTI, ETE
2015	Biological Control of Botrytis cinerea by Bacillus sp. Strain S7LiBe Under Abiotic Stress	Bensidhoum, Leila; Rai, Abdelwahab; Tabli, Nassira; Kahouadji, Nabila; Khaber, Meriem; Nabti, Elhafid
2019-04-28	الدفاع الشرعي بين الشرعية والانتهاك لقواعد القانون الدولي	Khelifi, Samir
2019-02-01	Safety analysis of train control system based on model-driven design methodology Authors Abdelhakim Bouya, Otmane Ait Mohamed, Djamal Bennouar, Samir Ouchani Publication date 2019/2/1 Journal Computers in Industry Volume 105 Pages 1-16 Publisher Elsevier Description Embedded system design is a complex process that demands an extensive system level modeling. Its implementation encompasses software and hardware components and its interconnections. In such systems, it is widely recognized that safety should be considered at the design stage itself, particularly at the architectural level to minimize the design effort. This paper presents a novel methodology based on model-driven specification and probabilistic model checking to automatically analyze safety based availability before synthesizing the embedded software product. Initially, the specification relies on the Architecture Analysis and Design Language (AADL) standard. Applying this standard, software components, communication links, and hardware platform are modeled. From the software components, a formal specification suitable for analysis and verification is extracted. When the verification is done and …	Bennouar, Djamal
2015	Inventaire des orchidées de la Kabylie des Babors (Algérie) – éléments de cartographie et enjeux patrimoniaux	Franck Bougaham, Abdelazize; Bouchibane, Mebarek; Véla, Errol
2019-02-01	Safety analysis of train control system based on model-driven design methodology	Bennouar, Djamal
2013	Chemical composition and antimicrobial activity of the essential oils of Pinus pinaster	Ait Mimoune, Nouara; Ait Mimoune, Djouher; Yataghene, Aziza
2017	ÉTUDEPHYTOGÉOGRAPHIQUE DES MASSIFS FORESTIERS DE KÉFRIDA, UN SECTEUR MÉCONNU DE LA ZONE IMPORTANTE POUR LES PLANTES DES BABORS (NORD-EST ALGÉRIEN)	BOUCHIBANE, Mebarek; VÉLA, Errol; Franck BOUGAHAM, Abdelazize; ZEMOURI, Mourad; MAZOUZ, Azzedine; SAHNOUNE, Mohamed
2008	The Inhibition and Adsorption Processes of L-Cysteine Against the Corrosion of XC 18 Carbon Steel in 2N H2SO4	Touafri, L.; Kadri, A.; Khelifa, A.; Aimeur, Nacira; Benbrahim, N.
2017-12-20	السّردي في الشعر الجزائري المعاصر قصيدة " أزهار البرواق" لأحمد عاشوري نموذجا	سعدوني, يحيى
2018-12-20	الرؤيا ونهائية الصورة الشعرية المغاربية المعاصرة	سعدوني, يحيى
2019-12-01	العنوان/الرؤيا في الشعر الجزائري المعاصر	سعدوني, يحيى
2019-12-01	الرؤيا والإيقاع الدّلالي في الشعر الجزائري المعاصر	سعدوني, يحيى
2020-08-13	سيرورة بناء الرؤيا في الشعر العربي المعاصر، قصيدة "سماء بعيدة" لعاشور فنّي-أنموذجا	سعدوني, يحيى
2018-09	Effect of dairy products intake on breast cancer risk: A case-control study in AlgeriaEffet de la consommation de produits laitiers sur le risque de développer un cancer du sein : étude cas-témoin en Algérie	Malioua, Djamil; Belmadi, Dounia; Saadi, Wissem; Mahfouf, Hassen; Benzidaned, Noureddine; Bitama, Arezki