SZTAKI Tanulmányok 1973-1988
Az MTA Számítástechnikai és Automatizálási Kutató Intézet könyvsorozata, a Tanulmányok, az Intézet munkatársainak tudományos tevékenysége során született dolgozatok, disszertációk publikálásának fóruma volt. A 215 kötet az Intézet profiljának megfelelően az alábbi témákban közöl tanulmányokat:Alap- (felfedező) kutatási irányok- Számítástudomány és -technika- Rendszer és -irányításelmélet- Gépi érzékelés és interakció- Mérnöki és üzleti intelligenciaAlkalmazott kutatási irányok- Járműipar és közlekedés- Termelésinformatika és logisztika- Energia és fenntartható fejlődés- Biztonság és felügyelet- Hálózatok, hálózati rendszerek és szolgáltatások, elosztott számítások
Contents 27,648 pages
1980
- Diszkrét lineáris sztochasztikus rendszerek önhangoló szabályozása (SZTAKI Tanulmányok 101/1980)
- Dr. Pásztorné Varga Katalin: Rekurzív eljárás - Boole-függvénvrendszerek nemredundáns diszjunktiv normálformáit előállító, idő- és memóriaigény szempontjából optimális algoritmus (SZTAKI Tanulmányok 102/1980)
- dr. Gerencsér Piroska, dr. Szép Endre, Zilahy Ferenc, Marton Zsolt: Robotmegfogók adaptivitása I. (SZTAKI Tanulmányok 103/1980)
- Knuth Előd, Radó Peter, Toth Árpád: Az SDLA előzetes ismertetése (SZTAKI Tanulmányok 104/1980)
- E. Knuth, P. Radó, Á. Tóth: Preliminary description of SDLA (SZTAKI Tanulmányok 105/1980)
- Prékopa András: Sztochasztikus programozási modellek és alkalmazásuk (SZTAKI Tanulmányok 106/1980)
- Kelle Péter: Megbízhatósági készletmodellek és alkalmazásuk (SZTAKI Tanulmányok 107/1980)
- Almásy Gedeon: Mérlegegyenletek és mérési hibák (SZTAKI Tanulmányok 108/1980)
- Békéssy András, Demetrovios János, Gyepesi György: Relációs adatbázis logikai szintű vizsgálata funkcionális függőségek szempontjából (SZTAKI Tanulmányok 109/1980)
- Gadl Anna, Soltész János, Ruda Mihály, Ratká István: Tanulmányok a statisztikai adatfeldolgozásról (SZTAKI Tanulmányok 110/1980)
- Benedikt Szvetlána: Nem ismételhető döntéshozatal analízise kockázattal járó esetekben (SZTAKI Tanulmányok 111/1980)
- Verebély Pál: Többprocesszoros, osztott intelligenciájú grafikus rendszerek tervezési és megvalósítási kérdései (SZTAKI Tanulmányok 112/1980)
- Operációs rendszerek elmélete VI. visegrádi téli iskola (SZTAKI Tanulmányok 113/1980)
- Demetrovics János: Relációs adatmodell logikai és strukturális vizsgálata (SZTAKI Tanulmányok 114/1980)
- Gergely József: Program package sparse matrices (SZTAKI Tanulmányok 115/1980)
- Siegler András: Egy 6 szabadságfokú antropomorf manipulátor kinematikája és számítógépes vezérlése (SZTAKI Tanulmányok 116/1980)
1981
- Knuth Előd, Radó Péter: Principles of computer aided system description (SZTAKI Tanulmányok 117/1981)
- Demetrovics János, Gyepesi György: Általános függések és lekérdezéssel kapcsolatos algoritmusok relációs adatmodellekben (SZTAKI Tanulmányok 118/1981)
- Sztanó Tamás: Real-time programrendszerek eseményvezérelt szervezése (Esettanulmány a Péti Nitrogénmüvek adatgyűjtő rendszeréről) (SZTAKI Tanulmányok 119/1981)
- Szentgyörgyi Zsuzsa: A számítástechnika műszaki fejlődése és társadalmi hatásai (SZTAKI Tanulmányok 120/1981)
- Vicsek Tamásné (Strehó Mária): Vizsgalatok a kezdeti érték problémák numerikus megoldásával kapcsolatban (SZTAKI Tanulmányok 121/1981)
- Andó Györgyi, Lipcsey Zsolt: Sztochasztikus loapunov módszerek és alkalmazásaik (SZTAKI Tanulmányok 122/1981)
- Márkusz Zsuzsanna: Intelligens interaktiv rendszerek elvi problémái (SZTAKI Tanulmányok 123/1981)
- Márkusz Zsuzsanna: Logikai alapú programozási módszerek ës alkalmazásaik számítógéppel segített építészeti tervezési feladatok megoldásához (SZTAKI Tanulmányok 124/1981)
- Fabók Julianna: Software implementációs nyelvek (SZTAKI Tanulmányok 125/1981)
- Várszegi Sándor: Multimikroszámítógép-rendszerek (SZTAKI Tanulmányok 126/1981)
- Lipcsey Zsolt: N-szemelyes minőségi differencáljátékok késleltetéssel és késleltetés nélkül (SZTAKI Tanulmányok 127/1981)
- Böszörményi László: Multi-task rendszerek fejlesztése magasszintű nyelven (SZTAKI Tanulmányok 128/1981)
- Tóth János: A formális reakciókinetika globális determinisztikus es sztochasztikus modelljéről és néhány alkalmazásáról (SZTAKI Tanulmányok 129/1981)
1982
- Barabás Miklós, Tőkés Szabolcs: A lézer printer képalkotási hibái és optikai korrekciójuk (SZTAKI Tanulmányok 130/1982)
- RG-II / KNVVT Sistemy ugravlenia bazami dannyh i informacionnye sistemy (SZTAKI Tanulmányok 131/1982)
- RG-II / KNVVT Sistemy ugravlenia bazami dannyh i informacionnye sistemy (SZTAKI Tanulmányok 132/1982)
- RG-II / KNVVT Sistemy ugravlenia bazami dannyh i informacionnye sistemy (SZTAKI Tanulmányok 133/1982)
- Knuth Előd, Ronyai Lajos: Ocnovy yazyka zaprosa vazy dannyh SDLA/SET (SZTAKI Tanulmányok 134/1982)
- Nekotorye zadaci avtomatizacii proektirobanie (SZTAKI Tanulmányok 135/1982)
- Somló János: Forgácsoló megmunkálások folyamatainak optimálási és irányítási problémái (SZTAKI Tanulmányok 136/1982)
- Doklady simpoziumov (SZTAKI Tanulmányok 137/1982)
- Kovács László: Számítógép-hálózati protokollok formális specifikálása és verifikálása (SZTAKI Tanulmányok 138/1982)
- Operációs rendszerek elmélete 7. Visegrádi Téli Iskola (SZTAKI Tanulmányok 139/1982)
1983
- András Prékopa, Gerzson Kéri: Operations research software descriptions, Volume l. (SZTAKI Tanulmányok 140/1983)
- Ngo The Khahn: Prefix-mentes nyelvek és egyszerű determinisztikus gépek (SZTAKI Tanulmányok 141/1983)
- Pikler Gyula: Dialógussal vezérelt interaktív gépészeti cad rendszerek elméleti és gyakorlati megfogalmazása (SZTAKI Tanulmányok 142/1983)
- Márkusz Zsuzsanna: Modellelméleti és univerzális algebrai eszközök a természetes és formális nyelvek szemantikaelméletében (SZTAKI Tanulmányok 143/1983)
- Petróczy Judit: Publikációk 1981 (SZTAKI Tanulmányok 144/1983)
- Telcs András: Belső állapotú bolyongások (SZTAKI Tanulmányok 145/1983)
- Varga Gyula: Numerical methods for computation of the generalized inverse of rectangular matrices (SZTAKI Tanulmányok 146/1983)
- Demetvovics János: Proceedings of the joint bulgarian-hungarian workshop on mathematical cybernetics and data processing (SZTAKI Tanulmányok 147/1983)
- Sebestyén Béla: Fejezetek a részecskefizika elektronikus kísérleteinek adatgyűjtő/ -feldolgozó rendszerei köréből (SZTAKI Tanulmányok 148/1983)
- L. Keviczky,, J. Hethéssy: A general approach for deterministic adaptive regulators based on explicit identification (SZTAKI Tanulmányok 149/1983)
- IFIP TC.2 Working conference - System Description Methodologies (SZTAKI Tanulmányok 150/1983)
- Zsuzsanna Markusz: On first order many-sorted logic (SZTAKI Tanulmányok 151/1983)
- A. Prékopa, G. Kéri: Operations research software descriptions Vol. 2. (SZTAKI Tanulmányok 152/1983)
- Thomas Miles, Ratcliffe Ellis: The automatic generation of user-adaptable application-oriented language processors based on quasi-parallel modules (SZTAKI Tanulmányok 153/1983)
- Publikációk 1982 (SZTAKI Tanulmányok 154/1983)
1984
- Deák István, Hoffer János, Mayer János, Németh Ágoston, Potecz Béla, Prékopa András, Straziczky Beáta: Termikus erőműveken alapuló villamosenergia-rendszerek rövidtávú, optimális, erőművi menetrendjének meghatározása hálózati feltételek figyelembevételével (SZTAKI Tanulmányok 155/1984)
- Radó Péter: Relációs adatbáziskezeló rendszerek összehasonlító vizsgálata (SZTAKI Tanulmányok 156/1984)
- Ho Ngoc Luat: A geometriai programozás fejlődései és megoldádsi módszerei (SZTAKI Tanulmányok 157/1984)
- J. Demetrovics, J. Kelemen: Proceedings of the 3rd international meeting of young computer scientists (SZTAKI Tanulmányok 158/1984)
- Peter Bertók: A system for monitoring the machining operation in automatic manufacturing systems (SZTAKI Tanulmányok 159/1984)
- Ratkó István: Válogatott számítástechnikai es matematikai módszerek orvosi alkalmazásokban (SZTAKI Tanulmányok 160/1984)
- Hannák László: Többértékü logikák szerkezetéről (SZTAKI Tanulmányok 161/1984)
- Dr. Kocsis J., Fetisov B. A.: Gibkie avtomatizirovannye sistemy: Nedezsnocty i problemy ugravlenija (SZTAKI Tanulmányok 162/1984)
- Kalavszky Dezső: Meleghengerművi villamos hurokemelő hajtás vizsgálata (SZTAKI Tanulmányok 163/1984)
- Knuth Előd: Specifikációs adatbázis modellek (SZTAKI Tanulmányok 164/1984)
- Publikációk 1983 (SZTAKI Tanulmányok 165/1984)
- Radó Péter: Információs rendszerek számítógépes tervezése (SZTAKI Tanulmányok 166/1984)
1985
- András Prékopa: Studies in applied stochastic programming I. (SZTAKI Tanulmányok 167/1985)
- Böszörményi László, Kovács László, Martos Balázs, Szabó Miklós: L I L I P U T H (SZTAKI Tanulmányok 168/1985)
- Horváth Mátyás: Alkatrészgyártási folyamatok automatizált tervezése (SZTAKI Tanulmányok 169/1985)
- Márkus Gábor: Algoritmus mátrix alapú logaritmus kiszámítására kriptográfiai alkalmazásokkal (SZTAKI Tanulmányok 170/1985)
- dr Tamas Varady: Integration of free form surfaces into a volumetric modeller (SZTAKI Tanulmányok 171/1985)
- Reviczky János: A számítógépes grafika területkitöltő algoritmusai (SZTAKI Tanulmányok 172/1985)
- Kacsukné Bruckner Lívia: Mozgáspálya generálás felületek 2 1/2D-s bonyolult geometriáju NC megmunkálásához (SZTAKI Tanulmányok 173/1985)
- Bolla Marianna: Mátrixok spektrálfelbontásának és szinguláris felbontásának módszerei (SZTAKI Tanulmányok 174/1985)
- Hannák László, Radó Péter: Adatmodellek, adatbázis-filozófiák (SZTAKI Tanulmányok 175/1985)
- Számítógépes képfeldolgozási és alakfelismerési kutatók találkozója (SZTAKI Tanulmányok 176/1985)
- A. Gyárfás: Problems from the world surrounding perfect graphs (SZTAKI Tanulmányok 177/1985)
- Publikációk 1984 (SZTAKI Tanulmányok 178/1985)
- Terlaky Tamás: Egy veges criss-cross módszer és alkalmazásai (SZTAKI Tanulmányok 179/1985)
1986
- Renner Gábor: Kör approximációja a számítógépes geometriai tervezésben (SZTAKI Tanulmányok 181/1986)
- Proceedings of the joint bulgarian-hungarian workshop on mathematical cybernetics and data processing Vol I. (SZTAKI Tanulmányok 182/1986)
- Proceedings of the joint bulgarian-hungarian workshop on mathematical cybernetics and data processing Vol II. (SZTAKI Tanulmányok 183/1986)
- Ho Thuan: Contribution to the theory of relational databases (SZTAKI Tanulmányok 184/1986)
- Proceedings of the 4th international meeting of young computer scientistS IMYCS'86 (SZTAKI Tanulmányok 185/1986)
- Publikációk 1985 (SZTAKI Tanulmányok 186/1986)
- Előd Knuth, András Márkus: Proceedings of the winter school on conceptual modelling (SZTAKI Tanulmányok 187/1986)
- Lengyel Tamás: A cluster analízis néhány kombinatorikai és valószínűségszámítási problémája (SZTAKI Tanulmányok 188/1986)
- Bernus Péter: Gyártórendszerek funkcionális analízise és szintézise (SZTAKI Tanulmányok 189/1986)
- Hernádi Ágnes: A típus fogalma, és szerepe a modellezésben absztrakt adattípusok alkalmazásának új elveiről (SZTAKI Tanulmányok 190/1986)
- Vu Duc Thi: Funkcionális függőséggel kapcsolatos néhány kombinatorikai jellegű vizsgálat a relációs adatmodellben (SZTAKI Tanulmányok 191/1986)
- Zsuzsanna Márkusz: Papers on many-sorted logic as a tool for modelling (SZTAKI Tanulmányok 192/1986)
- Statji konferenci KNVVT no avtomatizacii informacionnyh processob na personalnyh EVM (SZTAKI Tanulmányok 193/1986)
- Statji konferenci KNVVT no avtomatizacii informacionnyh processob na personalnyh EVM Tom II. (SZTAKI Tanulmányok 194/1986)
- Telegdi László: Bináris változók struktúrájának vizsgálata (SZTAKI Tanulmányok 195/1986)
1987
- Rónyai Lajos: Algebrai algoritmusok (SZTAKI Tanulmányok 196/1987)
- Hernádi Ágnes, Bodó Zoltán, Knuth Előd: A tudásábrázolás technikái és gépi eszközei (SZTAKI Tanulmányok 197/1987)
- Miguel Fonfria Atan: A data base management system developed for the cuban minicomputer CID 300/l0 (SZTAKI Tanulmányok 198/1987)
- Bach Iván, Farkas Ernő, Naszódi Mátyás: A magyar nyelv elemzése számítógéppel (SZTAKI Tanulmányok 199/1987)
- Publikációk 1986 (SZTAKI Tanulmányok 200/1987)
- Eszenszki József, Hévízi László, Dr. Kas Iván, Dr. Läufer Judit, Palotási András, Szőnyi Tamás, Dr. Vörös Károly: Tanulmányok a számítástechnika nyomdaipari alkalmazásáról (SZTAKI Tanulmányok 201/1987)
- Problems of computer science proceedings of the joint workshop of computer and automation institute of has and computing centre of armenian academy of sciences held in (SZTAKI Tanulmányok 202/1987)
1988
- RG-25, KNVVT problemy i instrumentarii integracii informacionnyh sistem sbornik (SZTAKI Tanulmányok 203/1988)
- Csetverikov Dmitrij: A digitális textúravizsgâlat néhány új módszere (SZTAKI Tanulmányok 204/1988)
- Hernádi Ágnes: Új eszközök a fogalmi modellezésben (SZTAKI Tanulmányok 205/1988)
- The second hungarian workshop on image analysis (SZTAKI Tanulmányok 206/1988)
- Zsuzsa Márkusz, Gábor Márkus: Logic puzzles and logic programming I (SZTAKI Tanulmányok 207/1988)
- E. Csuhaj-Varjú,: Proceedings of the 5th international meeting of young computer scientists (IMYCS'88) (SZTAKI Tanulmányok 208/1988)
- Galja Mladenova Angelova: Sintaksiceskie i semanticeskie ctruktury reljacionnyh jazykov zaprosov (SZTAKI Tanulmányok 209/1988)
- Publikációk 1987 (SZTAKI Tanulmányok 210/1988)
- Eszenszki József, Kas Iván, Palotási András, Podmaniczky András, Szűcs Miklós, Vörös Károly, Zalán Frigyes, Alexander Mihajlovics, Klocskov Valerij, Alexandrovics Plahov: Tanulmány a számítógépes/ raszteres mikrofilm-lap készítés elvi és gyakorlati kérdéseiről (SZTAKI Tanulmányok 211/1988)
- Hencej Gustav: Modeli associativnyh obrazov (SZTAKI Tanulmányok 212/1988)
- Remzső Tibor: Issledovanie i pazpabotka untegrirovannyh sistem obrabotki informacii (na irimere sistemy strahovanija) (SZTAKI Tanulmányok 213/1988)
- Informacionnaja sistema issledovatelja no ekspertnym sistemam i bazam enanij (SZTAKI Tanulmányok 214/1988)
- Somogyi Péter: Bonyolult szakértő rendszerek tudásbázisának logikai modellezése (SZTAKI Tanulmányok 215/1988)
