Acta Wasaensia, Literary and cultural studies
name: Seutusuunnittelun keskusliitto. Julkaisu. A
name: Etelä-Pohjanmaan liitto : talousarvio 2010 ja taloussuunnitelma 2011-2012
name: Aalto University publication series : Science + technology
name: Leviläinen : erikoislehti Levin alueen matkailusta
name: Insinöörijärjestöjen koulutuskeskus
name: Vaasan kauppakorkeakoulun julkaisuja. Tutkimukset, Filologia
name: Savonia University of Applied Sciences Serie : B
name: Yrityksen taloustieteen ja yksityisoikeuden laitoksen julkaisuja / Tampereen yliopisto. Sarja B 2, Opetusmon
name: Publikation / Ungdomsforskningsnätverket/Ungdomsforskningssällskapet
name: Teknillinen korkeakoulu. Konetekniikan osasto. Laivanrakennustekniikan laboratorio. M
name: Teknillisen korkeakoulun laskennallisen tekniikan julkaisuja : Report B
name: Nuorisoasiain neuvottelukunta, julkaisuja
name: Kasvatustieteiden tutkimuslaitoksen julkaisusarja B. B, Teoriaa ja käytäntöä
name: Kytösavut : Etelä-Pohjanmaan maakuntaliiton julkaisu
name: Päijät-Hämeen seutukaavaliiton julkaisu : C
name: Raportti / Helsingin teknillinen korkeakoulu, kevytrakennetekniikan laboratorio. Sarja B
name: Yrityksen taloustieteen ja yksityisoikeuden laitos / Tampereen yliopisto. B, Tutkimuksia ja monisteita
name: Research reports / Department of Special Education, University of Jyväskylä
name: Vaasan kauppakorkeakoulun julkaisuja. Opetusmonisteita, Sosiologia
name: Julkaisu : Lappeenrannan teknillinen yliopisto, kemiantekniikan osasto
name: HAMK AOKK:n julkaisuja / Hämeen ammattikorkeakoulu
name: Vaasan korkeak. julk., Opet.monist., Mat
name: Selos. kats. - Jyväsk. yliop., Chydenius-inst
name: Teknillinen korkeakoulu. B
name: Sosiaali- ja terveysministeriö. Esitteitä
name: Savonia-ammattikorkeakoulun julkaisusarja, D
name: Vaasan korkeak. julk., Tutk., Philol
name: [Komiteanmietintö]. B = Kommittébetänkande
name: Historian perintö
name: Tutkimuksia / MTTL
name: Raportteja / Palkansaajien tutkimuslaitos
name: Publications in telecommunications software and multimedia / Helsinki University of Technology, Telecommunications Software and Multimedia Laboratory. A
name: Helsinki School of Economics and Business Administration : B
name: Lecture series / Helsinki University of Technology, Department of Electrical and Communications Engineering, Laboratory of Electromechanics
name: Working papers / Agricultural Economics Research Institute, Finland
name: Suuret maailmanmenestykset. [Sarja 1]
name: STAKES. Tutkimuksia
name: Helsingin yliopisto. Maaseudun tutkimus- ja koulutuskeskus : Sarja C (Seinäjoki)
name: Julkaisu / Pohjois-Pohjanmaan liitto : A
name: Julkaisu / Tampereen yliopisto. Yhteiskuntatieteiden tutkimuslaitos
name: Suomalaisen Kirjallisuuden Seuran toimituksia, 0009
name: Raportti / Helsinki University of Technology, Department of Electrical Engineering and Communications, Laboratory of Acoustics and Audio Signal Processing
name: Aalto University publication series. 116/2012, Doctoral dissertations
name: Finland : road map
name: Publications of the Department of History, University of Helsinki
name: Tutkimuksia / Suomen Pankki. E
name: Teknillinen korkeakoulu. Teknillisen fysiikan laitos. Report. A
name: Kasvatustieteiden tiedekunnan selosteita / Joensuun yliopisto = Bulletins of the Faculty of Education / University of Joensuu
name: Ministry of social affairs and health publications
name: Pirkanmaan liitto. Sarja D, Yhteistyöjulkaisut
name: Julkaisusarja / Sotakorkeakoulu, sotatieteen laitos. 3, Strategian asiatietoa
name: HAMK julkaisuja
name: Julkaisusarja / Turun yliopisto. A
name: Sosiaalipolitiikan laitoksen tutkimuksia. Sarja C. Sosiaalipolitiikan käytäntö ja opetus
name: Tutkimuksia / Helsingin yliopiston opettajainkoulutuslaitos
name: Internet publications / Finnish youth research network and Finnish youth research society
name: [Julkaisu] : Insinöörijärjestöjen koulutuskeskus
name: STM selvityksiä 2009:28
name: Julkaisuja / Tampereen yliopisto. Yhteiskuntatieteiden tutkimuslaitos
name: Издание / MKTK : G
name: Helsinki University of Technology Institute of Mathematics research reports : A
name: Publicaciones del Ministerio de educación
name: Julkaisu / Tampereen yliopisto. B, Opetusmonisteet
name: Series of publications / Department of Computer Science, University of Helsinki. B
name: [Julkaisu] : B / [Keski-Suomen liitto]
name: [Eurooppatietoa]
name: HUMAK Publications : Series E
name: Publications / Ministry of Trade and Industry
name: Helsingin yliopiston sosiaalipsykologian laitoksen tutkimuksia = Research reports / Department of Social Psychology, University of Helsinki
name: Tietojenkäsittelytieteiden laitos, Tampereen yliopisto : A
name: Tiedotteita/ Valtion teknillinen tutkimuskeskus
name: Tampereen yliopisto. Sosiologian ja sosiaalipsykologian laitos. Sarja A, Tutkimuksia
name: Rapport / Tekniska högskolan i Helsingfors, laboratoriet för akustik
name: VTT tied. (Pain.)
name: Joensuun yliopiston kasvatustieteellisiä julkaisuja = University of Joensuu publications in education
name: Julk. - Hels. yliop., Maaseudun tutk.- koul.k. Mikkeli
name: Oppimater. - Hels. yliop., Lahden tutk. koul.k
name: Helsingin yliopiston maantieteen laitoksen julkaisuja. A
name: Julkaisuja / Tampereen yliopisto, tiedotusopin laitos. Sarja D, Opetusmoniste
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Autoepistemic logic as a unified basis for nonmonotonic reasoning
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Program synthesis based on graph grammars
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Specification of a net description language compiler
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

