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
Ralph Wright | Hakutulokset
Kaikki aineistot
Oppimateriaalit
Kaikki aineistot
Lisää
Kaikki aineistot
Oppimateriaalit
Hakutulokset
Rajaa hakua
Näytetään
1
- 20
/
170
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
People and Places: Siam
Näytä tarkat tiedot
Näytä tarkat tiedot
Elokuva, lyhyt
dokumentti, Yhdysvallat
Ralph Wright
,
Ohjaaja
Ralph Wright
Lisätiedot
Hae tekijöistä
Hae aiheista
Sulje
1954
Muut tekijät:
“…
Ralph
Wright
…”
Kansallinen audiovisuaalinen instituutti
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
People and Places: The Blue Men of Morocco
Näytä tarkat tiedot
Näytä tarkat tiedot
Elokuva, lyhyt
dokumentti, Yhdysvallat
Ralph Wright
,
Ohjaaja
Ralph Wright
Lisätiedot
Hae tekijöistä
Hae aiheista
Sulje
1955
Muut tekijät:
“…
Ralph
Wright
…”
Kansallinen audiovisuaalinen instituutti
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
The witch goes for gold
Näytä tarkat tiedot
Kirja
Wright, Ralph
Wright, Ralph
Hae tekijöistä
Hae aiheista
Sulje
;
Browne, Eileen
Browne, Eileen
Hae tekijöistä
Hae aiheista
Sulje
1988
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 4
Immunology of gastrointestinal and liver disease
Näytä tarkat tiedot
Kirja
Wright, Ralph
Wright, Ralph
Hae tekijöistä
Hae aiheista
Sulje
1977
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
Electronics : principles and applications
Näytä tarkat tiedot
Kirja
Wright, Ralph Ross
Wright, Ralph Ross
Hae tekijöistä
Hae aiheista
Sulje
1950
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
Refinement Calculus A Systematic Introduction
Näytä tarkat tiedot
E-kirja
Back, Ralph-Johan
,
aut, http://id.loc.gov/vocabulary/relators/aut
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Joakim
,
aut, http://id.loc.gov/vocabulary/relators/aut
Wright, Joakim
Hae tekijöistä
Hae aiheista
Sulje
1998
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän ammattikorkeakoulu
Kajaanin ammattikorkeakoulu
Satakunnan ammattikorkeakoulu
Savonia-ammattikorkeakoulu
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
Structured derivations : a method for doing high-school mathematics carefully
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Joakim von
Wright, Joakim von
Hae tekijöistä
Hae aiheista
Sulje
1999
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
Doing high school mathematics carefully
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Joakim von
Wright, Joakim von
Hae tekijöistä
Hae aiheista
Sulje
1997
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 9
Encoding, decoding and data refinement
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Joakim von
Wright, Joakim von
Hae tekijöistä
Hae aiheista
Sulje
1999
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 10
Enforcing behavior with contracts
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Joakim von
Wright, Joakim von
Hae tekijöistä
Hae aiheista
Sulje
2000
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 11
Contracts, games and refinement
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Joakim von
Wright, Joakim von
Hae tekijöistä
Hae aiheista
Sulje
1997
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 12
Programs on product spaces
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Joakim von
Wright, Joakim von
Hae tekijöistä
Hae aiheista
Sulje
1997
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 13
Contracts as mathematical entities in programming logic
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Joakim von
Wright, Joakim von
Hae tekijöistä
Hae aiheista
Sulje
2000
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
Refinement concepts formalized in higher order logic
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Joakim von
Wright, Joakim von
Hae tekijöistä
Hae aiheista
Sulje
1989
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 15
Combining angels, demons and miracles in program specifications
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Joakim von
Wright, Joakim von
Hae tekijöistä
Hae aiheista
Sulje
1989
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 16
Verification and refinement of action contracts
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Joakim von
Wright, Joakim von
Hae tekijöistä
Hae aiheista
Sulje
2001
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 17
Interpreting nondeterminism in the refinement calculus
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Joakim von
Wright, Joakim von
Hae tekijöistä
Hae aiheista
Sulje
1996
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 18
Products in the refinement calculus
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Joakim von
Wright, Joakim von
Hae tekijöistä
Hae aiheista
Sulje
1999
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 19
Statement inversion and strongest postcondition
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Joakim von
Wright, Joakim von
Hae tekijöistä
Hae aiheista
Sulje
1990
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 20
Command lattices, variable environments and data refinement
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Joakim von
Wright, Joakim von
Hae tekijöistä
Hae aiheista
Sulje
1990
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
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