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
"Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio" | 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
28
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
Deadlock and reachability checking with finite complete prefixes
Visa detaljerade uppgifter
Bok
Heljanko, Keijo
;
Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
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 2
A new unfolding approach to LTL model checking
Visa detaljerade uppgifter
Bok
Esparza, Javier
;
Heljanko, Keijo
;
Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
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 3
Covering a square with up to 30 equal circles
Visa detaljerade uppgifter
Bok
Nurmela, Kari J.
;
Östergård, Patric R. J.
;
Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
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 4
Algorithms for nonuniform networks
Visa detaljerade uppgifter
Doktorsavhandling
Schaeffer, Satu Elisa
;
Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
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
Model checking linear temporal logic properties of Petri nets with fairness constraints
Visa detaljerade uppgifter
Bok
Latvala, Timo
;
Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
2001
Å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
Combining symbolic and partial order methods for model checking 1-safe Petri nets
Visa detaljerade uppgifter
Doktorsavhandling
Heljanko, Keijo
;
Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
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 7
Specification-based test selection in formal conformance testing
Visa detaljerade uppgifter
Bok
Pyhälä, Tuomo
;
Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
2004
Å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
A wireless multicast delivery architecture for mobile terminals
Visa detaljerade uppgifter
Doktorsavhandling
Lundberg, Janne
;
Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
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 9
Detecting and exploiting data type symmetries of algebraic system nets during reachability analysis
Visa detaljerade uppgifter
Bok
Junttila, Tommi
;
Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
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 10
Privacy and accountability in certificate systems
Visa detaljerade uppgifter
Bok
Aura, Tuomas
;
Ellison, Carl
;
Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
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 11
Authorization and avaibility : aspects of open network security
Visa detaljerade uppgifter
Doktorsavhandling
Aura, Tuomas
;
Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
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 12
Automated testing of Büchi automata translators for linear temporal logic
Visa detaljerade uppgifter
Bok
Tauriainen, Heikki
;
Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
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 13
A reachability analyser for algebraic system nets
Visa detaljerade uppgifter
Bok
Mäkelä, Marko
;
Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
2001
Å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
Efficient computer-aided verification of parallel and distributed software systems
Visa detaljerade uppgifter
Doktorsavhandling
Mäkelä, Marko
;
Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
2003
Å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
Algorithms for classification of combinatorial objects
Visa detaljerade uppgifter
Doktorsavhandling
Kaski, Petteri
;
Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
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 16
Automatic translation of SDL into high level Petri nets
Visa detaljerade uppgifter
Bok
Aalto, Annikka
;
Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
2004
Å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
Symbolic model checking of hierarchical UML state machines
Visa detaljerade uppgifter
Bok
Dubrovin, Jori
,
1978-
;
Junttila, Tommi
;
Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
2007
Å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
Analysis of cryptographic protocols via symbolic state space enumeration
Visa detaljerade uppgifter
Bok
Huima, Antti
;
Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
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 19
Computational complexity of the place/transition-net symmetry reduction method
Visa detaljerade uppgifter
Bok
Junttila, Tommi
;
Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
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 20
Leksa notes in computer science : Festschrift in honour of Professor Leo Ojala
Visa detaljerade uppgifter
Bok
Husberg, Nisse
;
Janhunen, Tomi
;
Niemelä, Ilkka
;
Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
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
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…
1
2
RSS-flöde
Skicka sökningen per e-post
Spara sökningen