Edellinen kuva
Lähennä
Loitonna
Keskitä
Seuraava kuva
Siirry sisältöön
Etusivu
Hakutoiminnot
Tarkennettu haku
Kansainvälisten artikkelien haku
Hae keskitetystä elektronisten aineistojen indeksistä, joka sisältää mm. artikkeleiden kokotekstejä, viitetietokantoja ja e-kirjoja.
Tarkennettu kansainvälisten artikkelien haku
Selaa luetteloa
Selaa avainsanojen, tekijän, aiheen, genren, alueen tai aikakauden mukaan.
Selaa tietokantoja
Selaa lehtiä
Toimijat
Hakuhistoria
Istuntokohtainen hakuhistoriasi. Kirjautumalla voit tallentaa hakusi.
Tietoa palveluista
Tietoa palveluista
Tietoa kansalliskirjaston palveluista
Palvelupisteet ja aukioloajat
Finna - hakupalvelujen kokonaisuus
Mitä eroa Finna.fi:llä ja muilla Finna-hakupalveluilla?
Asiakasrekisteri
Tietosuoja
Tietosuojaseloste
Saavutettavuusseloste
Kokoelmat ja tietokannat
Tietoa kokoelmista
Hankintaehdotus
Kaukopalvelu
Fennica
Suomen kansallisbibliografia
Viola
Suomen kansallisdiskografia
E-aineistot
Tieteelliset verkkojulkaisut ja tietokannat
Ohje
Suomi
Suomi
Svenska
English
Kirjaudu
Haku
Hae
Kaikki osumat
Kaikki osumat
Otsikko
Tekijä
Aihe
Hae
ei mitään
venäjä
venäjä, vanha
Tarkennettu haku
Combined use of formal methods...
Lähetä tietue sähköpostilla
Lähetä tietue sähköpostilla:
Combined use of formal methods for reliability assurance of software for safety-critical systems
Vastaanottaja:
Lähettäjä:
Aihe:
Viesti:
