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
types | Hakutulokset
Kaikki aineistot
Oppimateriaalit
Kaikki aineistot
Lisää
Kaikki aineistot
Oppimateriaalit
Hakutulokset
Rajaa hakua
Näytetään
1
- 20
/
39
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
Types for Proofs and Programs : International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers
Näytä tarkat tiedot
E-kirja
Berardi, Stefano
,
toimittaja
Berardi, Stefano
Hae tekijöistä
Hae aiheista
Sulje
;
Coppo, Mario
,
toimittaja
Coppo, Mario
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1996
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
Types for Proofs and Programs : International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers
Näytä tarkat tiedot
E-kirja
Callaghan, Paul
,
toimittaja
Callaghan, Paul
Hae tekijöistä
Hae aiheista
Sulje
;
Luo, Zhaohui
,
toimittaja
Luo, Zhaohui
Hae tekijöistä
Hae aiheista
Sulje
;
McKinna, James
,
toimittaja
McKinna, James
Hae tekijöistä
Hae aiheista
Sulje
;
Pollack, Robert
,
toimittaja
Pollack, Robert
Hae tekijöistä
Hae aiheista
Sulje
;
Pollack, Robert
,
toimittaja
Pollack, Robert
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2002
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
Types for Proofs and Programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Näytä tarkat tiedot
E-kirja
Berardi, Stefano
,
toimittaja
Berardi, Stefano
Hae tekijöistä
Hae aiheista
Sulje
;
Coppo, Mario
,
toimittaja
Coppo, Mario
Hae tekijöistä
Hae aiheista
Sulje
;
Damiani, Ferruccio
,
toimittaja
Damiani, Ferruccio
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2004
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 4
Types for Proofs and Programs : International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers
Näytä tarkat tiedot
E-kirja
Coquand, Thierry
,
toimittaja
Coquand, Thierry
Hae tekijöistä
Hae aiheista
Sulje
;
Dybjer, Peter
,
toimittaja
Dybjer, Peter
Hae tekijöistä
Hae aiheista
Sulje
;
Nordström, Bengt
,
toimittaja
Nordström, Bengt
Hae tekijöistä
Hae aiheista
Sulje
;
Smith, Jan
,
toimittaja
Smith, Jan
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2000
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
Types for Proofs and Programs : International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers
Näytä tarkat tiedot
E-kirja
Geuvers, Herman
,
toimittaja
Geuvers, Herman
Hae tekijöistä
Hae aiheista
Sulje
;
Wiedijk, Freek
,
toimittaja
Wiedijk, Freek
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2003
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
Introducing... The E-Types
Näytä tarkat tiedot
CD
E-Types
,
esittäjä
E-Types
Hae tekijöistä
Hae aiheista
Sulje
1995
Musiikki
(ykl 78)
Helmet-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
Types for Proofs and Programs : International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers
Näytä tarkat tiedot
E-kirja
Altenkirch, Thorsten
,
toimittaja
Altenkirch, Thorsten
Hae tekijöistä
Hae aiheista
Sulje
;
Reus, Bernhard
,
toimittaja
Reus, Bernhard
Hae tekijöistä
Hae aiheista
Sulje
;
Naraschewski, Wolfgang
,
toimittaja
Naraschewski, Wolfgang
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1999
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
Types for Proofs and Programs : International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers
Näytä tarkat tiedot
E-kirja
Giménez, Eduardo
,
toimittaja
Giménez, Eduardo
Hae tekijöistä
Hae aiheista
Sulje
;
Paulin-Mohring, Christine
,
toimittaja
Paulin-Mohring, Christine
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1998
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 9
Types for Proofs and Programs : International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
Näytä tarkat tiedot
E-kirja
Dybjer, Peter
,
toimittaja
Dybjer, Peter
Hae tekijöistä
Hae aiheista
Sulje
;
Nordström, Bengt
,
toimittaja
Nordström, Bengt
Hae tekijöistä
Hae aiheista
Sulje
;
Smith, Jan
,
toimittaja
Smith, Jan
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1995
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 10
Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Sel...
Näytä tarkat tiedot
E-kirja
Astesiano, Egidio
,
toimittaja
Astesiano, Egidio
Hae tekijöistä
Hae aiheista
Sulje
;
Reggio, Gianna
,
toimittaja
Reggio, Gianna
Hae tekijöistä
Hae aiheista
Sulje
;
Tarlecki, Andrzej
,
toimittaja
Tarlecki, Andrzej
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1995
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 11
Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992...
Näytä tarkat tiedot
E-kirja
Ehrig, Hartmut
,
toimittaja
Ehrig, Hartmut
Hae tekijöistä
Hae aiheista
Sulje
;
Orejas, Fernando
,
toimittaja
Orejas, Fernando
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1994
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 12
Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstact Data Types Wusterhausen/Dosse, Germany, April 17–20, 1990 Proceedings
Näytä tarkat tiedot
E-kirja
Ehrig, H.
,
toimittaja
Ehrig, H.
Hae tekijöistä
Hae aiheista
Sulje
;
Jantke, K. P.
,
toimittaja
Jantke, K. P.
Hae tekijöistä
Hae aiheista
Sulje
;
Orejas, F.
,
toimittaja
Orejas, F.
Hae tekijöistä
Hae aiheista
Sulje
;
Reichel, H.
,
toimittaja
Reichel, H.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1991
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 13
Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Pa...
Näytä tarkat tiedot
E-kirja
Haveraaen, Magne
,
toimittaja
Haveraaen, Magne
Hae tekijöistä
Hae aiheista
Sulje
;
Owe, Olaf
,
toimittaja
Owe, Olaf
Hae tekijöistä
Hae aiheista
Sulje
;
Dahl, Ole-Johan
,
toimittaja
Dahl, Ole-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1996
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 14
Even more nuggets : Classics from the psychedelic sixties
Näytä tarkat tiedot
CD
Frost, Max
,
esittäjä
Frost, Max
Hae tekijöistä
Hae aiheista
Sulje
;
Hutton, Danny
,
esittäjä
Hutton, Danny
Hae tekijöistä
Hae aiheista
Sulje
;
E-Types
,
esittäjä
E-Types
Hae tekijöistä
Hae aiheista
Sulje
;
Electric Prunes
,
esittäjä
Electric Prunes
Hae tekijöistä
Hae aiheista
Sulje
;
Shadows of Knight
,
esittäjä
Shadows of Knight
Hae tekijöistä
Hae aiheista
Sulje
;
We The People
,
esittäjä
We The People
Hae tekijöistä
Hae aiheista
Sulje
;
Strawberry Alarm Clock
,
esittäjä
Strawberry Alarm Clock
Hae tekijöistä
Hae aiheista
Sulje
;
Troopers
,
esittäjä
Troopers
Hae tekijöistä
Hae aiheista
Sulje
;
Woolies
,
esittäjä
Woolies
Hae tekijöistä
Hae aiheista
Sulje
;
First Edition
,
esittäjä
First Edition
Hae tekijöistä
Hae aiheista
Sulje
;
Barbarians
,
esittäjä
Barbarians
Hae tekijöistä
Hae aiheista
Sulje
;
Grass Roots
,
esittäjä
Grass Roots
Hae tekijöistä
Hae aiheista
Sulje
;
Knickerbockers
,
esittäjä
Knickerbockers
Hae tekijöistä
Hae aiheista
Sulje
;
Cyrkle
,
esittäjä
Cyrkle
Hae tekijöistä
Hae aiheista
Sulje
;
Third Rail
,
esittäjä
Third Rail
Hae tekijöistä
Hae aiheista
Sulje
;
Dino, Desi & Billy
,
esittäjä
Dino, Desi & Billy
Hae tekijöistä
Hae aiheista
Sulje
;
Sunshine Company
,
esittäjä
Sunshine Company
Hae tekijöistä
Hae aiheista
Sulje
;
Chambers Brothers
,
esittäjä
Chambers Brothers
Hae tekijöistä
Hae aiheista
Sulje
1989
Musiikki
(ykl 78)
Helmet-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 15
Tekninen dokumentointi - dokumentaation jäsentely, dokumenttien luokittelu ja hallinta = Technical documentation - structuring of documentation, document types and document managem...
Näytä tarkat tiedot
Kirja
Suomen standardisoimisliitto
Suomen standardisoimisliitto
Hae tekijöistä
Hae aiheista
Sulje
;
Suomen sähköteknillinen standardisoimisyhdistys SESKO
Suomen sähköteknillinen standardisoimisyhdistys SESKO
Hae tekijöistä
Hae aiheista
Sulje
2012
Muut tekijät:
“…Structuring of documentation, document
types
and document management…”
Saatavuustiedot:
Näytä saatavuustiedot
3AMK-kirjastot
Eepos-kirjastot
Helmet-kirjastot
Hämeen ammattikorkeakoulu
Itä-Suomen yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
OUTI-kirjastot
Satakunnan ammattikorkeakoulu
Savonia-ammattikorkeakoulu
Tritonia - Tria
Turun yliopisto
Varastokirjasto
Vaski-kirjastot
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 16
Nuggets : [I] ; original artyfacts from the first psychedelic era 1965-1968
Näytä tarkat tiedot
Äänilevy
1998
Rock
(ykl 78.8911)
Muut tekijät:
“…"E"
Types
…”
Anders-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 17
Nuggets : Original artyfacts from the first psychedelic era 1965-1968
Näytä tarkat tiedot
CD
1998
Rock
(ykl 78.8911)
Muut tekijät:
“…"e"
Types
, Esitt…”
Vanamo-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 18
Nuggets. [1], original artyfacts from the first psychedelic era 1965-1968
Näytä tarkat tiedot
CD
1998
Rock
(ykl 78.8911)
Muut tekijät:
“…"E"
Types
, esittäjä…”
Saatavuustiedot:
Näytä saatavuustiedot
Heili-kirjastot
Helle-kirjastot
Keski-kirjastot
Kirkes-kirjastot
Kuopion kaupunginkirjasto
Kyyti-kirjastot
Lastu-kirjastot
Lukki-kirjastot
LUMME-kirjastot
PIKI-kirjastot
Ratamo-kirjastot
Vaara-kirjastot
Vaski-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 19
Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
Näytä tarkat tiedot
Kirja
Callaghan, Paul
Callaghan, Paul
Hae tekijöistä
Hae aiheista
Sulje
2002
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 20
Recent trends in data type specification : 7th Workshop on Specification of Abst[r]act Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings
Näytä tarkat tiedot
Kirja
Ehrig, Hartmut
Ehrig, Hartmut
Hae tekijöistä
Hae aiheista
Sulje
1991
Varastokirjasto
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