High level distributed transition systems in categories
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Semantics of semaphores
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Annual report : For the year 1997
name: Annual report : For the year 1987
name: Annual report : For the academic year 1983-1984
name: Annual report : For the year 1990
name: Digital Systems Laboratory : annual report for the academic year 1983-1984
name: Annual report : For the academic year 1976-1977
name: Annual report : For the year 1995
name: Annual report : For the academic year 1981-1982
name: Annual report : For the year 1994
name: Annual report : For the year 1988
name: Annual report : For the year 1992
author: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
name: Annual report : For the academic year 1979-1980
name: Annual report : For the year 1996
name: Annual report : For the academic year 1982-1983
name: Annual report : For the academic year 1978-1979
name: Annual report : For the academic year 1980-1981
name: Annual report : For the year 1991
name: Annual report : For the academic year 1977-1978
name: Annual report : For the year 1993

Henkilökohtaisten mikrotietokoneiden kohderyhmä- ja ominaisuustarkastelu
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A Petri-net model for a hybrid-redundant output system
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Logic in Petri net analysis
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Resource allocation in a distributed data acquisition network
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Tekoälytutkimuksen kaupalliset sovellutukset ja markkinat
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A structural, programmable text editor based on graph grammars
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A multiprocessor reliability model
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A comparative study of methods for efficient reachability analysis
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

PROD reference manual
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Raportti tutustumismatkasta Varsovan teknillisen korkeakoulun tietojenkäsittelytekniikan laitokselle 19-26.2.1979
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A comparison of Pr/T-Net based FIFO channel models
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Towards automatic interpretation of S-invariants of predicate/transition nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Stratification and tractability in nonmonotonic reasoning
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

[my]C* : a hybrid redundant fault-tolerant multimicroprocessor
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Net-theoretical methods in modelling Byzantine consensus protocols in agreement problems
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A graph manipulation system
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

On the compositionality and analysis of algebraic high-level nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Efficient detection of deadlocks in Petri nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Circuits insensitive to delays in transistors and wires
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Digital systems laboratory : annual report for the academic year 1975-1976
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Petri nets in algebraic theories : a category theory approach
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Efficient algorithms for computing S-invariants for predicate/transition nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Hardware support of concurrent process interaction and synchronization : on the principle of autocorrect implementation
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

