Edellinen kuva
Lähennä
Loitonna
Keskitä
Seuraava kuva
Siirry rajauksiin
Siirry sisältöön
Etusivu
Haut ja palvelut
Perushaku (etusivu)
Aloita uusi haku.
Tarkennettu haku
Tarkemmat hakuehdot.
Hakuhistoria
Istuntokohtainen hakuhistoriasi. Kirjautumalla voit tallentaa hakusi.
Oppimateriaalit
Hae oppimateriaaleja eri aiheista.
Oikopolku tutkittuun tietoon
Syvenny tutkittuun tietoon.
Finna Luokkahuone
Tutustu opetuksen ja oppimisen sisältöihin.
Finna Street
Hae kuvia sijaintisi perusteella.
Tietoa Finnasta
Finna.fi – Kulttuurin ja tieteen aarteet yhdestä osoitteesta
Millaisia aineistoja voit löytää? Kirjautumalla saat enemmän. Monta tapaa käyttää Finna.fi:tä.
Finna – hakupalvelujen kokonaisuus
Mitä eroa Finna.fi:llä ja muilla Finna-hakupalveluilla?
Aineistojen tarjoajat
Lisätietoa Finnasta
Mitä tietoja minusta kerätään? Kuka Finnaa tekee? Finna-API. Finnan ohjelmisto. Palvelun käyttöä koskevat yleiset ehdot. Kuinka organisaationi voi liittyä Finnaan?
Vastuullinen Finna
Uutiset
Häiriötiedotteet
Ohje
Suomi
Suomi
Svenska
English
Kirjaudu
Haku
Hae
Tekijä
Kaikki osumat
Otsikko
Tekijä
Aihe
Hae
Tarkennettu haku
"Teknillinen korkeakoulu. Digitaalitekniikan laboratorio" | Hakutulokset
Kaikki aineistot
Oppimateriaalit
Kaikki aineistot
Lisää
Kaikki aineistot
Oppimateriaalit
Hakutulokset
Rajaa hakua
Näytetään
1
- 20
/
171
Siirry seuraavalle sivulle
Järjestä
Järjestä
Relevanssi
Relevanssi
Vuosi (uusin ensin)
Vuosi (vanhin ensin)
Luokka
Tekijä
Otsikko
Viimeksi muuttunut
Viimeksi lisätty
Järjestä
Relevanssi
Vuosi (uusin ensin)
Vuosi (vanhin ensin)
Luokka
Tekijä
Otsikko
Viimeksi muuttunut
Viimeksi lisätty
Tuloksia sivulla
Tuloksia sivulla
20
20
50
100
Tuloksia sivulla
20
50
100
Näytä
Näytä
Tiedot ja kuvat
Tiedot ja kuvat
Kuvagalleria
Tiivistetty lista
Hakutulos 1
Tekoälytutkimuksen kaupalliset sovellutukset ja markkinat
Näytä tarkat tiedot
Kirja
Hyvönen, Eero
,
1957-
Hyvönen, Eero
Hae tekijöistä
Hae aiheista
Sulje
;
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Hae tekijöistä
Hae aiheista
Sulje
1983
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
Tietojenkäsittelyteorian käsiterakenteiden käytöstä luonnollisen kielen ymmärtämisen kuvaamisessa
Näytä tarkat tiedot
Kirja
Hyvönen, Eero
,
1957-
Hyvönen, Eero
Hae tekijöistä
Hae aiheista
Sulje
;
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Hae tekijöistä
Hae aiheista
Sulje
1982
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
Logic in Petri net analysis
Näytä tarkat tiedot
Kirja
Tuominen, Heikki
,
1957-
Tuominen, Heikki
Hae tekijöistä
Hae aiheista
Sulje
;
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Hae tekijöistä
Hae aiheista
Sulje
1988
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 4
Modelling message protocols for the byzantine generals problem with PrT-nets
Näytä tarkat tiedot
Kirja
Johansson, K.
Johansson, K.
Hae tekijöistä
Hae aiheista
Sulje
;
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Hae tekijöistä
Hae aiheista
Sulje
1988
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
Annual report. For the academic year 1981-1982
Näytä tarkat tiedot
Kirja
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Hae tekijöistä
Hae aiheista
Sulje
;
Hyvönen, Eero
,
1957-
Hyvönen, Eero
Hae tekijöistä
Hae aiheista
Sulje
1982
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Turun yliopisto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
Artificial intelligence related research and education in Finland 1983
Näytä tarkat tiedot
Kirja
Hyvönen, Eero
,
1957-
Hyvönen, Eero
Hae tekijöistä
Hae aiheista
Sulje
;
Seppänen, Jouko
,
1941-2017
Seppänen, Jouko
Hae tekijöistä
Hae aiheista
Sulje
;
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Hae tekijöistä
Hae aiheista
Sulje
1983
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
On the implementation of recursive computers
Näytä tarkat tiedot
Kirja
Pulkkis, G.
Pulkkis, G.
Hae tekijöistä
Hae aiheista
Sulje
;
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Hae tekijöistä
Hae aiheista
Sulje
1984
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
Report for the years 1984-1986
Näytä tarkat tiedot
Kirja
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Hae tekijöistä
Hae aiheista
Sulje
;
Kanerva, R.
Kanerva, R.
Hae tekijöistä
Hae aiheista
Sulje
;
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Hae tekijöistä
Hae aiheista
Sulje
1986
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Turun yliopisto
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 9
Annual report. For the year 1988
Näytä tarkat tiedot
Kirja
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Hae tekijöistä
Hae aiheista
Sulje
;
Niemelä, Ilkka
,
1961-
Niemelä, Ilkka
Hae tekijöistä
Hae aiheista
Sulje
1989
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Kansalliskirjasto
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 10
Automated interpretation of S-invariants of predicate/transition nets: an application of non-classical logics
Näytä tarkat tiedot
Kirja
Moslemie, Abbas
Moslemie, Abbas
Hae tekijöistä
Hae aiheista
Sulje
;
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Hae tekijöistä
Hae aiheista
Sulje
1991
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 11
A failure model of a distributed transaction processing system
Näytä tarkat tiedot
Kirja
Björn, Kari
Björn, Kari
Hae tekijöistä
Hae aiheista
Sulje
;
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Hae tekijöistä
Hae aiheista
Sulje
1991
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 12
A sheaf semantics for Petri Nets
Näytä tarkat tiedot
Kirja
Lilius, Johan
Lilius, Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Hae tekijöistä
Hae aiheista
Sulje
1993
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 13
Efficient detection of deadlocks in Petri nets
Näytä tarkat tiedot
Kirja
Varpaaniemi, Kimmo
Varpaaniemi, Kimmo
Hae tekijöistä
Hae aiheista
Sulje
;
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Hae tekijöistä
Hae aiheista
Sulje
1993
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 14
Priorities and nonmonotonic reasoning
Näytä tarkat tiedot
Kirja
Rintanen, jussi
Rintanen, jussi
Hae tekijöistä
Hae aiheista
Sulje
;
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Hae tekijöistä
Hae aiheista
Sulje
1993
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 15
On the folding of algebraic nets
Näytä tarkat tiedot
Kirja
Lilius, Johan
Lilius, Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Hae tekijöistä
Hae aiheista
Sulje
1994
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 16
Modelling the Needham-Schröder authentication protocol with high level Petri nets
Näytä tarkat tiedot
Kirja
Aura, Tuomas
Aura, Tuomas
Hae tekijöistä
Hae aiheista
Sulje
;
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Hae tekijöistä
Hae aiheista
Sulje
1995
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 17
How to calculate symbolically siphons and traps for some algebraic Petri nets
Näytä tarkat tiedot
Kirja
Schmidt, Karsten
Schmidt, Karsten
Hae tekijöistä
Hae aiheista
Sulje
;
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Hae tekijöistä
Hae aiheista
Sulje
1996
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 18
Time processes of time Petri nets
Näytä tarkat tiedot
Kirja
Aura, Tuomas
Aura, Tuomas
Hae tekijöistä
Hae aiheista
Sulje
;
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Hae tekijöistä
Hae aiheista
Sulje
1996
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 19
Stateless connections
Näytä tarkat tiedot
Kirja
Aura, Tuomas
Aura, Tuomas
Hae tekijöistä
Hae aiheista
Sulje
;
Nikander, Pekka
Nikander, Pekka
Hae tekijöistä
Hae aiheista
Sulje
;
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Hae tekijöistä
Hae aiheista
Sulje
1997
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 20
[my]C* : a hybrid redundant fault-tolerant multimicroprocessor
Näytä tarkat tiedot
Kirja
Huhtanen, Tuomo
Huhtanen, Tuomo
Hae tekijöistä
Hae aiheista
Sulje
;
Nikkilä, S.
Nikkilä, S.
Hae tekijöistä
Hae aiheista
Sulje
;
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
Hae tekijöistä
Hae aiheista
Sulje
1979
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Rajaa hakua
Valintaruuturajaimet
Verkossa saatavilla
Käyttöoikeudet
Lataus keskeytyi
Lataa…
Aineistotyyppi
Lataus keskeytyi
Lataa…
Tekijä
Lataus keskeytyi
Lataa…
Aihe
Lataus keskeytyi
Lataa…
Alue
Lataus keskeytyi
Lataa…
Valmistusvuosi
Lataus keskeytyi
Lataa…
Aiheen aika
Lataus keskeytyi
Lataa…
Kieli
Lataus keskeytyi
Lataa…
Sisältyy kokonaisuuteen
Lataus keskeytyi
Lataa…
Toimiala
Lataus keskeytyi
Lataa…
Organisaatio
Lataus keskeytyi
Lataa…
Uutta Finnassa
Lataus keskeytyi
Lataa…
1
2
3
4
5
RSS-syöte
Lähetä haku sähköpostilla
Tallenna haku
Finna API