Föregående bild
Zooma in
Zooma ut
Centrera
Nästa bild
Hoppa till begränsningar
Hoppa till innehåll
Startsida
Sök
Enkel sökning
Avancerad sökning
E-artiklar
E-tidskrifter A–Ö
Databaser A–Ö
Sökhistorik
Din sökhistorik enligt söksession. Om du loggar in kan du spara dina sökningar.
Hjälp och information
Sökhjälp
Instruktioner och söktips.
Beställ, reservera och låna
Information om hur du beställer, reserverar och lånar material i Alma.
Lånetider och -avgifter
Mitt konto
Instruktioner för hur du loggar in och ändrar pinkod.
E-resurser
Användarvillkor för e-resurserna.
Fjärrlån och artikelkopior
Fjärrlån för bibliotek
ÅAB-lån
Material från Åbo Akademis bibliotekssamlingar kan beställas och skickas mellan våra servicepunkter i Vasa och Åbo. Enbart för ÅA-anknutna.
Gå till Alma (Novia)
Respons
Svenska
Svenska
English
Suomi
Logga in
Sökning
Sök
Upphovsman
Alla fält
Titel
Upphovsman
Ämne
Sök
Avancerad sökning
"Wright, Joakim von" | Sökresultat
Tryckt, e-böcker, e-tidskrifter, databaser samt arkivmaterial
Academillbiblioteket
E-artiklar
Arkivmaterial
Tryckt, e-böcker, e-tidskrifter, databaser samt arkivmaterial
Mer
Tryckt, e-böcker, e-tidskrifter, databaser samt arkivmaterial
Academillbiblioteket
E-artiklar
Arkivmaterial
Sökresultat
Begränsa sökningen
Visar
1
- 20
av
57
Gå till nästa sida
Sortera enligt:
Sortera enligt:
Relevans
Relevans
År (nyast först)
År (äldst först)
Klassifikation
Upphovsman
Titel (A - Ö)
Senast tillagd
Senast redigerad
Sortera enligt:
Relevans
År (nyast först)
År (äldst först)
Klassifikation
Upphovsman
Titel (A - Ö)
Senast tillagd
Senast redigerad
Resultat per sida
Resultat per sida
20
20
50
100
Resultat per sida
20
50
100
Visa som
Visa som
lista
lista
galleri
Förkortad lista
Kompakt lista
Sökresultat 1
A mechanization of a command lattice with recursion
Visa detaljerade uppgifter
Bok
Wright, Joakim von
1990
Åbo Akademis bibliotek
Laddar…
Tillgänglig på nätet (fulltext, abstrakt, omslag):
Hämta fulltext
Laddar…
Sparad:
Lägg till i favoriter
Lägg till i favoriter
Sökresultat 2
Analys av kovariansstrukturer : en presentation av LISREL illustrerad med ett exempel jämte simuleringar
Visa detaljerade uppgifter
Annat
Wright, Joakim von
1988
Åbo Akademis bibliotek
Laddar…
Tillgänglig på nätet (fulltext, abstrakt, omslag):
Hämta fulltext
Laddar…
Sparad:
Lägg till i favoriter
Lägg till i favoriter
Sökresultat 3
Stepwise derivation of a parallel matrix multiplication algorithm
Visa detaljerade uppgifter
Bok
Wright, Joakim von
1989
Åbo Akademis bibliotek
Laddar…
Tillgänglig på nätet (fulltext, abstrakt, omslag):
Hämta fulltext
Laddar…
Sparad:
Lägg till i favoriter
Lägg till i favoriter
Sökresultat 4
Program inversion in the refinement calculus
Visa detaljerade uppgifter
Bok
Wright, Joakim von
1990
Åbo Akademis bibliotek
Laddar…
Tillgänglig på nätet (fulltext, abstrakt, omslag):
Hämta fulltext
Laddar…
Sparad:
Lägg till i favoriter
Lägg till i favoriter
Sökresultat 5
A metatool for exploring program algebras
Visa detaljerade uppgifter
Bok
Wright, Joakim von
1999
Åbo Akademis bibliotek
Laddar…
Tillgänglig på nätet (fulltext, abstrakt, omslag):
Hämta fulltext
Laddar…
Sparad:
Lägg till i favoriter
Lägg till i favoriter
Sökresultat 6
A lattice-theoretical basis for program refinement
Visa detaljerade uppgifter
Doktorsavhandling
Wright, Joakim von
1990
Åbo Akademis bibliotek
Laddar…
Tillgänglig på nätet (fulltext, abstrakt, omslag):
Hämta fulltext
Laddar…
Sparad:
Lägg till i favoriter
Lägg till i favoriter
Sökresultat 7
Data refinement and the simulation method
Visa detaljerade uppgifter
Bok
Wright, Joakim von
1992
Åbo Akademis bibliotek
Laddar…
Tillgänglig på nätet (fulltext, abstrakt, omslag):
Hämta fulltext
Laddar…
Sparad:
Lägg till i favoriter
Lägg till i favoriter
Sökresultat 8
Konvergensgrupper
Visa detaljerade uppgifter
Pro gradu-avhandling
Wright, Joakim von
1977
Åbo Akademis bibliotek
Laddar…
Tillgänglig på nätet (fulltext, abstrakt, omslag):
Hämta fulltext
Laddar…
Sparad:
Lägg till i favoriter
Lägg till i favoriter
Sökresultat 9
Doing lattice theory in higher order logic
Visa detaljerade uppgifter
Bok
Wright, Joakim von
1992
Åbo Akademis bibliotek
Laddar…
Tillgänglig på nätet (fulltext, abstrakt, omslag):
Hämta fulltext
Laddar…
Sparad:
Lägg till i favoriter
Lägg till i favoriter
Sökresultat 10
Data refinement with stuttering
Visa detaljerade uppgifter
Bok
Wright, Joakim von
1992
Åbo Akademis bibliotek
Laddar…
Tillgänglig på nätet (fulltext, abstrakt, omslag):
Hämta fulltext
Laddar…
Sparad:
Lägg till i favoriter
Lägg till i favoriter
Sökresultat 11
From Kleene algebra to refinement algebra
Visa detaljerade uppgifter
Bok
Wright, Joakim von
2002
Åbo Akademis bibliotek
Laddar…
Tillgänglig på nätet (fulltext, abstrakt, omslag):
Hämta fulltext
Laddar…
Sparad:
Lägg till i favoriter
Lägg till i favoriter
Sökresultat 12
The lattice of data refinement
Visa detaljerade uppgifter
Bok
Wright, Joakim von
1992
Åbo Akademis bibliotek
Laddar…
Tillgänglig på nätet (fulltext, abstrakt, omslag):
Hämta fulltext
Laddar…
Sparad:
Lägg till i favoriter
Lägg till i favoriter
Sökresultat 13
Program refinement by theorem prover
Visa detaljerade uppgifter
Bok
Wright, Joakim von
1994
Åbo Akademis bibliotek
Laddar…
Tillgänglig på nätet (fulltext, abstrakt, omslag):
Hämta fulltext
Laddar…
Sparad:
Lägg till i favoriter
Lägg till i favoriter
Sökresultat 14
En lattisteoretisk bas för stegvis programutveckling
Visa detaljerade uppgifter
Licentiatavhandling
Wright, Joakim von
1989
Åbo Akademis bibliotek
Laddar…
Tillgänglig på nätet (fulltext, abstrakt, omslag):
Hämta fulltext
Laddar…
Sparad:
Lägg till i favoriter
Lägg till i favoriter
Sökresultat 15
Mechanising some advanced refinement concepts
Visa detaljerade uppgifter
Bok
Wright, Joakim von
1992
Övriga upphovsmän:
“…
Wright, Joakim von
…”
Åbo Akademis bibliotek
Laddar…
Tillgänglig på nätet (fulltext, abstrakt, omslag):
Hämta fulltext
Laddar…
Sparad:
Lägg till i favoriter
Lägg till i favoriter
Sökresultat 16
Tampereen yliopiston opetuksen arviointi : ulkopuolisen arviointiryhmän raportti
Visa detaljerade uppgifter
Bok
Wright, Joakim von
1995
Enskilda universitet och högskolor
(ykl 38.41)
Övriga upphovsmän:
“…
Wright, Joakim von
…”
Åbo Akademis bibliotek
Laddar…
Tillgänglig på nätet (fulltext, abstrakt, omslag):
Hämta fulltext
Laddar…
Sparad:
Lägg till i favoriter
Lägg till i favoriter
Sökresultat 17
A tool for data refinement
Visa detaljerade uppgifter
Bok
Rukšenas, Rimvydas
;
Wright, Joakim von
1997
Övriga upphovsmän:
“…
Wright, Joakim von
…”
Åbo Akademis bibliotek
Laddar…
Tillgänglig på nätet (fulltext, abstrakt, omslag):
Hämta fulltext
Laddar…
Sparad:
Lägg till i favoriter
Lägg till i favoriter
Sökresultat 18
Doing high school mathematics carefully
Visa detaljerade uppgifter
Bok
Back, Ralph-Johan
;
Wright, Joakim von
1997
Övriga upphovsmän:
“…
Wright, Joakim von
…”
Åbo Akademis bibliotek
Laddar…
Tillgänglig på nätet (fulltext, abstrakt, omslag):
Hämta fulltext
Laddar…
Sparad:
Lägg till i favoriter
Lägg till i favoriter
Sökresultat 19
Programs on product spaces
Visa detaljerade uppgifter
Bok
Back, Ralph-Johan
;
Wright, Joakim von
1997
Övriga upphovsmän:
“…
Wright, Joakim von
…”
Åbo Akademis bibliotek
Laddar…
Tillgänglig på nätet (fulltext, abstrakt, omslag):
Hämta fulltext
Laddar…
Sparad:
Lägg till i favoriter
Lägg till i favoriter
Sökresultat 20
Functional procedures in higher-order logic
Visa detaljerade uppgifter
Bok
Laibinis, Linas
;
Wright, Joakim von
1999
Övriga upphovsmän:
“…
Wright, Joakim von
…”
Åbo Akademis bibliotek
Laddar…
Tillgänglig på nätet (fulltext, abstrakt, omslag):
Hämta fulltext
Laddar…
Sparad:
Lägg till i favoriter
Lägg till i favoriter
Gå till nästa sida
1
2
3
Begränsa sökningen
Kryssruta filter
Tillgängligt på nätet (e-böcker, e-tidskrifter, bilder)
Typ av material
Laddning avbruten
Laddar…
Bibliotek och samlingar
Laddning avbruten
Laddar…
Språk
Laddning avbruten
Laddar…
Tidsintervall (år)
Laddning avbruten
Laddar…
År
Laddning avbruten
Laddar…
Upphovsman
Laddning avbruten
Laddar…
Vetenskapsområde
Laddning avbruten
Laddar…
Region
Laddning avbruten
Laddar…
Ämnesord
Laddning avbruten
Laddar…
Nytt i Alma
Laddning avbruten
Laddar…
RSS-flöde
Skicka sökningen per e-post
Spara sökningen