An application of teaching to intelligent robot behavior
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Helsinki logic machine : a system for logical expertise
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Utilizing Petri net models for multiprocessor synchronization and scheduling
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Automated interpretation of S-invariants of predicate/transition nets : an application of non-classical logics
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Constructing spherical codes by global optimization methods
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Tools for verifying specifications
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A PrT-net representation of graph grammars
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

ReFIEx : an experimental tool for special-purpose processor code generation
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Esitutkimus epämonotonisesta logiikasta
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Artificial intelligence related research and education in Finland 1983
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Dynamical analysis of SDL programs with predicate/transition nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

On the performance evaluation of multimicroprocessor systems
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Interfacing and transforming knowledge bases in a graph grammar based documentation system
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Towards optimizing code generation by domain-sensitive macro expansion
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

An automatatheoretical approach to concurrency
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Performance analysis of a video on demand system using stochastic Petri nets : a case study
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Constructing combinatorial designs by local search
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Priorities and nonmonotonic reasoning
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Minimum-energy point charge configurations on a circular disk
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

On the stubborn set method in reduced state space generation
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Weakened negative introspection in autoepistemic reasoning
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

An implementation of the LISPKIT LISP system
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Tietojenkäsittelyteorian käsiterakenteiden käytöstä luonnollisen kielen ymmärtämisen kuvaamisessa
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Computer systems as parts of flexible manufacturing systems
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

On the performance of the hybrid redundant multimicroprocessor [my]C*
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Lexicographic ordering as a basis of priorities in default reasoning
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A failure model of a distributed transaction processing system
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Asiantuntijajärjestelmät
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Tekoälytutkimuksen uusi tuleminen : katsaus alan järjestö-, konferenssi- ja julkaisutoimintaan maailmalla
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

An interactive user interface for a graph manipulation system
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

On the notion of dialectical nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

On the structure of delegation networks
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Report from a study and research tour to the Leningrad Electrotechnical University (LETI) 3.1.-7.4.1978
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Constructions of mixed covering codes
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Luonnollisen kielen ymmärtämisen tarkastelua
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A graph model for efficient reachability analysis of description languages
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A performance modeling methodology for multiple processor systems
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

An induction theorem for ring protocols of processes described with predicate/transition nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

[my]CAOS : a symmetric multiprocessor operating system supporting hybrid redundant computing
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Multimicroprocessors as numerical control systems for machine tools
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Tekoäly : lyhyt katsaus
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

An interactive PrT-net tool for verification of SDL-specifications
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

On the implementation of decentralized operative computer control for flexible manufacturing systems
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Suomenkielen automaattinen tulkinta verkkokielten avulla : ensimmäisiä tuloksia
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Introduction of Combinatorial Extended Petri Nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Report : For the years 1984-1986
author: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

On the structure of high-level nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

PROD-A Pr/T-net reachability analysis tool
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Graph grammar approach to natural language parsing and understanding
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Computer numerical control and multimicroprocessors
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Modelling oral message solution protocols for agreement problems in fault-tolerant distributed systems using predicate/transition nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A high-level net model of a video on demand system
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
type: Organization

Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Dialectical nets : a categorical approach to net theory
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A management model of computer system design based on graph grammars
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Constructing covering designs by simulated annealing
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Moniprosessorijärjestelmien ohjelmistoarkkitehtuuritutkimuksen suuntaviivat Digitaalitekniikan laboratoriossa vuosille 1979-1981
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Proceedings of the HeCSE Workshop on Emerging Technologies in Distributed Systems
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Performance analysis of a traffic control system using Stochastic Petri Nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

On the implementation of recursive computers
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

About the implementation of numerical control of machine tools by multimicroprocessor systems
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Non-monotonic systems : a framework for analyzing semantics and structural properties of non-monotonic reasoning
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Design and implementation of a reduction tool for PrT-nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Design of a simulation model for performance evaluation of the multimicroprocessor system "MUMI"
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Towards constraint satisfaction through logic programs and the stable model sematics
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A logical basis for C/E-systems
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Modelling message protocols for the Byzantine generals problem with PrT-nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Implementation of local grounding for logic programs with stable model semantics
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A survey of fault-tolerant clock synchronization
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

SPNA, a Stochastic Petri Net Analyzer
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Efficient implementation of the stable model semantics for normal logic programs
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

A model for representing and invoking robot bodily skills
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

Some unsolved problems in modelling self-timed circuits using Petri Nets
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio

What operational semantics is adequate for nonsequential systems?
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio