Föregående bild
Zooma in
Zooma ut
Centrera
Nästa bild
Hoppa till innehåll
Startsida
Sökningar
Avancerad sökning
Internationella artiklar sökning
Sök i ett centrerad register för elektronisk material, som innehåller artiklar, avhandlingar och databaser.
Internationella artiklar avancerad sökning
Bläddra i katalogen
Bläddra enligt författare, ämne, område, tidsperiod eller tagg.
Bläddra bland databaser
Bläddra bland tidskrifter
Aktörer
Sökhistorik
Din sökhistorik enligt session. Om du loggar in kan du spara dina sökningar.
Bibliotekets tjänster
Bibliotekets tjänster
Information om bibliotekets tjänster
Servicepunkter och öppettider
Finna - en helhet bestående av söktjänster
Vilken är skillnaden mellan Finna.fi och övriga Finna-söktjänster?
Kundregistret
Dataskydd
Dataskyddsbeskrivning
Tillgänglighetsutlåtande
Samlingar och databaser
Om samlingar
Anskaffningsförslag
Fjärrtjänst
Fennica
Nationalbibliografi
Viola
Suomen kansallisdiskografia
E-material
Vetenskapliga nätpublikationer och databaser
Tips
Svenska
Svenska
Suomi
English
Logga in
Sökning
Sök
Alla fält
Alla fält
Titel
Upphovsman
Ämne
Sök
inget
ryska
ryska, gammal
Avancerad sökning
Combined use of formal methods...
Skicka posten per e-post
Skicka posten per e-post:
Combined use of formal methods for reliability assurance of software for safety-critical systems
Mottagare:
Från:
Ämne:
Meddelande:
