Hyppää hakukenttään
Hyppää sivun pääsisältöön
Hyppää saavutettavuusselosteeseen
Tiedejatutkimus.fi
Valikko
Suomeksi
På svenska
In English
Etusivu
Haku
Tiede- ja innovaatiopolitiikka
Tiede- ja tutkimusuutiset
Suomeksi
- 37 hakutulosta
Julkaisut -
37
hakutulosta
Hyppää hakutuloksiin
Näytä kuvana
Rajaa hakua
Näytetään tulokset 1 - 10 / 37
10
50
100
tulosta / sivu
Mitä
julkaisu
tietoja palvelu sisältää?
Icon
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
Julkaisujen tiedon ikoni
Parsa
vai peruna?
Avoin saatavuus
Pölkki, Leena; Koponen, Hannu
Turbinaattori-blogi. Liiketoimintayksikön tutkimus-, kehitys- ja innovaatiotoiminta @JAMK
2019
Julkaisujen tiedon ikoni
Diagrammatic Languages and Formal Verification: A Tool-Based Approach
Avoin saatavuus
Masoumeh
Parsa
-
2022
Julkaisujen tiedon ikoni
Habitat suitability modeling of Asian Elephant Elephas maximus (Mammalia: Proboscidea: Elephantidae) in
Parsa
National Park, Nepal and its buffer zone
Vertaisarvioitu
Avoin saatavuus
DOI
10.11609/jott.4467.11.13.14643-14654
Sharma, Puja ; Adhikari, Hari; Tripathi, Shankar; Ram, Ashok; Bhattarai, Rajeev
Journal of threatened taxa
2019
Julkaisujen tiedon ikoni
Parsa
n nappiparit
Oksanen-Alen, Terhi
Glorian ruoka & viini
2022
Julkaisujen tiedon ikoni
A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams
Vertaisarvioitu
DOI
10.1007/978-3-030-39197-3_13
Johannes Eriksson; Masoumeh
Parsa
Practical Aspects of Declarative Languages
2020
Julkaisujen tiedon ikoni
Challenges on Collecting Smartphone Data in Cold Environments
Vertaisarvioitu
Avoin saatavuus
DOI
10.1145/3460418.3479368
Peltonen, Ella; Schroderus, Vappu; Sharmila,
Parsa
ACM international joint conference on pervasive and ubiquitous computing
2021
Julkaisujen tiedon ikoni
An Overview of Formal Specification Languages and Tools Supporting Visualisation of System Development
Avoin saatavuus
Masoumeh
Parsa
; Marina Waldén;Colin Snook
-
2014
Julkaisujen tiedon ikoni
A precise pictorial language for array invariants
Vertaisarvioitu
DOI
10.1007/978-3-319-98938-9_9
Johannes Eriksson; Masoumeh
Parsa
; Ralph-Johan Back
Integrated Formal Methods
2018
Julkaisujen tiedon ikoni
Proofs and Refutations in Invariant-Based Programming
Vertaisarvioitu
DOI
10.1007/978-3-319-10181-1
Johannes Eriksson; Masoumeh
Parsa
; Ralph-Johan Back
International conference on integrated formal methods
2014
Julkaisujen tiedon ikoni
Proofs and Refutations in Invariant-Based Programming
Vertaisarvioitu
DOI
10.1007/978-3-319-10181-1
Johannes Eriksson; Masoumeh
Parsa
; Ralph-Johan Back
Proceedings of the 11th International Conference on Integrated Formal Methods (iFM2014)
2014
Parsa
vai peruna?
Avoin saatavuus
2019
Diagrammatic Languages and Formal Verification: A Tool-Based Approach
Avoin saatavuus
2022
Habitat suitability modeling of Asian Elephant Elephas maximus (Mammalia: Proboscidea: Elephantidae) in
Parsa
National Park, Nepal and its buffer zone
Vertaisarvioitu
Avoin saatavuus
DOI
10.11609/jott.4467.11.13.14643-14654
2019
Parsa
n nappiparit
2022
A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams
Vertaisarvioitu
DOI
10.1007/978-3-030-39197-3_13
2020
Challenges on Collecting Smartphone Data in Cold Environments
Vertaisarvioitu
Avoin saatavuus
DOI
10.1145/3460418.3479368
2021
An Overview of Formal Specification Languages and Tools Supporting Visualisation of System Development
Avoin saatavuus
2014
A precise pictorial language for array invariants
Vertaisarvioitu
DOI
10.1007/978-3-319-98938-9_9
2018
Proofs and Refutations in Invariant-Based Programming
Vertaisarvioitu
DOI
10.1007/978-3-319-10181-1
2014
Proofs and Refutations in Invariant-Based Programming
Vertaisarvioitu
DOI
10.1007/978-3-319-10181-1
2014
Edellinen
1
2
3
4
Seuraava
Näytetään tulokset 1 - 10 / 37
Sivu 1
Sort