E-LIB Suche - Ergebnisse für: Eriksson, Johannes

1

A DSL for Integer Range Reasoning: Partition, Interval and ..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,

Eriksson, Johannes ; Parsa, Masoumeh - p. 196-212 , 2020

Link: https://doi.org/10.1007/..

2

A Precise Pictorial Language for Array Invariants:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Eriksson, Johannes ; Parsa, Masoumeh ; Back, Ralph-Johan - p. 151-160 , 2018

Link: https://doi.org/10.1007/..

3

Verification and code generation for invariant diagrams in ..:

Preoteasa, Viorel ; Back, Ralph-Johan ; Eriksson, Johannes
Journal of Logical and Algebraic Methods in Programming. 84 (2015) 1 - p. 19-36 , 2015

Link: https://doi.org/10.1016/..

4

User Profiling in Game Development : A comparison of theory..:

Eriksson, Johannes
http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-23222. , 2023

Link: http://urn.kb.se/resolve..

5

Investigation Into How a Changed Shipping Procedure Affects..:

Eriksson, Johannes ; Århage, Linus
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-196363. , 2023

Link: http://urn.kb.se/resolve..

6

Värdegrundsbaserad bildundervisning : En studie om integrat..:

Eriksson, Johannes
http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-120025. , 2022

Link: http://urn.kb.se/resolve..

7

Investigation of induced radioactivity in the copper coils ..:

Eriksson, Johannes
FYSAST. , 2021

Link: http://urn.kb.se/resolve..

8

Designriktlinjer för digitala brädspel : En anpassning av d..:

Eriksson, Johannes
http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-19837. , 2021

Link: http://urn.kb.se/resolve..

9

Estetiska uttryck i biologiämnet : En studie om biologilära..:

Eriksson, Johannes
http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-114836. , 2021

Link: http://urn.kb.se/resolve..

10

Varför har man Bild i skolan? : En undersökning om elevers ..:

Eriksson, Johannes
http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-97132. , 2020

Link: http://urn.kb.se/resolve..

11

High resolution power measurement:

Eriksson, Johannes ; Erlandsson, Henrik ; Ortman, Jerker.
TVE-E. , 2019

Link: http://urn.kb.se/resolve..

12

Närvaroappen : Närvarohantering direkt i din mobil ; Närvar..:

Eriksson, Johannes ; Andrejenko, Erik
http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-39171. , 2016

Link: http://urn.kb.se/resolve..

13

Samband mellan fysisk aktivitet och psykiskt mående : En po..:

Eriksson, Johannes ; Ruuth, Mats
http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-121965. , 2016

Link: http://urn.kb.se/resolve..

14

Vattenkvaliténs påverkan på bladmögelsfungicider : bekämpni..:

Eriksson, Johannes
https://stud.epsilon.slu.se/9919/. , 2016

Link: https://stud.epsilon.slu..

15

Ammoniakförluster vid flytgödselhantering:

Eriksson, Johannes ; Olaison, Victor
https://stud.epsilon.slu.se/7335/. , 2014

Link: https://stud.epsilon.slu..