Edellinen kuva
Lähennä
Loitonna
Keskitä
Seuraava kuva
Siirry rajauksiin
Siirry sisältöön
Etusivu
E-aineistot
Kuvataide
Liiketoiminta
Logistiikka ja meriteknologia
Sosiaaliala
Teknologia
Terveys
Verkkokoulutuspalvelut
E-kirjat
E-lehdet
Kansainväliset e-lehdet
Ohje
Ohje
Kirjautuminen ja oma tili
Verkkomaksut
Ellibs-verkkokirjat
Thorium Reader
Adobe Digital Editions
Terveysportti ja Oppiportti
SFS Online
Lähteiden merkintä ja viitteidenhallinta
Avainsanat ja asiasanat
Linkitä oikein
Saavutettavuus
Verkkoaineistoihin pääsy
Evästeiden poistaminen
Haku
Tarkennettu haku
Kansainvälisten e-aineistojen haku
Hae keskitetystä elektronisten aineistojen indeksistä, joka sisältää artikkeleiden kokotekstejä, viitetietokantoja ja e-kirjoja.
Tarkennettu kansainvälisten e-aineistojen haku
Selaa luetteloa
Selaa avainsanojen, tekijän, aiheen, genren, alueen tai aikakauden mukaan.
Selaa tietokantoja
Hakuhistoria
Istuntokohtainen hakuhistoriasi. Kirjautumalla voit tallentaa hakusi.
Kirjastoinfo
Kirjastopalvelut uudelle opiskelijalle
Kirjastopalvelut opiskelijalle
Kirjastopalvelut henkilökunnalle
Kirjastopalvelut vierailijalle
Kirjastokortti ja asiakkuus
Lainaaminen
Kaukopalvelu kirjastoille
Hinnasto
INFOtelakka auttaa tiedonhaussa
Kirjasto-Moodle
SAMK-ID-kirjautuminen
Ryhmätilan varaaminen
Opinnäytetyön julkaiseminen
Theseus-tuki: theseus@samk.fi
Yhteystiedot
0
tietuetta
Ota yhteyttä
Suomi
Suomi
English
Kirjaudu
Haku
Hae
Hae
Tarkennettu haku
Kirjaston kokoelmat -haku
Kansainvälisten e-aineistojen haku
"acmccs I.2" | Hakutulokset
Hakutulokset
Rajaa hakua
Selaa lehtiä
Näytetään
1
- 7
/
7
Hakutulos 1
Abstracting refinements for transformation
Näytä tarkat tiedot
Artikkeli
Johnsen, Einar Broch
et al. Julkaisussa
Nordic journal of computing
10 (2003) : 4, s. 313-336
acmccs F.3.1
acmccs F.4.1
acmccs I.2.2
Kansalliskirjasto - Arto
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
Code synthesis for timed automata
Näytä tarkat tiedot
Artikkeli
Amnell, Tobias
et al. Julkaisussa
Nordic journal of computing
9 (2002) : 4, s. 269-300
acmccs C.3
acmccs D.1.2
acmccs D.2.2
acmccs D.2.4
acmccs D.2.6
acmccs I.2.8
acmccs I.6.3
acmccs I.6.4
Kansalliskirjasto - Arto
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
Computer aided fusion for algebraic program derivation
Näytä tarkat tiedot
Artikkeli
Dosch, Walter
et al. Julkaisussa
Nordic journal of computing
8 (2001) : 3, s. 279-297
acmccs F.3.1
acmccs F.3.3
acmccs I.2.2
Kansalliskirjasto - Arto
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 4
Penetration depth of two convex polytopes in 3D
Näytä tarkat tiedot
Artikkeli
Agarwal, Pankaj K.
et al. Julkaisussa
Nordic journal of computing
7 (2000) : 3, s. 227-240
acmccs F.2.2
acmccs G.3
acmccs I.3.5
acmccs I.2.9
Kansalliskirjasto - Arto
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
Structured formal development in Isabelle
Näytä tarkat tiedot
Artikkeli
Bortin, Maksym
et al. Julkaisussa
Nordic journal of computing
13 (2006) : 1-2, s. 2-21
acmccs F.3.1
acmccs F.4.1
acmccs I.2.2
Kansalliskirjasto - Arto
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
Transfinite corecursion
Näytä tarkat tiedot
Artikkeli
Nestra, Härmel
Julkaisussa
Nordic journal of computing
12 (2005) : 2, s. 133-156
acmccs D.3.1
acmccs F.3.2
acmccs F.4.1
acmccs I.2.2
Kansalliskirjasto - Arto
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
A type system for bounded space and functional in-place update
Näytä tarkat tiedot
Artikkeli
Hofmann, Martin
Julkaisussa
Nordic journal of computing
7 (2000) : 4, s.258-289
acmccs D.1.1
acmccs D.3.3
acmccs F.3.2
acmccs I.2.2
Kansalliskirjasto - Arto
Lisää suosikkeihin
Lisää suosikkeihin
Rajaa hakua
Sivu ladataan uudelleen, kun jokin suodatin valitaan tai poistetaan.
Kieli
englanti
7 tulosta
7
Aihe
theorem provers
2 tulosta
2
transformation
2 tulosta
2
C
1 tulosta
1
Minkowski sum
1 tulosta
1
case study
1 tulosta
1
catamorphism
1 tulosta
1
code synthesis
1 tulosta
1
collision detection
1 tulosta
1
compilers
1 tulosta
1
computational complexity
1 tulosta
1
computer aided programming
1 tulosta
1
corecursion
1 tulosta
1
functional programming
1 tulosta
1
fusion
1 tulosta
1
garbage collection
1 tulosta
1
geometric optimization
1 tulosta
1
higher-order algebraic specification
1 tulosta
1
memory organization
1 tulosta
1
monads
1 tulosta
1
program development
1 tulosta
1
program refinement
1 tulosta
1
program slicing
1 tulosta
1
program transformation
1 tulosta
1
proof reuse
1 tulosta
1
real-time
1 tulosta
1
schedulability
1 tulosta
1
timed automata
1 tulosta
1
transfinite semantics
1 tulosta
1
näytä kaikki
Uutta Finnassa
Viimeisin vko
Viimeisin kk
Viimeiset 3 kk
Viimeiset 6 kk
Viimeiset 12 kk
Alkaen
Haku
Löysitkö, mitä halusit?
Saat apua
SAMK-Finnan hakuohjeesta
YSO-asiasanastosta
Kirjasto-Moodlen tiedonhaun ohjeista
ottamalla yhteyttä INFOtelakka-palveluumme
Hakuohje
YSO