Teknillinen korkeakoulu. Laskentakeskus

name

• Teknillinen korkeakoulu. Laskentakeskus

Authored works

Works contributed to

• A formalization of Wittgenstein's definition of natural numbers
• A SAC machine connected to a universal computer
• A structured intermediate language for Modula-2
• Adaptability in computer software production
• Algebraic description of high level languages using category theory
• An implementation of Pascal-S
• ANALITIK, MIR-2 tietokoneen ohjelmointikieli : yleiskuvaus
• Analytical programs for the MIR-2 computer
• Asiakirjamuotoisen tekstin tulostusohjelma HP 2000 tietokoneella
• Computing in Finnish universities
• Datavaihde Otaniemen tietojenkäsittelyverkossa : yleiskuvaus
• DEC-20-tietokoneen käyttö
• DILOS tekoälyjärjestelmä
• Epälineaarisen regressioanalyysin suorittaminen UNIVAC 1108 massager-ohjelmalla
• Epälineaaristen kahden pisteen reuna-arvotehtävien ratkaisemisesta
• FORTRAN-77 -opas : asiakaspalveluopas
• Gruusian Neuvostotasavallan tiedeakatemia
• Hierarchic class relations of symbolic type complexes : a formalism for natural language and knowledge representation
• HP 2000 A osituskäyttö BASIC kielenopas
• HP 2000 ACCESS-opas
• Impact of the soft panel concept on system design and programming
• Information systems and technology : the needs and ways to go
• Interfacing MIR-2 with TTL
• Kielenkäsittelyn ja konekääntämisen tutkimuksesta Gruusiassa
• Korkeakouluopetuksesta Neuvostoliitossa
• Lask.k. tied. (Espoo)
• Laskentakeskuksen toiminta- ja taloussuunnitelma vuosille 1976... 1980
• Laskentatekniikka Unkarin kansantasavallassa : tiede-, tekno- ja teollisuuspoliittinen katsaus
• Lausekkeiden käsittely ja koodintuottaminen koneriippumattomassa Pascal-kääntäjässä
• Lineaarisen ohjelmoinnin ohjelmointijärjestelmä ILONA UNIVAC 1108-tietokoneella
• Lisp-ohjelmointikieli 25 vuotta : katsaus kielen historiaan, kehitykseen ja ohjelmointijärjestelmiin
• Mathematical methods in proving properties of programs
• MC-2 - a man/computer dialogue support system for the MIR-2 computer
• MC-2B : MIR-2 remote controller
• Mensch-Maschine-Schnittstelle und integrierte Programmierumgebung : über neue Konzepte und Techniken
• Mikrotietokoneen valintaopas : testiraportti 1989
• On the role of self and self-knowledge in man-machine systems
• Osituskäytön ja eräkäytön vertailu korkeakouluympäristössä
• Pascal compiler for 8-bit microprocessors
• PortaCOM : käyttäjän opas : asiakaspalveluopas
• Pragmatic problems of man/computer dialogues
• REDUCE-2 and ANALITIK-74 : a comparison
• SEV-maiden uusista tietokonesarjoista
• Soft display key for Kanji input
• Some notes on the implementability problems of Ada
• Special hardware in computational linguistics : toward new generation symbolic computing
• Symbolic association by word rotation in nested ordered binary tree structure
• Symbolikertoimisten lineaaristen yhtälöryhmien ratkaiseminen MIR-2 -tietokoneella
• Teknillinen korkeakoulu. Laskentakeskus. Tutkimussarja
• Tekolan sanomat : Teknillisen korkeakoulun laskentakeskuksen tiedotuslehti
• The design of a Pascal multi-compiler with register-oriented code generation
• The English ANALITIK system for MIR-2
• The wave and the dynamic scheduling
• Tiedonhallintajärjestelmä CS4
• Tietokonejärjestelmän käyttäjäystävällisyyden parantaminen ajoitusta muuttamalla
• Tietokoneohjelmien oikeudellisesta suojasta
• Tietoliikenneverkon kytkentäjärjestely ja ylläpito
• Tilastollinen ohjelmapakkaus BMD UNIVAC 1108-tietokoneella
• TKK:n tietoliikenneverkon kehittäminen
• Työesitteet 1976
• UNIVAC 1108 tiedostojen käyttö
• Unix-maailma : versio 0.9
• Videoclavis, a universal programmable human interface
• Yhtälöryhmien ratkaiseminen Newtonin menetelmällä laskemalla Jacobin matriisin analyyttinen muoto
• Yleistetty tasomenetelmä : näkökohtia tieteellisestä tietokoneen valinnasta

Works about Teknillinen korkeakoulu. Laskentakeskus