RRIA – Vol. 28 – Nr. 2 – 2018

S. Balemi, P. Kozák, P. Smedinga (Editori) Birkhäuser Verlag AG, Basel, Switzerland, 1993, 230 pagini Cercetarea în domeniul sistemelor cu evenimente discrete (prescurtat SED) este motivată de aplicațiile în  sistemele flexibile de fabricaţie, în reglarea traficului şi în proiectarea şi verificarea software în timp-real, pentru a nu menţiona decît cîteva …

Wayne Snyder (Birchäuser Publ. House, Boston, 1991, p. 178) Această monografie a apărut în 1991, în seria “Progress in Computer Science and Applied Logic”, la editura Birkhäuser, autorul ei, Wayne Snyder, fiind un cercetător american de la Universitatea din Boston. Volumul prezintă două generalizări ale unificării standard, respectiv unificarea în …

Achim Sydow (editor), Elsevier Science Publishers B.V., Amsterdam, Olanda, 1992, 458 pagini. Există tratate a căror apariție umple un gol în literatura de specialitate. Se poate afirma că lucrarea Computational Systems Analysis, publicată de cunoscuta editură olandeză Elsevier reprezintă tocmai o astfel de carte, Impulsul publicării unui astfel de tratat …

Parsaye K. – Intelligent Databases. Object-Oriented Deductive Hypermedia Technologies, Editura John Wiley & Sons, New York, 1989. Cartea prezintă tehnologia bazelor de date inteligente care au un impact considerabil asupra modalităţilor de gîndire şi lucru ale utilizatorilor. Bazele de date inteligente extind facilităţile oferite de sistemele de baze de date …

Suad Alagic – Alagic, S. – Object-Oriented Data Base Programming, Editura Springer, New York, 1989, p. 320. Lucrarea constituie o încercare reuşită de definire a unui limbaj de programare de nivel înalt, orientat pe obiecte, care să fie utilizat ca limbaj standard de definire şi manipulare de date. Limbajul definit …

Stan Roatz – Graph-Based Proof Procedures for Horn Clauses, Editura Birkhäuser, Boston, 1990 Lucrarea se adresează specialiştilor în baze de cunoştinţe şi programare logică și constituie o apariţie notabilă în domeniu. Calitățile lucrării constau în rigoarea matematică prin care se abordează noțiunile legate de limbajul Homolog. Însuşi limbajul Homolog este …

Johannes Krötenheerdt Abt. Wissenschaftspublizistik der MLU Halle-Wittenberg, Halle (Saale), 1991 Lucrarea se constituie ca o prezentare de comunicări şi rapoarte ştiinţifice susţinute la Conferinţa COMPIA (Computerul ca mijloc de lucru inteligent)-91, desfășurată în perioada 24-26 septembrie 1991 în cadrul Universităţii Martin Luther din Halle-Wittenberg. Scopul preponderent al conferinţei l-a constituit …

(Actele Colocviului: DOCTORI ÎN INFORMATICĂ) Abaidi M. (ed.) Université de Bourgogne Dijon, oct. 1990, 316 p. Primul colocviu al doctorilor în informatică din Franţa a avut loc în perioada 15-16 octombrie 1990, în organizarea Laboratorului de informatică al Universităţii Bourgogne. Obiectivul acestei manifestări l-a constituit prezentarea direcțiilor de evoluţie a …

Béla Andrásfai Akadámiai Kiadó Budapesta,1991 Lucrarea pe care o recenzăm este continuarea, la un nivel superior, a unei lucrări anterioare, semnată de același autor, intitulată “Introductory Graph Theory” apărută în limba maghiară în anul 1971 și în limba engleză în anul 1977. Înțelegerea noţiunilor prezentate în lucrarea de faţă presupune …

Marjorie G. Hahn, David M. Mason, Daniel C. Weiner ed. Birkhäuser Volumul se constituie dintr-o culegere de articole din domeniul cercetării fundamentale în teoria probabilităţilor. Scopul acestei cărţi este de a prezenta principalele modalităţi de abordare a studiului ajustării sumelor folosite printr-o varietate de noi rezultate. Cea mai mare parte …