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
Harel, David | Hakutulokset
Kaikki aineistot
Oppimateriaalit
Kaikki aineistot
Lisää
Kaikki aineistot
Oppimateriaalit
Hakutulokset
Rajaa hakua
Näytetään
1
- 20
/
26
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
Tarkoititko
: Harel, David »
hazel, David
Laajenna hakua
,
hare, David
Laajenna hakua
Hakutulos 1
Dynamic logic
Näytä tarkat tiedot
Kirja
Harel, David
Harel, David
Hae tekijöistä
Hae aiheista
Sulje
;
Kozen, Dexter
Kozen, Dexter
Hae tekijöistä
Hae aiheista
Sulje
;
Tiuryn, Jerzy
Tiuryn, Jerzy
Hae tekijöistä
Hae aiheista
Sulje
2000
Saatavuustiedot:
Näytä saatavuustiedot
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
The science of computing : exploring the nature and power of algorithms
Näytä tarkat tiedot
Kirja
Harel, David
Harel, David
Hae tekijöistä
Hae aiheista
Sulje
1989
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
Come, let's play : scenario-based programming using LSCs and the play-engine
Näytä tarkat tiedot
Kirja
Harel, David
Harel, David
Hae tekijöistä
Hae aiheista
Sulje
;
Marelly, Rami
Marelly, Rami
Hae tekijöistä
Hae aiheista
Sulje
2003
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 4
Computers Ltd. : what they really can't do
Näytä tarkat tiedot
Kirja
Harel, David
Harel, David
Hae tekijöistä
Hae aiheista
Sulje
2000
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
Algorithmics : the spirit of computing
Näytä tarkat tiedot
Kirja
Harel, David
Harel, David
Hae tekijöistä
Hae aiheista
Sulje
;
Feldman, Yishai
Feldman, Yishai
Hae tekijöistä
Hae aiheista
Sulje
2012
Tampereen yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
Algorithmics : the spirit of computing
Näytä tarkat tiedot
Kirja
Harel, David
Harel, David
Hae tekijöistä
Hae aiheista
Sulje
;
Rosner, Roni
Rosner, Roni
Hae tekijöistä
Hae aiheista
Sulje
1992
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Helka-kirjastot
Itä-Suomen yliopisto
Turun yliopisto
Varastokirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
Algorithmics : the spirit of computing
Näytä tarkat tiedot
Kirja
Harel, David
Harel, David
Hae tekijöistä
Hae aiheista
Sulje
1987
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Helka-kirjastot
Itä-Suomen yliopisto
LUT-tiedekirjasto
Tampereen yliopisto
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
First-order dynamic logic
Näytä tarkat tiedot
Kirja
Harel, David
Harel, David
Hae tekijöistä
Hae aiheista
Sulje
1979
Saatavuustiedot:
Näytä saatavuustiedot
Turun yliopisto
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 9
Modeling reactive systems with statecharts : the statemate approach
Näytä tarkat tiedot
Kirja
Harel, David
Harel, David
Hae tekijöistä
Hae aiheista
Sulje
;
Politi, Michal
Politi, Michal
Hae tekijöistä
Hae aiheista
Sulje
1998
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 10
Algorithmics : the spirit of computing
Näytä tarkat tiedot
Kirja
Harel, David
,
kirjoittaja
Harel, David
Hae tekijöistä
Hae aiheista
Sulje
;
Feldman, Yishai A.
,
kirjoittaja
Feldman, Yishai A.
Hae tekijöistä
Hae aiheista
Sulje
2004
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Tampereen yliopisto
Tritonia - Tria
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 11
Yedid nefesh - Amant de mon âme
Näytä tarkat tiedot
CD
Ben David, Nima
,
viola da gamba
Ben David, Nima
Hae tekijöistä
Hae aiheista
Sulje
;
Claude, Michèle
,
lyömäsoittimet
Claude, Michèle
Hae tekijöistä
Hae aiheista
Sulje
;
Ben David-Harel, Meivar
,
esittäjä
Ben David-Harel, Meivar
Hae tekijöistä
Hae aiheista
Sulje
;
Harel, Yair
,
esittäjä
Harel, Yair
Hae tekijöistä
Hae aiheista
Sulje
2004
Juutalaiset
(ykl 78.493)
Taideyliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 12
What Works in Conservation 2021
Näytä tarkat tiedot
Elektroninen
Agra, har’El
Agra, har’El
Hae tekijöistä
Hae aiheista
Sulje
;
Aldridge, David
Aldridge, David
Hae tekijöistä
Hae aiheista
Sulje
;
Altringham, John D
Altringham, John D
Hae tekijöistä
Hae aiheista
Sulje
;
Ashpole, Joscelyne E
Ashpole, Joscelyne E
Hae tekijöistä
Hae aiheista
Sulje
;
Bardgett, Richard D
Bardgett, Richard D
Hae tekijöistä
Hae aiheista
Sulje
;
Berthinussen, Anna
Berthinussen, Anna
Hae tekijöistä
Hae aiheista
Sulje
;
Bladon, Andrew J
Bladon, Andrew J
Hae tekijöistä
Hae aiheista
Sulje
;
Bowkett, Andrew E
Bowkett, Andrew E
Hae tekijöistä
Hae aiheista
Sulje
;
Carmel, Yohay
Carmel, Yohay
Hae tekijöistä
Hae aiheista
Sulje
;
Child, Matthew F
Child, Matthew F
Hae tekijöistä
Hae aiheista
Sulje
;
Dänhardt, Juliana
Dänhardt, Juliana
Hae tekijöistä
Hae aiheista
Sulje
;
Dicks, Lynn V
Dicks, Lynn V
Hae tekijöistä
Hae aiheista
Sulje
;
Grillas, Patrick
Grillas, Patrick
Hae tekijöistä
Hae aiheista
Sulje
;
Hutchison, James
Hutchison, James
Hae tekijöistä
Hae aiheista
Sulje
;
James, Katy
James, Katy
Hae tekijöistä
Hae aiheista
Sulje
;
Jonas, Coral S
Jonas, Coral S
Hae tekijöistä
Hae aiheista
Sulje
;
Jönsson, Annelie
Jönsson, Annelie
Hae tekijöistä
Hae aiheista
Sulje
;
Junker, Jessica
Junker, Jessica
Hae tekijöistä
Hae aiheista
Sulje
;
K.H.J zu Ermgassen, Erasmus
K.H.J zu Ermgassen, Erasmus
Hae tekijöistä
Hae aiheista
Sulje
;
Key, Georgina
Key, Georgina
Hae tekijöistä
Hae aiheista
Sulje
;
Kühl, Hjalmar S
Kühl, Hjalmar S
Hae tekijöistä
Hae aiheista
Sulje
;
Lemasson, Anaelle J
Lemasson, Anaelle J
Hae tekijöistä
Hae aiheista
Sulje
;
Littlewood, Nick
Littlewood, Nick
Hae tekijöistä
Hae aiheista
Sulje
;
Lockhart, Sarah
Lockhart, Sarah
Hae tekijöistä
Hae aiheista
Sulje
;
Martin, Philip
Martin, Philip
Hae tekijöistä
Hae aiheista
Sulje
;
Martin, Philip A
Martin, Philip A
Hae tekijöistä
Hae aiheista
Sulje
;
Mccormack, Caitlin G
Mccormack, Caitlin G
Hae tekijöistä
Hae aiheista
Sulje
;
Meredith, Helen
Meredith, Helen
Hae tekijöistä
Hae aiheista
Sulje
;
Ne’eman, Gidi
Ne’eman, Gidi
Hae tekijöistä
Hae aiheista
Sulje
;
Ockendon, Nancy
Ockendon, Nancy
Hae tekijöistä
Hae aiheista
Sulje
;
Orth, Lisa
Orth, Lisa
Hae tekijöistä
Hae aiheista
Sulje
;
Petrovan, Silviu O
Petrovan, Silviu O
Hae tekijöistä
Hae aiheista
Sulje
;
Pettit, Laura R
Pettit, Laura R
Hae tekijöistä
Hae aiheista
Sulje
;
Pimm, Stuart
Pimm, Stuart
Hae tekijöistä
Hae aiheista
Sulje
;
Pople, Robert G
Pople, Robert G
Hae tekijöistä
Hae aiheista
Sulje
;
Randall, Nicola
Randall, Nicola
Hae tekijöistä
Hae aiheista
Sulje
;
Richardson, Olivia C
Richardson, Olivia C
Hae tekijöistä
Hae aiheista
Sulje
;
Rocha, Ricardo
Rocha, Ricardo
Hae tekijöistä
Hae aiheista
Sulje
;
Sainsbury, Katie A
Sainsbury, Katie A
Hae tekijöistä
Hae aiheista
Sulje
;
Schoonover, Rebecca F
Schoonover, Rebecca F
Hae tekijöistä
Hae aiheista
Sulje
;
Schowanek, Simon
Schowanek, Simon
Hae tekijöistä
Hae aiheista
Sulje
;
Showler, David A
Showler, David A
Hae tekijöistä
Hae aiheista
Sulje
;
Smith, Rebecca K
Smith, Rebecca K
Hae tekijöistä
Hae aiheista
Sulje
;
Sutherland, William J
Sutherland, William J
Hae tekijöistä
Hae aiheista
Sulje
;
Taylor, Nigel G
Taylor, Nigel G
Hae tekijöistä
Hae aiheista
Sulje
;
Timbrell, Lydia T
Timbrell, Lydia T
Hae tekijöistä
Hae aiheista
Sulje
;
Turpie, Susan
Turpie, Susan
Hae tekijöistä
Hae aiheista
Sulje
;
Walsh, Jessica C
Walsh, Jessica C
Hae tekijöistä
Hae aiheista
Sulje
;
Whitfield, Mike
Whitfield, Mike
Hae tekijöistä
Hae aiheista
Sulje
;
Williams, David R
Williams, David R
Hae tekijöistä
Hae aiheista
Sulje
;
Wilman, Elspeth
Wilman, Elspeth
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Hugh L
Wright, Hugh L
Hae tekijöistä
Hae aiheista
Sulje
;
Young, Fey
Young, Fey
Hae tekijöistä
Hae aiheista
Sulje
;
Sutherland, William Junior
Sutherland, William Junior
Hae tekijöistä
Hae aiheista
Sulje
;
Dicks, Lynn V.
Dicks, Lynn V.
Hae tekijöistä
Hae aiheista
Sulje
;
Petrovan, Silviu O.
Petrovan, Silviu O.
Hae tekijöistä
Hae aiheista
Sulje
;
Smith, Rebecca K.
Smith, Rebecca K.
Hae tekijöistä
Hae aiheista
Sulje
2021
Satakunnan ammattikorkeakoulu
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 13
First-Order Dynamic Logic
Näytä tarkat tiedot
E-kirja
Harel, David
,
toimittaja
Harel, David
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1979
Muut tekijät:
“…
Harel
,
David
, toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 14
Real-time UML : developing efficient objects for embedded systems
Näytä tarkat tiedot
Kirja
Douglass, Bruce Powel
Douglass, Bruce Powel
Hae tekijöistä
Hae aiheista
Sulje
2000
Muut tekijät:
“…
Harel
,
David
…”
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Lapin korkeakoulukirjasto
Varastokirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 15
The first basket
Näytä tarkat tiedot
CD
Rodriguez, Roberto
,
säveltäjä, esittäjä
Rodriguez, Roberto
Hae tekijöistä
Hae aiheista
Sulje
;
Vyorst, David
,
ohjaaja
Vyorst, David
Hae tekijöistä
Hae aiheista
Sulje
;
London, Frank
,
esittäjä
London, Frank
Hae tekijöistä
Hae aiheista
Sulje
;
Okura, Meg
,
esittäjä
Okura, Meg
Hae tekijöistä
Hae aiheista
Sulje
;
Jones, Brad
,
esittäjä
Jones, Brad
Hae tekijöistä
Hae aiheista
Sulje
;
Harel, Gilad
,
esittäjä
Harel, Gilad
Hae tekijöistä
Hae aiheista
Sulje
;
Sharlin, Uri
,
esittäjä
Sharlin, Uri
Hae tekijöistä
Hae aiheista
Sulje
;
Caswell, Ron
,
esittäjä
Caswell, Ron
Hae tekijöistä
Hae aiheista
Sulje
;
Drye, Brian
,
esittäjä
Drye, Brian
Hae tekijöistä
Hae aiheista
Sulje
;
Baer, Seth
,
esittäjä
Baer, Seth
Hae tekijöistä
Hae aiheista
Sulje
;
Apfelbaum, Peter
,
esittäjä
Apfelbaum, Peter
Hae tekijöistä
Hae aiheista
Sulje
;
Noy, Oz
,
esittäjä
Noy, Oz
Hae tekijöistä
Hae aiheista
Sulje
;
Chisholm, Amber
,
esittäjä
Chisholm, Amber
Hae tekijöistä
Hae aiheista
Sulje
;
Camerieri, CJ
,
esittäjä
Camerieri, CJ
Hae tekijöistä
Hae aiheista
Sulje
;
Munisteri, Matt
,
esittäjä
Munisteri, Matt
Hae tekijöistä
Hae aiheista
Sulje
;
Alexander, Aaron
,
esittäjä
Alexander, Aaron
Hae tekijöistä
Hae aiheista
Sulje
2009
Elokuva-, televisio- ja videomusiikki
(ykl 78.355)
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 16
Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings
Näytä tarkat tiedot
E-kirja
Nierstrasz, Oscar
,
toimittaja
Nierstrasz, Oscar
Hae tekijöistä
Hae aiheista
Sulje
;
Whittle, Jon
,
toimittaja
Whittle, Jon
Hae tekijöistä
Hae aiheista
Sulje
;
Harel, David
,
toimittaja
Harel, David
Hae tekijöistä
Hae aiheista
Sulje
;
Reggio, Gianna
,
toimittaja
Reggio, Gianna
Hae tekijöistä
Hae aiheista
Sulje
2006
Muut tekijät:
“…
Harel
,
David
. toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 17
FINAL ALLIANCE
Näytä tarkat tiedot
Näytä tarkat tiedot
Elokuva, pitkä
fiktio, Yhdysvallat
Mario DiLeo
,
Ohjaaja
Mario DiLeo
Lisätiedot
Hae tekijöistä
Hae aiheista
Sulje
1989
Muut tekijät:
“…
Harel
Goldstein…”
Kansallinen audiovisuaalinen instituutti
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 18
Algorithmic bioprocesses
Näytä tarkat tiedot
Kirja
Condon, Anne
,
toimittaja
Condon, Anne
Hae tekijöistä
Hae aiheista
Sulje
;
Harel, David
,
toimittaja
Harel, David
Hae tekijöistä
Hae aiheista
Sulje
;
Kok, Joost N.
,
toimittaja
Kok, Joost N.
Hae tekijöistä
Hae aiheista
Sulje
;
Salomaa, Arto
,
toimittaja
Salomaa, Arto
Hae tekijöistä
Hae aiheista
Sulje
;
Winfree, Erik
,
toimittaja
Winfree, Erik
Hae tekijöistä
Hae aiheista
Sulje
2009
Muut tekijät:
“…
Harel
,
David
, toimittaja…”
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 19
Sydämeeni kätken
Näytä tarkat tiedot
Äänikasetti
Hannat
,
esittäjä
Hannat
Lisätiedot
Hae tekijöistä
Hae aiheista
Sulje
;
Holi, Matti
,
esittäjä
,
1967-
Holi, Matti
Lisätiedot
Hae tekijöistä
Hae aiheista
Sulje
;
Holi, Pentti
,
esittäjä
,
1943-
Holi, Pentti
Lisätiedot
Hae tekijöistä
Hae aiheista
Sulje
;
Lehtonen, Ulla
,
esittäjä
Lehtonen, Ulla
Hae tekijöistä
Hae aiheista
Sulje
;
Liedes, Marjatta
,
esittäjä
Liedes, Marjatta
Hae tekijöistä
Hae aiheista
Sulje
;
Oikari, Marja-Liisa
,
esittäjä
Oikari, Marja-Liisa
Hae tekijöistä
Hae aiheista
Sulje
;
Piispanen, Eila
,
esittäjä
Piispanen, Eila
Hae tekijöistä
Hae aiheista
Sulje
;
Repo, Hanna
,
esittäjä
Repo, Hanna
Hae tekijöistä
Hae aiheista
Sulje
;
Rühlmann, Kyllikki
,
esittäjä
Rühlmann, Kyllikki
Hae tekijöistä
Hae aiheista
Sulje
;
Vahala, Eeva-Riitta
,
esittäjä
Vahala, Eeva-Riitta
Hae tekijöistä
Hae aiheista
Sulje
1988
Hengellinen populaarimusiikki
(ykl 78.896)
Muut tekijät:
“…Tel Zur,
David
, säveltäjä…”
Kansalliskirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 20
Toleration : an elusive virtue
Näytä tarkat tiedot
E-kirja
Heyd, David
,
editor
Heyd, David
Hae tekijöistä
Hae aiheista
Sulje
1998
“…Heyd,
David
-- Williams, Bernard -- Horton, John -- Graham, Gordon -- Herman, Barbara -- Kymlicka, Will -- Halbertal, Moshe --
Harel
, Alon -- Richards,
David
A. …”
Savonia-ammattikorkeakoulu
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
RSS-syöte
Lähetä haku sähköpostilla
Tallenna haku
Finna API