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
Petre, Luigia | 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
- 19
av
19
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
Menade du
: Petre, Luigia »
peter, luigi
Utvidga sökningen
,
petra, luigi
Utvidga sökningen
,
petr, luigi
Utvidga sökningen
Sökresultat 1
Coordination among mobile objects
Visa detaljerade uppgifter
Bok
Petre, Luigia
;
Sere, Kaisa
1998
Å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
Distributed object-based control systems
Visa detaljerade uppgifter
Bok
Petre, Luigia
;
Qvist, Milla
;
Sere, Kaisa
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 3
Developing control systems : a method and a case study
Visa detaljerade uppgifter
Bok
Petre, Luigia
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 4
A language for modeling network availability
Visa detaljerade uppgifter
Bok
Petre, Luigia
;
Sere, Kaisa
;
Waldén, Marina
2006
Å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 topological approach to distributed computing
Visa detaljerade uppgifter
Bok
Petre, Luigia
;
Waldén, Marina
;
Sere, Kaisa
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
Mobile components as topological action systems
Visa detaljerade uppgifter
Bok
Petre, Luigia
;
Waldén, Marina
2000
Å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
Components vs. objects
Visa detaljerade uppgifter
Bok
Petre, Luigia
2000
Å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
Modeling with action systems
Visa detaljerade uppgifter
Doktorsavhandling
Petre, Luigia
2005
Å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
Mobile ambients and P-systems
Visa detaljerade uppgifter
Bok
Petre, Ion
;
Petre, Luigia
1999
Övriga upphovsmän:
“…
Petre
,
Luigia
…”
Å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
NODES 07 : Nordic workshop and doctoral symposium on dependability and security, Oslo, Norway, October 2007 : abstracts
Visa detaljerade uppgifter
Bok
Petre, Luigia
2007
Övriga upphovsmän:
“…
Petre
,
Luigia
…”
Å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
Crest, Centre for Reliable Software Technology : progress report 2004-2005
Visa detaljerade uppgifter
Bok
Back, Ralph-Johan
;
Sere, Kaisa
;
Petre, Luigia
2005
Övriga upphovsmän:
“…
Petre
,
Luigia
…”
Å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
From action systems to distributed systems the refinement approach
Visa detaljerade uppgifter
Bok
Petre, Luigia
;
Sekerinski, Emil
2016
Övriga upphovsmän:
“…
Petre
,
Luigia
…”
Å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
Dependability and computer engineering : concepts for software-intensive systems
Visa detaljerade uppgifter
Bok
Petre, Luigia
;
Sere, Kaisa
;
Troubitsyna, Elena
2012
Övriga upphovsmän:
“…
Petre
,
Luigia
…”
Å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
A methodology of integration of formal methods within a healthcare case study
Visa detaljerade uppgifter
Bok
Petre, Luigia
;
Troubitsyna, Elena
;
Waldén, Marina
2001
Övriga upphovsmän:
“…
Petre
,
Luigia
…”
Å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
A methodology for co-design based on a healthcare case study
Visa detaljerade uppgifter
Bok
Petre, Luigia
;
Troubitsyna, Elena
;
Waldén, Marina
2001
Övriga upphovsmän:
“…
Petre
,
Luigia
…”
Å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
Formalising UML use cases in the refinement calculus
Visa detaljerade uppgifter
Bok
Back, Ralph-Johan
;
Petre, Luigia
;
Porres Paltor, Iván
1999
Övriga upphovsmän:
“…
Petre
,
Luigia
…”
Å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
From action systems to distributed systems : the refinement approach
Visa detaljerade uppgifter
E-bok
Petre, Luigia
,
editor
,
1974-
;
Sekerinski, E.
,
editor
,
1963-
2016
Övriga upphovsmän:
“…
Petre
,
Luigia
, 1974- editor…”
Å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
Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10
Visa detaljerade uppgifter
Bok
Waldén, Marina
;
Petre, Luigia
;
Turun tietotekniikan tutkimus- ja koulutuskeskus
2010
Övriga upphovsmän:
“…
Petre
,
Luigia
…”
Å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
Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
Visa detaljerade uppgifter
E-bok
International Conference on Integrated Formal Methods
,
corporate author
;
Sere, K.
,
editor
,
1954-
;
Petre, Luigia
,
editor
,
1974-
;
Butler, Michael
,
editor
,
1967-
2002
Övriga upphovsmän:
“…
Petre
,
Luigia
, 1974- editor…”
Å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
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