SZTAKI Közlemények 33. (1985)

TARTALOM Old. G. ANGELOVA: Konjuktiv lekérdezési táblázatok és alkalmazásaik ............................................................................................. 7-27 N.N. KARABUTOV­­­I. HADREVI : Adaptiv megfigyelők sztochasztikus stabilitása vektor Ljapunov függvények segítségével ................................................................ 29185 L. KOVÁCS: Automatikus protokoll verifikálás .................... 37­45 NGUYEN CONG THANH: A negativ instabilitás implikálja a 2 periódusú pálya létezését ................................................ 47-54 K. G. PEEVA: Fuzzy automaták és fuzzy grammatikák " * 55—67 R.L.­­^EPANOVici: Bizonyos eltolás operátorok reali­zációinak lineáris komplexitása .......................................... 69-85 L. Zs. VARGA: Megjegyzések a folytonos és periodikus függvények egy problémájához ..................................................... 87-9­4 V.P. VELINOV: Hálók, polikategóriák és a párhuzamos programok szemantikája ........................................................ 95-112 VU DUC THI: Relációs adatbázisok minimális kulcsai­nak és anti­kulcsainak megkeresésére vonatkozó algoritmusok ....................................................................................... 113-143 KÖNYVISMERTETÉS ........................................................................................ 14­5-146 M. Vukobratovic­, N. Kircanski: "A manipulációs robotok valós idejű dinamikája" ................................ 145 J. Ackermann: "Mintavételes szabályozási rendszerek" ..................................................................................... 146

Next