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äsittelytieteen laitos | 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
32
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
Structure-based satisfiability checking : analyzing and harnessing the potential
Visa detaljerade uppgifter
Doktorsavhandling
Järvisalo, Matti
;
Teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos
2008
Å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
Algorithms for finding orders and analyzing sets of chains
Visa detaljerade uppgifter
Doktorsavhandling
Ukkonen, Antti
;
Teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos
2008
Å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
Studies on noise robust automatic speech recognition
Visa detaljerade uppgifter
Bok
Palomäki, Kalle J.
;
Remes, Ulpu
;
Kurimo, Mikko
;
Teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos
2008
Å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
Interface specification methods for software components
Visa detaljerade uppgifter
Bok
Lampinen, Jani
;
Liedes, Sami
;
Kähkönen, Kari
;
Kauttio, Janne
;
Heljanko, Keijo
;
Teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos
2009
Å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
Ubiquitous contextual information access with proactive retrieval and augmentation
Visa detaljerade uppgifter
Bok
Ajanki, Antti
;
Billinghurst, Mark
;
Kandemir, Melih
;
Kaski, Samuel
;
Koskela, Markus
;
Kurimo, Mikko
;
Laaksonen, Jorma
;
Puolamäki, Kai
;
Tossavainen, Timo
;
Teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos
2009
Å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
Partitioning search spaces of a randomized search
Visa detaljerade uppgifter
Bok
Hyvärinen, Antti E. J.
;
Junttila, Tommi
;
Niemelä, Ilkka
;
Teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos
2009
Å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
Modeling communities of experts : conceptual grounding of expertise
Visa detaljerade uppgifter
Bok
Honkela, Timo
;
Janasik, Nina
;
Lagus, Krista
;
Lindh-Knuutila, Tiina
;
Pantzar, Mika
;
Raitio, Juha
;
Teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos
2009
Å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
Cryptographic protocol design
Visa detaljerade uppgifter
Doktorsavhandling
Laur, Sven
;
Teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos
2008
Å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
Data analysis methods for cellular network performance optimization
Visa detaljerade uppgifter
Doktorsavhandling
Lehtimäki, Pasi
;
Teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos
2008
Å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
Automated test generation for software components
Visa detaljerade uppgifter
Bok
Kähkönen, Kari
;
Teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos
2009
Å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
On two-way grouping by one-way topic models
Visa detaljerade uppgifter
Bok
Savia, Eerika
;
Puolamäki, Kai
;
Kaski, Samuel
;
Teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos
2009
Å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
Approaches to grid-based SAT solving
Visa detaljerade uppgifter
Bok
Hyvärinen, Antti E. J.
;
Teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos
2009
Å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
Model checking PSL safety properties
Visa detaljerade uppgifter
Bok
Launiainen, Tuomas
;
Teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos
2009
Å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
Testing a Java card applet using the LIME Interface Test Bench : a case study
Visa detaljerade uppgifter
Bok
Kindermann, Roland
;
Teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos
2009
Å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
Multiple hypothesis testing in pattern discovery
Visa detaljerade uppgifter
Bok
Hanhijärvi, Sami
;
Puolamäki, Kai
;
Garriga, Gemma C.
;
Teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos
2009
Å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
Algorithms for approximate Bayesian inference with applications to astronomical data analysis
Visa detaljerade uppgifter
Doktorsavhandling
Harva, Markus
;
Teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos
2008
Å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
Modularity in answer set programs
Visa detaljerade uppgifter
Doktorsavhandling
Oikarinen, Emilia
;
Teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos
2008
Å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
Advances in mining binary data : itemsets and summaries
Visa detaljerade uppgifter
Doktorsavhandling
Tatti, Nikolaj
;
Teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos
2008
Å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
Inferring relevance from eye movements with wrong models
Visa detaljerade uppgifter
Doktorsavhandling
Salojärvi, Jarkko
;
Teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos
2008
Å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
Graph visualization with latent variable model
Visa detaljerade uppgifter
Bok
Nybo, Kristian
;
Parkkinen, Juuso
;
Kaski, Samuel
;
Teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos
2009
Å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