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?
Uutiset
Häiriötiedotteet
Ohje
Suomi
Suomi
Svenska
English
Kirjaudu
Haku
Hae
Tekijä
Kaikki osumat
Otsikko
Tekijä
Aihe
Hae
Tarkennettu haku
MANNILA, HEIKKI | Hakutulokset
Kaikki aineistot
Oppimateriaalit
Kaikki aineistot
Lisää
Kaikki aineistot
Oppimateriaalit
Hakutulokset
Rajaa hakua
Näytetään
1
- 20
/
253
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
On the relationship of minimum and optimum covers for a set of functional dependencies
Näytä tarkat tiedot
Kirja
Mannila, Heikki
,
1960-
Mannila, Heikki
Hae tekijöistä
Hae aiheista
Sulje
;
Räihä, Kari-Jouko
Räihä, Kari-Jouko
Hae tekijöistä
Hae aiheista
Sulje
1982
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
A simple linear-time algorithm for in situ merging
Näytä tarkat tiedot
Kirja
Mannila, Heikki
,
1960-
Mannila, Heikki
Hae tekijöistä
Hae aiheista
Sulje
;
Ukkonen, Esko
Ukkonen, Esko
Hae tekijöistä
Hae aiheista
Sulje
1983
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
Using feedback in logical design of relational databases
Näytä tarkat tiedot
Kirja
Mannila, Heikki
,
1960-
Mannila, Heikki
Hae tekijöistä
Hae aiheista
Sulje
;
Räihä, Kari-Jouko
Räihä, Kari-Jouko
Hae tekijöistä
Hae aiheista
Sulje
1987
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 4
Generating example databases from ER-schemes
Näytä tarkat tiedot
Kirja
Mannila, Heikki
,
1960-
Mannila, Heikki
Hae tekijöistä
Hae aiheista
Sulje
1987
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
Restricted compactness notions in abstract logic and topology
Näytä tarkat tiedot
Kirja
Mannila, Heikki
Mannila, Heikki
Hae tekijöistä
Hae aiheista
Sulje
1982
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
Algorithms for inferring functional dependencies
Näytä tarkat tiedot
Kirja
Mannila, Heikki
Mannila, Heikki
Hae tekijöistä
Hae aiheista
Sulje
;
Räihä, Kari-Jouko
Räihä, Kari-Jouko
Hae tekijöistä
Hae aiheista
Sulje
1988
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Tampereen yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
The set union problem with backtracking
Näytä tarkat tiedot
Kirja
Mannila, Heikki
,
1960-
Mannila, Heikki
Hae tekijöistä
Hae aiheista
Sulje
;
Ukkonen, Esko
Ukkonen, Esko
Hae tekijöistä
Hae aiheista
Sulje
1986
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
Incremental design of relational databases : chapters 1-5
Näytä tarkat tiedot
Kirja
Mannila, Heikki
Mannila, Heikki
Hae tekijöistä
Hae aiheista
Sulje
;
Räihä, Kari-Jouko
Räihä, Kari-Jouko
Hae tekijöistä
Hae aiheista
Sulje
1991
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 9
Automatic generation of test data for relational queries
Näytä tarkat tiedot
Kirja
Mannila, Heikki
Mannila, Heikki
Hae tekijöistä
Hae aiheista
Sulje
;
Räihä, Kari-Jouko
Räihä, Kari-Jouko
Hae tekijöistä
Hae aiheista
Sulje
1987
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Tampereen yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 10
Instance complexity for sorting and NP-complete problems
Näytä tarkat tiedot
Väitöskirja
Mannila, Heikki
Mannila, Heikki
Hae tekijöistä
Hae aiheista
Sulje
1985
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 11
Time parameter and arbitrary deunions in the set union problem
Näytä tarkat tiedot
Kirja
Mannila, Heikki
,
1960-
Mannila, Heikki
Hae tekijöistä
Hae aiheista
Sulje
;
Ukkonen, Esko
Ukkonen, Esko
Hae tekijöistä
Hae aiheista
Sulje
1988
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 12
A simple proof of the rectilinear art gallery theorem
Näytä tarkat tiedot
Kirja
Mannila, Heikki
,
1960-
Mannila, Heikki
Hae tekijöistä
Hae aiheista
Sulje
;
Wood, Derick
Wood, Derick
Hae tekijöistä
Hae aiheista
Sulje
1984
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 13
A note on ([lambda, mu])*-compactness
Näytä tarkat tiedot
Kirja
Mannila, Heikki
Mannila, Heikki
Hae tekijöistä
Hae aiheista
Sulje
1982
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 14
Generating Armstrong databases for sets of functional and inclusion dependencies
Näytä tarkat tiedot
Kirja
Mannila, Heikki
Mannila, Heikki
Hae tekijöistä
Hae aiheista
Sulje
;
Räihä, Kari-Jouko
Räihä, Kari-Jouko
Hae tekijöistä
Hae aiheista
Sulje
1988
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Tampereen yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 15
A fast algorithm for renaming a set of clauses as a horn set
Näytä tarkat tiedot
Kirja
Mannila, Heikki
,
1960-
Mannila, Heikki
Hae tekijöistä
Hae aiheista
Sulje
;
Mehlhorn, Kurt
Mehlhorn, Kurt
Hae tekijöistä
Hae aiheista
Sulje
1984
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 16
Unifications, deunifications, and their complexity
Näytä tarkat tiedot
Kirja
Mannila, Heikki
,
1960-
Mannila, Heikki
Hae tekijöistä
Hae aiheista
Sulje
;
Ukkonen, Esko
Ukkonen, Esko
Hae tekijöistä
Hae aiheista
Sulje
1987
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 17
Tutkimusrahoitus ja temaattiset valinnat
Näytä tarkat tiedot
E-artikkeli
Mannila, Heikki
Mannila, Heikki
Hae tekijöistä
Hae aiheista
Sulje
Julkaisussa
Tieteessä tapahtuu
32 (2014) : 4, s. 1-2
Kansalliskirjasto - Arto
Verkossa saatavilla:
journal.fi/tt/article/view/46147
journal.fi/tt/article/view/46147
(Kansalliskirjasto - Arto)
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 18
Prologin mahdollisuudet esiin
Näytä tarkat tiedot
Artikkeli
Mannila, Heikki
Mannila, Heikki
Hae tekijöistä
Hae aiheista
Sulje
Julkaisussa
Tietotekniikka
33(1987) : 1, s. 10-12
Ohjelmointi. Ohjelmointikielet
(ykl 61.3)
Kansalliskirjasto - Arto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 19
Algorithms for inferring functional dependencies
Näytä tarkat tiedot
Artikkeli
Mannila, Heikki
Mannila, Heikki
Hae tekijöistä
Hae aiheista
Sulje
;
Räihä, Kari-Jouko
Räihä, Kari-Jouko
Hae tekijöistä
Hae aiheista
Sulje
Julkaisussa
Data & knowledge engineering
12 (1994) : 1, s. 83-99
Kansalliskirjasto - Arto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 20
Maatilan tekniset perusparannukset
Näytä tarkat tiedot
AMK-opinnäytetyö
Mannila, Heikki
Mannila, Heikki
Hae tekijöistä
Hae aiheista
Sulje
;
Tampereen ammattikorkeakoulu
Tampereen ammattikorkeakoulu
Hae tekijöistä
Hae aiheista
Sulje
2017
Tampereen ammattikorkeakoulu - Theseus
Verkossa saatavilla:
www.theseus.fi/handle/10024/127412
www.urn.fi/URN:NBN:fi:amk-201705148091
www.theseus.fi/bitstrea...a_Heikki.pdf
(Tampereen ammattikorkeakoulu - Theseus)
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