Helsingin yliopisto. Laskentakeskus. Tutkimuksia

contributor

• Helsingin yliopisto. Atk-keskus
• Helsingin yliopisto. Laskentakeskus

hasPart

• A fuzzy system with linguistic values : some logical and methodological considerations and applications
• A stepwise procedure for multivariate clustering
• Constructing verifiable programs : a design method and a case study
• International standardization of network protocols : introduction and current status (August 1983)
• Kielitieteellinen tietojenkäsittely LINUS-ohjelmiston avulla
• On computing discriminant functions in two alternative ways
• Proceedings
• Program construction by situation analysis
• Proving total correctness of nondeterministic programs in infinitary logic
• Sanomanvälitysjärjestelmien viestintäpalvelut ja niiden käyttö
• Sanomanvälitysjärjestelmien yhteiskäytön viestintäprotokollat
• Semantics of unbounded nondeterminism
• Suomen kielen sananmuotojen perusmuodon automaattinen päättely : mahdollisuuksien arviointia ja taivutuksen formalisointi
• The robustness of some simultaneous test procedures in the one-way analysis of variance
• Tutkimuksessa käytettävien tietokoneohjelmien laadusta : havaintoja Helsingin yliopiston laitosten ylläpitämästä ohjelmistokannasta

inLanguage

• en
• fi
• mul

isPartOf

• Fennica

issn

• 0356-9225

name

• Helsingin yliopisto. Laskentakeskus. Tutkimuksia
• Research reports / Computing centre, University of Helsinki
• Tutk. - Hels. yliop. atk-k
• Tutk. - Hels. yliop. laskentak
• Tutkimuksia
• Tutkimuksia / Helsingin yliopiston atk-keskus
• Tutkimuksia / Helsingin yliopiston laskentakeskus

P60049

• <http://rdaregistry.info/termList/RDAContentType/1020>

sameAs

• <https://issn.org/resource/issn/0356-9225>

Instances

• 1978-1986 : Helsingin yliopisto. Laskentakeskus
• 1991/1991 : Helsingin yliopisto. Atk-keskus